loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Luis E. Mendoza Morales 1 ; Manuel I. Capel Tuñón 2 and Kawtar Benghazi Akhlaki 2

Affiliations: 1 Universidad Simón Bolívar, Venezuela ; 2 ETSI Informática, Universidad de Granada, Spain

ISBN: 978-972-8865-90-0

Keyword(s): Real-time software systems, UML-RT, Formal semantic, Formal specification, CSP+T.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Methodologies, Processes and Platforms ; Model-Driven Software Development ; Modeling Formalisms, Languages and Notations ; Software Engineering ; Systems Engineering

Abstract: Starting from a methodological approach intended to obtain a correct system specification in CSP+T from a UML–RT model of an RTS, we develop now a systematic procedure to check whether the obtained design is consistent with other views of the same system, such as the ones given by class, composite structure and state machines diagrams. To achieve this objective, a formal semantics of the notational elements of UML–RT according to CSP+T process terms is presented, which guarantees that system requirements are preserved from their initial UML–RT modelling to the final system implementation. As a consequence, the formal support given by the compositional refinement of CSP+T process terms will allow performing the system’s software compositional verification. In addition, the derived formal semantic definitions are applied to the Production Cell case study.

PDF ImageFull Text

Download
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 35.171.183.163

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:
E. Mendoza Morales L.; I. Capel Tuñón M.; Benghazi Akhlaki K. and (2007). CHECKING BEHAVIOURAL CONSISTENCY OF UML-RT MODELS THROUGH TRACE-BASED SEMANTICS.In Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-972-8865-90-0, pages 205-211. DOI: 10.5220/0002395102050211

@conference{iceis07,
author={Luis {E. Mendoza Morales} and Manuel {I. Capel Tuñón} and Kawtar {Benghazi Akhlaki}},
title={CHECKING BEHAVIOURAL CONSISTENCY OF UML-RT MODELS THROUGH TRACE-BASED SEMANTICS},
booktitle={Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2007},
pages={205-211},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002395102050211},
isbn={978-972-8865-90-0},
}

TY - CONF

JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - CHECKING BEHAVIOURAL CONSISTENCY OF UML-RT MODELS THROUGH TRACE-BASED SEMANTICS
SN - 978-972-8865-90-0
AU - E. Mendoza Morales, L.
AU - I. Capel Tuñón, M.
AU - Benghazi Akhlaki, K.
PY - 2007
SP - 205
EP - 211
DO - 10.5220/0002395102050211

Login or register to post comments.

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