loading
Papers

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

ISBN: 978-972-8865-90-0

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.

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 3.233.239.20

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.; E. Mendoza Morales L. and (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, 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},
}

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

Login or register to post comments.

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