Authors:
Hanen Grichi
1
;
Olfa Mosbahi
2
and
Mohamed Khalgui
2
Affiliations:
1
Tunisia Polytechnic School and University of Tunis el Manar, Tunisia
;
2
National Institute of Applied Science and Technology and University of Carthage, Tunisia
Keyword(s):
Flexible Real-time System, Reconfiguration, Object Constraint Language, Metamodelling and Validation, Wireless Sensor Network.
Related
Ontology
Subjects/Areas/Topics:
Agents
;
Artificial Intelligence
;
Artificial Intelligence and Decision Support Systems
;
Distributed and Mobile Software Systems
;
Enterprise Information Systems
;
Enterprise Software Technologies
;
Formal Methods
;
Intelligent Problem Solving
;
Knowledge Engineering and Ontology Development
;
Knowledge-Based Systems
;
Multi-Agent Systems
;
Simulation and Modeling
;
Software Engineering
;
Software Engineering Methods and Techniques
;
Symbolic Systems
Abstract:
The paper deals with the verification of reconfigurable real-time systems to be validated by using the Object
Constraint Language (abbrev, OCL). A reconfiguration scenario is assumed to be any adaptation of the execution
to the system environment according to user requirements. Nevertheless, since several behaviors can be
redundant from an execution to another, the use of OCL is insufficient to specify the constraints to be satisfied
by this kind of systems. We propose an extension of OCL, named Reconfigurable OCL, in order to optimize
the specification and validation of constraints related to different execution scenarios of a flexible system. A
metamodel of the new ROCL is proposed with formal syntax and semantics. This solution gains in term of the
validation time and the quick expression of constraints. The paper’s contribution is applied to a case study that
we propose to show the originality of this new language.