A Context-Aware Workflow Model with Time Management

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

1. Weber, W . Rabaey, J . Aarts, Emile HL. Ambient intelligence. Springer Science and Business Media (2005)
2. 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)
3. 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)
4. 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)
5. 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)
6. 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)
7. Rose, K . Eldridge, S . Chapin, L. The internet of things: An overview. The internet society (ISOC). 80 1-50 (2015)
8. 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)

9. 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)
10. 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)
11. 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)
12. 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)
13. 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)
14. 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)
15. 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)
16. Bolognesi, T., Brinksma, E. Introduction to the ISO specification language LO-TOS. Computer Networks and ISDN systems 14(1), 25-59 (1987)