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 227
- Downloads 0
Chronological states of viewer’s intentions using hidden Markov models and features of eye movement
To determine the possibility of predicting viewer’s internal states using the hidden Markov model, several features of eye movements were introduced to the model. Performance was measured using the data from a set of eye...
Classification of objective interestingness measures
The creation of the interestingness measures for evaluating the quality of the association rule - based knowledge plays an important role in the post-processing of the Knowledge Discovery from Databases. More and more in...
Some Improvements on Active Queue Management Mechanism Based on Adaptive Fuzzy Control
Active queue management operates at network nodes to control the number of packets in the queue of nodes, by actively receiving packets when the queue is not full, removing packets when the queue is full or notifying bot...
Synchronous networks for bio-environmental surveillance based on cellular automata
The paper proposes a new approach to model a bio-environmental surveillance network as synchronous network systems, systems consist of components running simultaneously. In the network, bio-environmental factors compose...
Design guidelines for rapid and simple context-aware mobile application development – an android case study
Presenting a context-aware service and information is a key aspect of ubiquitous computing, but development of such applications is quite complicated. Context-aware applications should be able to obtain raw data fromsens...