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 243
- Downloads 0
Coupling equation based models and agent-based models: example of a multi-strains and switch SIR toy model
Modeling in ecol ogy or epidemiol ogy gener all y opposes tw o classes of models, Equa tion Based Models and Agent Based Models. Mathema tical models all ow predicting the long- term dynamics of the studied systems. How...
Collective Intelligence based Endangered Language Revitalisation Systems: Design, Implementation, and Evaluation
The languages are disappearing at an alarming rate; half of 7105 plus languages spoken today may disappear by end of this century. When a language becomes extinct, communities lose their cultural identity, practices tied...
Mobility Patterns Mining Algorithms with Fast Speed
In recent years, mobile networks and its applications are developing rapidly. Therefore, the issue to ensure quality of service (QoS) is a key issue for the service providers. The movement prediction of Mobile Users (MUs...
A Combination of Off-line and On-line Learning to Classifier Grids for Object Detection
We propose a new method for object detection by combining off-line and on-line boosting learning to classifier grids based on visual information without human intervention concerned to intelligent surveillance system. It...
Enrichment of Multi-criteria Communities for Context-aware Recommendations
Recommender systems are designed to help users alleviate the information overload problem by offering personalized recommendations. Most systems apply collaborative filtering to predict individual preferences based on op...