loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

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

ISBN: 978-989-758-115-1

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.204.175.38

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Ben Salem, Mohamed Oussama; Mosbahi, O.; Khalgui, M. and Frey, G. (2015). Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems.In Proceedings of the 10th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2015) ISBN 978-989-758-115-1, pages 64-75. DOI: 10.5220/0005523700640075

@conference{icsoft-pt15,
author={Ben Salem, Mohamed Oussama and Olfa Mosbahi. and Mohamed Khalgui. and Georg Frey.},
title={Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems},
booktitle={Proceedings of the 10th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2015)},
year={2015},
pages={64-75},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005523700640075},
isbn={978-989-758-115-1},
}

TY - CONF

JO - Proceedings of the 10th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2015)
TI - Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems
SN - 978-989-758-115-1
AU - Ben Salem, Mohamed Oussama
AU - Mosbahi, O.
AU - Khalgui, M.
AU - Frey, G.
PY - 2015
SP - 64
EP - 75
DO - 10.5220/0005523700640075

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.