Konios, A ORCID: https://orcid.org/0000-0001-5281-1911, Khan, YI, Garcia-Constantino, M and Lopez-Nava, IH, 2023. A modular framework for modelling and verification of activities in ambient intelligent systems. In: UNSPECIFIED Springer. (Forthcoming)
Text
1736379_Konios.pdf - Post-print Restricted to Repository staff only Download (1MB) |
Abstract
There is a growing need to introduce and develop formal techniques for computational models capable of faithfully modelling systems of high complexity and concurrent. Such systems the are ambient intelligent systems. This article proposes an efficient framework for the automated modelling and verification of the behavioural models capturing daily activities that occur in ambient intelligent systems based on the modularity and compositionality of Petri nets. This framework consists of different stages that incorporate Petri net techniques like composition, transformation, unfolding and slicing. All these techniques facilitate the modelling and verification of the system activities under consideration by allowing the modelling in different Petri net classes and the verification of the produced models either by using model checking directly or by applying Petri net slicing to alleviate the state explosion problem that may emerge in very complex behavioural models. Illustrative examples are provided to demonstrate the practicality and effectiveness of the proposed approach. Finally, to show the flexibility of the proposed framework in terms of verification, both an evaluation and comparison of the state space required for the property checking are conducted with respect to the typical model checking and slicing approach respectively.
Item Type: | Chapter in book |
---|---|
Description: | Paper to be presented at 25th International Conference on Human-Computer Interaction (HCI International 2023), Copenhagen, Denmark, 23-28 July 2023. |
Creators: | Konios, A., Khan, Y.I., Garcia-Constantino, M. and Lopez-Nava, I.H. |
Publisher: | Springer |
Date: | 7 February 2023 |
Identifiers: | Number Type 1736379 Other |
Divisions: | Schools > School of Science and Technology |
Record created by: | Laura Ward |
Date Added: | 03 Mar 2023 09:28 |
Last Modified: | 03 Mar 2023 09:29 |
URI: | https://irep.ntu.ac.uk/id/eprint/48447 |
Actions (login required)
Edit View |
Statistics
Views
Views per month over past year
Downloads
Downloads per month over past year