TOWARDS UML-RT BEHAVIOURAL CONSISTENCY

Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan A. Holgado Terriza, Luis E. Mendoza Morales

2007

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.

Paper Citation

in Harvard Style

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 3: ICEIS, ISBN 978-972-8865-90-0, pages 612-615. DOI: 10.5220/0002395006120615

in Bibtex Style

@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 3: ICEIS,},
year={2007},
pages={612-615},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002395006120615},
isbn={978-972-8865-90-0},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 3: 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