Author:
Thouraya Bouabana-Tebibel
Affiliation:
Institut National d’Informatique, Algeria
Keyword(s):
UML, OCL, Petri nets, temporal logics, verification, validation.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Artificial Intelligence and Decision Support Systems
;
Computational Intelligence
;
Enterprise Information Systems
;
Evolutionary Computation and Control
;
Formal Methods
;
Informatics in Control, Automation and Robotics
;
Intelligent Control Systems and Optimization
;
Modeling, Simulation and Architectures
;
Petri Nets
;
Robotics and Automation
;
Simulation and Modeling
;
Soft Computing
Abstract:
The Object Constraint Language OCL is an extension of the UML notation for the expression of restrictions on diagrams. We propose to take advantage of its all expression capabilities for validating the UML system properties. For this purpose, we develop an approach to support the OCL invariant verification on the colored Petri nets derived from the UML modeling. A case study is given throughout the paper to illustrate the approach.