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)
Abstract
Keywords
Modeling of Physical and Conceptual Information in Smart Environments \and Context Awareness \and ambient intelligence \and formal description\and workflow\and Time management\and Formal Method} Modeling of Physical and Conceptual Information in Smart Environments · Context Awareness · ambient intelligence · formal description· workflow· Time management· Formal Method Modeling of Physical and Conceptual Information in Smart Environments Context Awareness · ambient intelligence Time management
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)
Details
| Primary Language | English |
|---|---|
| Subjects | Software Engineering (Other) |
| Journal Section | Articles |
| Authors | |
| Early Pub Date | January 29, 2024 |
| Publication Date | January 29, 2024 |
| Acceptance Date | July 10, 2023 |
| Published in Issue | Year 2023 Volume: 6 Issue: 2 |
Cite
International Journal of Informatics and Applied Mathematics