A modular framework for modelling and verification of activities in ambient intelligent systems

Konios, A. ORCID: 0000-0001-5281-1911, Khan, Y.I., Garcia-Constantino, M. and Lopez-Nava, I.H., 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

Views

Downloads