R. Khennaoui and N. Belala. 2020. Towards a Formal Context-Aware Workflow Model for Ambient Environment. In Proceedings of the 18th International Conference on Smart Homes and Health Telematics (ICOST'20), Hammamet, Tunisia. Lecture Notes in Computer Science (LNCS), Mohamed Jmaiel; Mounir Mokhtari; Bessam Abdulrazak; Hamdi Aloulou; Slim Kallel, Ed., 12157 (June 2020), Springer, 415-422. DOI: https://doi.org/10.1007/978-3-030-51517-1\_38.

Khennaoui, R. & Belala, N. (2020, June). Towards a Formal Context-Aware Workflow Model for Ambient Environment. In Proceedings of the 18th International Conference on Smart Homes and Health Telematics (ICOST'20), Hammamet, Tunisia. In Mohamed Jmaiel; Mounir Mokhtari; Bessam Abdulrazak; Hamdi Aloulou; Slim Kallel (Ed.). Lecture Notes in Computer Science (LNCS), 12157, Springer, 415-422. DOI: https://doi.org/10.1007/978-3-030-51517-1\_38

R. Khennaoui and N. Belala, "Towards a Formal Context-Aware Workflow Model for Ambient Environment". In Proceedings of the 18th International Conference on Smart Homes and Health Telematics (ICOST'20), Hammamet, Tunisia. Lecture Notes in Computer Science (LNCS), vol. 12157, Springer, pp. 415-422, June, 2020. DOI: https://doi.org/10.1007/978-3-030-51517-1\_38.

@inproceedings{misc-lab-340,
author = {Khennaoui, Roumeissa and Belala, Nabil},
title = {Towards a Formal Context-Aware Workflow Model for Ambient Environment},
volume = {12157},
booktitle = {18th International Conference on Smart Homes and Health Telematics (ICOST'20)},
series = {Lecture Notes in Computer Science (LNCS)},
location = {Hammamet, Tunisia},
isbn = {978-3-030-51516-4},
pages = {415--422},
editor = {Jmaiel, Mohamed and Mokhtari, Mounir and Abdulrazak, Bessam and Aloulou, Hamdi and Kallel, Slim},
publisher = {Springer},
year = {2020},
month = {June},
doi = {10.1007/978-3-030-51517-1\\_38},
url = {https://doi.org/10.1007/978-3-030-51517-1\\_38},
keywords = {Modeling of physical and conceptual information in smart environments, Context awareness, Ambient intelligence, Formal description, Workflow}
}

TY  - CONF
TI  - Towards a Formal Context-Aware Workflow Model for Ambient Environment
AU  - R. Khennaoui
AU  - N. Belala
PY  - 2020
VL  - 12157
BT  - 18th International Conference on Smart Homes and Health Telematics (ICOST'20), Hammamet, Tunisia
SN  - 978-3-030-51516-4
SP  - 415
EP  - 422
ED  - M. Jmaiel
ED  - M. Mokhtari
ED  - B. Abdulrazak
ED  - H. Aloulou
ED  - S. Kallel
PB  - Springer
AB  - Ambient systems owns some particular characteristics that makes their context awareness a sincere problem; they are composed of heterogeneous distributed devices, some of these devices may appear and disappear during operations. In addition, users interacting in these systems are themselves dynamic. Therefore, context-aware workflow management allows workflows to adapt dynamically according to the environment changes. Context information are complex and diverse which makes the modeling the key issue. This paper presents an approach to model context-aware workflows. First, we describe the workflow using Ag-LOTOS. Then, based on this description, we build the contextual planning system CPSw that allows the presentation of the context at each activity state.
KW  - Modeling of physical and conceptual information in smart environments
KW  - Context awareness
KW  - Ambient intelligence
KW  - Formal description
KW  - Workflow
DO  - 10.1007/978-3-030-51517-1\_38
UR  - https://doi.org/10.1007/978-3-030-51517-1\_38
ID  - misc-lab-340
ER  -