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.
Modeling Information in Smart Environments Context Awareness Ambient Intelligence Formal Description Workflow Time Management Formal Method
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
Birincil Dil | İngilizce |
---|---|
Konular | Yazılım Mühendisliği (Diğer) |
Bölüm | Makaleler |
Yazarlar | |
Erken Görünüm Tarihi | 29 Ocak 2024 |
Yayımlanma Tarihi | 29 Ocak 2024 |
Kabul Tarihi | 10 Temmuz 2023 |
Yayımlandığı Sayı | Yıl 2023 |
International Journal of Informatics and Applied Mathematics