A Context-Aware Workflow Model with Time Management

Year 2023, , 1 - 7, 29.01.2024

Roumeissa Khennaoui

https://doi.org/10.53508/ijiam.1213431

Abstract

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.

Keywords

Modeling Information in Smart Environments, Context Awareness, Ambient Intelligence, Formal Description, Workflow, Time Management, Formal Method

References

• Weber, W . Rabaey, J . Aarts, Emile HL. Ambient intelligence. Springer Science and Business Media (2005)
• 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)
• 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)
• 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)
• 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)
• 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)
• Rose, K . Eldridge, S . Chapin, L. The internet of things: An overview. The internet society (ISOC). 80 1-50 (2015)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• Bolognesi, T., Brinksma, E. Introduction to the ISO specification language LO-TOS. Computer Networks and ISDN systems 14(1), 25-59 (1987)