loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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

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

Keyword(s): Timed Sequence Diagram, State Diagram, Formal semantics, CSP+T, Timed Traces. Timing Constraints.

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: Having an objective of achieving a formal characterisation of Sequence Diagrams (UML-SD) as a means for Embedded Real-Time software systems ( ERTS ) development and validation, this paper introduces a CSP+T- based timed trace semantics for most concepts of SD. A trace is sequence of events, which gives the necessary expressiveness to capture the standard interpretation of UML SD. Timed SD (TSD) depict work flow, message passing and gives a general view of how system’s components cooperate over time to achieve a result. Such sequence, often called an scenario, also represents a part of the system behaviour and a possible execution of a state machine. State machines and SD are used as complementary models for describing system behaviour.

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 54.224.90.25

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:
Benghazi Akhlaki, K.; I. Capel Tuñón, M.; A. Holgado Terriza, J. and E. Mendoza Morales, L. (2007). TOWARDS UML-RT BEHAVIOURAL CONSISTENCY. In Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: ICEIS; ISBN 978-972-8865-90-0; ISSN 2184-4992, SciTePress, pages 612-615. DOI: 10.5220/0002395006120615

@conference{iceis07,
author={Kawtar {Benghazi Akhlaki}. and Manuel {I. Capel Tuñón}. and Juan {A. Holgado Terriza}. and Luis {E. Mendoza Morales}.},
title={TOWARDS UML-RT BEHAVIOURAL CONSISTENCY},
booktitle={Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: ICEIS},
year={2007},
pages={612-615},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002395006120615},
isbn={978-972-8865-90-0},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: ICEIS
TI - TOWARDS UML-RT BEHAVIOURAL CONSISTENCY
SN - 978-972-8865-90-0
IS - 2184-4992
AU - Benghazi Akhlaki, K.
AU - I. Capel Tuñón, M.
AU - A. Holgado Terriza, J.
AU - E. Mendoza Morales, L.
PY - 2007
SP - 612
EP - 615
DO - 10.5220/0002395006120615
PB - SciTePress