Authors:
Mohamed Oussama Ben Salem
1
;
Olfa Mosbahi
2
;
Mohamed Khalgui
2
and
Georg Frey
3
Affiliations:
1
University of Carthage, ICTICA and University of Carthage, Tunisia
;
2
ICTICA and University of Carthage, Tunisia
;
3
Saarland University, Germany
Keyword(s):
UML, R-TNCES, Model Transformation, Modeling, Model-based Verification, PCP, Shared Resource.
Related
Ontology
Subjects/Areas/Topics:
Model Analysis and Checking
;
Model Transformation
;
Modeling Languages
;
Models
;
Paradigm Trends
;
Software Engineering
Abstract:
Unified Modeling Language (UML) is currently accepted as the standard for modeling software and control systems since it allows to concentrate on different aspects of the system under design. However, UML lacks
formal semantics and, hence, it is not possible to apply, directly, mathematical techniques on UML models to verify them. UML does not feature explicit semantics to model flexible control systems sharing adaptive
shared resources either. Thus, this paper proposes a new UML profile, baptized R-UML (Reconfigurable UML), to model such reconfigurable systems. The profile is enriched with a PCP-based solution for the
management of resource sharing. The paper also presents an automatic translation of R-UML into R-TNCES, a Petri Net-based formalism, to support model checking.