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.

References

  1. Benghazi, K., Capel, M. I., Mendoza, L. I., and Holgado, J. A. (2007). A methodological approach to the formal specification of real-time systems by transformation of uml-rt design models. In Science Computer Programming. Elsevier.
  2. Capel, M., Benghazi, K., and Holgado, J. (2005). Combining the description features of uml-rt and csp+t specifications applied to a complete design of real-time systems. In IJIT, Information Journal of information Technology.
  3. Cheng, H. C, E. Y. (2002). Uml for modelling complex real-time systems. In Software Eng. IEEE Trans. 28.
  4. Cobben, M. H., Engels, A., Mauw, S., and Reniers, M. A. (1998). A semantic formalization of uml-rt models with csp+t processes applicable to real-time systems verification. In Formal Semantics of Message Sequence Charts.
  5. Haugen, Knut Eilif Husa, R. K. R. K. S. (2005). Stairs towards formal design with sequence diagrams. In Software and System Modeling.
  6. Li, X., Liu, Z., and He, J. (2004). A formal semantics of uml sequence diagrams. In IEEE Computer Society. ASWEC'2004.
  7. OMG (2004). Super structure specification. In Software Eng. Object Managment Group.
  8. Selic, B. and J, R. (1998). Uml for modelling complex realtime systems. In ObjectTime.
Download


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