DESIGN OF REAL-TIME SYSTEMS BY SYSTEMATIC TRANSFORMATION OF UML/RT MODELS INTO SIMPLE TIMED PROCESS ALGEBRA SYSTEM SPECIFICATIONS

K. Benghazi Akhlaki, M. I. Capel Tuñon, J. A. Holgado Terriza

Abstract

The systematic translation from a UML/RT model into CSP+T specifications, proposed in a previous paper, may give a way to use jointly UML and CSP in a unified, practical and rigorous software development method for real-time systems. We present here a systematic transformation method to derive a correct system specification in terms of CSP+T from a semi-formal system requirement specification (UML-RT), by applying a set of transformation rules which give a formal semantics to the semi-formal analysis entities of UML/RT, and thus open up the possibility of verifying a software system design that also includes real-time constraints. As to show the applicability of the approach, a correct design of a real-time system is obtained by following the process of development proposed here.

References

  1. B.Selic and J.Rumbaugh, 1998. “UML for modeling complex real-time systems”. Technical report, ObjectTime.
  2. Booch, James Rumbaugh, and Ivar Jacobson. 1999. The Unified Modeling Language User Guide. AddisonWesley, Reading, Massachusetts, USA,
  3. Capel. M.I, Holgado.J.A, 2005 “Transforming SA/RT Graphical Specifications into the CSP+T FormalismObtaining a Formal Specification from Semi-Formal SA/RT Essential Models”, ICEIS 2005, v.3, Miami, USA, May 25-28, pp.65-72.
  4. Capel. M.I, Benghazi .k, Holgado.J.A, 2005 “Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of RealTime Systems” IJIT volume 2 number 2 ISSN: 1305- 2403, pp-137-146.
  5. Escamez A, Capel M. I.; Holgado J.A.; 2005 “An Integration Scheme For CPN And Process Algebra Applied To A Manufacturing Industry Case”, OMSPN, 1-10.
  6. Fisher, C., Orlog, E.R ,Olderog, H., Wehrheim, (2001): A CSP view on UML-RT Structure diagrams. In. Proceeding of the 4th International Conference on Integrated Fundamental Approaches to Software Engineering , Springer .
  7. FormalSystems, 2005, FDR2.82 released. http://www.fsel.com.
  8. Hoare, C.A.R, 1978. Communicating Sequential Processes, Prentice- Hall, Englewood Cliffs
  9. Lindert, 1995 Formal Development of reactive Systems: Case Study Production Cell. LNCS 891. Springer Verlag.
  10. Möller, M., Olderog, E.R., Rash, H., Wehreim, H. (2004): Linking CSP-OZ with UML and Java: A Case Study. In: 4th ICIFM. Volume 2999 of LNCS. Springer .
  11. Ng, MY., Butler, M.J.: Towards Formalizing UML State Diagrams in CSP. In: 1st International Conference on Software Engineering and Formal Methods, IEEE Computer Society (2003)
  12. OMG, UML/RT Profile for Schedulability, Performance, and Time Specification, OMG Documents ptc/ 2003- 03-02, March 2003.
  13. OMG. Response to the OMG RFP for schedulability, performance, and time, June 2001. OMG document number: ad/ 2001-06-14, http://www.omg.org/cgibin/doc?ad/2001-06-14.
  14. Ramos, Sampaio, Mota. 2005: A semantics for UML-RT Active Classes via Mapping into Circus. 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object Based Distributed Systems, Vol. 3535, pp. 99-114.
  15. Roscoe. 1997 the theory and practice of concurrency. Prentice Hall.
  16. Zic, 1994 “Timed constrained buffer specifications in CSP + T and timed CSP”. ACM Transaction on Programming Languages and Systems, vol.16, 6, pp. 1661-1674.
Download


Paper Citation


in Harvard Style

Benghazi Akhlaki K., I. Capel Tuñon M. and A. Holgado Terriza J. (2006). DESIGN OF REAL-TIME SYSTEMS BY SYSTEMATIC TRANSFORMATION OF UML/RT MODELS INTO SIMPLE TIMED PROCESS ALGEBRA SYSTEM SPECIFICATIONS . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-972-8865-43-6, pages 290-297. DOI: 10.5220/0002451002900297


in Bibtex Style

@conference{iceis06,
author={K. Benghazi Akhlaki and M. I. Capel Tuñon and J. A. Holgado Terriza},
title={DESIGN OF REAL-TIME SYSTEMS BY SYSTEMATIC TRANSFORMATION OF UML/RT MODELS INTO SIMPLE TIMED PROCESS ALGEBRA SYSTEM SPECIFICATIONS},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2006},
pages={290-297},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002451002900297},
isbn={978-972-8865-43-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - DESIGN OF REAL-TIME SYSTEMS BY SYSTEMATIC TRANSFORMATION OF UML/RT MODELS INTO SIMPLE TIMED PROCESS ALGEBRA SYSTEM SPECIFICATIONS
SN - 978-972-8865-43-6
AU - Benghazi Akhlaki K.
AU - I. Capel Tuñon M.
AU - A. Holgado Terriza J.
PY - 2006
SP - 290
EP - 297
DO - 10.5220/0002451002900297