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 254
- Downloads 0
Context-aware approach for formal verification
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 r...
Managing flexible care with a context aware system for ageing-in-place
This paper describes the Care4Balance (C4B) system for better facilitating communication and task coordination between formal and informal caregivers, and older adults as care receivers. Field-tests with older adults (n=...
A Variable Neighborhood Search Algorithm for Solving the Steiner Minimal Tree Problem in Sparse Graphs
Steiner Minimal Tree (SMT) is a complex optimization problem that has many important applications in science and technology; This is a NP-hard problem. Much research has been carried out to solve the SMT problem using ap...
Assistance to assessing rating students by language tuple- 4 scale
In this paper, we introduce an assistance to assessing rating the annual learning and process training of students in the opinion of experts, the approach of hedge algebra. It is advisary to make optimally fuzzy paramete...
Holistic Personas for Designers of a Context-Aware Accounting Information Systems e-Learning Application
E-learning systems have been increasingly used to train and empower employees to take a more active role in the creation and dissemination of system knowledge, when, either new systems are installed, or existing systems...