Context-aware approach for formal verification
Journal Title: EAI Endorsed Transactions on Context-aware Systems and Applications - Year 2016, Vol 3, Issue 7
Abstract
The Context-aware approach has proven to be an effective technique for software model-checking verification. It focuses on the explicit modelling of environment as one or more contexts. In this area, specifying precise requirement is a challenged task for engineer since often environmental conditions lack of precision. A DSL, called CDL, has been proposed to facilitate the specification of requirement and context. However, such language is still low-level and error prone, difficult to grasp on complex models and assessment about its usability is still mitigated. In this paper, we propose a high level formalism of CDL to facilitate specifying contexts based on interaction overview diagrams that orchestrate activity diagrams automatically transformed from textual use cases. Our approach highlights the boundaries between the system and its environment. It is qualified as model checking context-aware that aims to reduce the semantic gap between informal and formal requirements, hence the objective is to assist and encourage engineers to put sufficient details to accomplish effectively the specification process.
Authors and Affiliations
Amel Benabbou, Safia Nait Bahloul, Dhaussy Philippe
Keywords
Related Articles
- EP ID EP45769
- DOI http://dx.doi.org/10.4108/eai.12-2-2016.151085
- Views 263
- Downloads 0
Representing and Reasoning with the Internet of Things: a Modular Rule-Based Model for Ensembles of Context-Aware Smart Things
Context-aware smart things are capable of computational behaviour based on sensing the physical world, inferring context from the sensed data, and acting on the sensed context. A collection of such things can form what w...
Clustering the objective interestingness measures based on tendency of variation in statistical implications
In recent years, the research cluster of objective interestingness measures has rapidly developed in order to assist users to choose the appropriate measure for their application. Researchers in this field mainly focus o...
Applying Log Data to Context-Awareness in Home Network System
In the conventional context-aware services of the home network system (HNS), every context has been defined by current (or recent) situations only. Considering past situations in a house would significantly extend the ex...
To Sense or not to Sense: An Exploratory Study of Privacy, Trust and other related concerns in Personal Sensing Context-aware Applications
Due to increasing proliferation of smart devices, many users store a significant proportion of personal data on them. Thus, personal sensing applications that sense a user’s context via his smart device have significant...
Bootstrapped Discovery and Ranking of Relevant Services and Information in Context-aware Systems
A context-aware system uses context to provide relevant information and services to the user, where relevancy depends on the user’s situation. This relevant information could include a wide range of heterogeneous content...