TY  - JOUR
T1  - A Context-Aware Workflow Model with Time Management
AU  - Khennaoui, Roumeissa
PY  - 2024
DA  - January
Y2  - 2023
DO  - 10.53508/ijiam.1213431
JF  - International Journal of Informatics and Applied Mathematics
JO  - IJIAM
PB  - International Society of Academicians
WT  - DergiPark
SN  - 2667-6990
SP  - 1
EP  - 7
VL  - 6
IS  - 2
LA  - en
AB  - In the ambient intelligence field, workflow technology is gaining a lot of consideration. Ambient intelligence systems are composed of heterogeneous distributed devices. They are context-aware, and they can adapt to the context’s changes. Thus, context-aware workflow modeling is the main issue. Context-aware workflow management allows workflows to adapt dynamically to environmental changes; additionally, it depends heavily on time management. Generally, time violations require exception handling, which makes temporal constraint specification at design time a critical step. The method presented in this study for modeling context-aware workflows involves incorporating time-constraint information into the workflow specification. The main contribution is defining a formal spatio-temporal model that considers all feasible workflow executions. First, we specify the workflow using the algebraic language Time-AgLOTOS. Then, based on this specification, we build the corresponding labeled transition systems that illustrate the feasible executions. Finally, we give an example to demonstrate the usefulness of the research.
KW  - Modeling Information in Smart Environments
KW  - Context Awareness
KW  - Ambient Intelligence
KW  - Formal Description
KW  - Workflow
KW  - Time Management
KW  - Formal Method
CR  - Weber, W . Rabaey, J . Aarts, Emile HL. Ambient intelligence. Springer Science
and Business Media (2005)
CR  - VAN DER AALST, W M. Business process management demystified : A tutorial on models, systems and standards for workflow management. Advanced Course on Petri Nets . Springer, Berlin, Heidelberg 1-65 (2003)
CR  - Khennaoui, R., Belala, N. Towards a Formal Context-Aware Workflow Model for Ambient Environment. In : International Conference on Smart Homes and Health Telematics, pp. 415{422. Springer, Cham (2020)
CR  - Cheikhrouhou, S . Kallel, S . Guermouche, N . Jmaiel, M. The temporal perspective in business process modeling: a survey and research challenges. Service Oriented Computing and Applications 9(1), 75-85 (2015)
CR  - Ling, S., Schmidt, H. Time Petri nets for workflow modelling and analysis. In: Smc 2000 conference proceedings. 2000 IEEE international conference on systems, man and cybernetics. `cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no. 0 Vol. 4, pp. 3039-3044. IEEE (2000)
CR  - Gagne, D., Trudel, A. Time-bpmn. In : 2009 IEEE conference on commerce and enterprise computing, pp. 361-367. IEEE (2009) White, S. Business Process Modeling Notation (BPMN), Version 1.0 (2004)
CR  - Rose, K . Eldridge, S . Chapin, L. The internet of things: An overview. The internet society (ISOC). 80 1-50 (2015)
CR  - Qian, L . Luo, Z . Du, Y . Guo, L. Cloud computing: An overview. IEEE international conference on cloud computing. Springer, Berlin, Heidelberg pp.626-631 (2009)
CR  - ATLAM, H F. WALTERS, R J. WILLS, G B. Fog computing and the internet of things: A review. big data and cognitive computing. 2,2 10 (2018)
CR  - Ding, R. Li, X . Liu, X . Xu, J. A cost-effective time-constrained multi-workflow scheduling strategy in fog computing. International Conference on Service-Oriented Computing. Springer pp.194-207 (2018)
CR  - Nikoui, T S. Balador, A. Rahmani, A M . Bakhshi, Z. Cost-aware task scheduling in fog-cloud environment. 2020 CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST). IEEE pp.1-8 (2020)
CR  - Ma, X . Xu, H . Gao, H . Bian, M. Real-time multiple-workflow scheduling in cloud environments. IEEE Transactions on Network and Service Management. 18,4, pp.4002-4018 (2021)
CR  - Chaouche, A. C., El Fallah Seghrouchni, A., Ili, J. M., Saidouni, D. E. A higher-order agent model with contextual planning management for ambient systems. In: Transactions on Computational Collective Intelligence XVI, pp. 146{169. Springer, Berlin, Heidelberg (2014)
CR  - Boukharrou, R., Chaouche, A. C., El Fallah Seghrouchni, A., Ili, J. M., Sadouni, D. E. Dealing with temporal failure in ambient systems: a dynamic revision of plans. Journal of Ambient Intelligence and Humanized Computing 6(3), 325-336 (2015)
CR  - van der Aalst, W. M. P., A. H. M. ter Hofstede, and M. H. Weske. Business process management: a survey. In: 1st International Conference on Business Process Management , pp. 1-12. Springer, Berlin Heidelberg (2003)
CR  - Bolognesi, T., Brinksma, E. Introduction to the ISO specification language LO-TOS. Computer Networks and ISDN systems 14(1), 25-59 (1987)
UR  - https://doi.org/10.53508/ijiam.1213431
L1  - https://dergipark.org.tr/en/download/article-file/2808038
ER  -