Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real-Time Systems

Authors: Kawtar Benghazi Akhlaki, Manuel I. Capel-Tuñón

Abstract:

UML is a collection of notations for capturing a software system specification. These notations have a specific syntax defined by the Object Management Group (OMG), but many of their constructs only present informal semantics. They are primarily graphical, with textual annotation. The inadequacies of standard UML as a vehicle for complete specification and implementation of real-time embedded systems has led to a variety of competing and complementary proposals. The Real-time UML profile (UML-RT), developed and standardized by OMG, defines a unified framework to express the time, scheduling and performance aspects of a system. We present in this paper a framework approach aimed at deriving a complete specification of a real-time system. Therefore, we combine two methods, a semiformal one, UML-RT, which allows the visual modeling of a realtime system and a formal one, CSP+T, which is a design language including the specification of real-time requirements. As to show the applicability of the approach, a correct design of a real-time system with hard real time constraints by applying a set of mapping rules is obtained.

Keywords: CSP+T, formal software specification, process algebras, real-time systems, unified modeling language.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1056022

References:

[1] B.Selic and J.Rumbaugh, "UML for modeling complex real-time systems". Technical report, ObjectTime, 1998.
[2] John J.Zic, "Timed constrained buffer specifications in CSP + T and timed CSP". ACM Transaction on Programming Languages and Systems, vol.16, 6, 1994, pp. 1661-1674.
[3] A.W.Roscoe. "The theory and practice of concurrency". Prentice Hall, 1997.
[4] C.A.R. Hoare, "Communicating Sequential Processes", Prentice- Hall, 1978.
[5] D. Harel and A. Naamad, "The statemate semantics of Statecharts". ACM Transactions of Software Engineering and Methodology, vol.5, 4, October 1996, pp.293-333.
[6] M. I. Capel, J. A. Holgado, "Transforming SA/RT Graphical Specifications into CSP+T Formalism - Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models", ICEIS 2005, vol.3, Proceedings of the Seventh International Conference on Enterprise Information Systems, Miami, USA, May 25-28, pp.65-72.
[7] M. I. Capel, J. A. Holgado, A. Escámez, "An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case", Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, Miami, FL, USA, INSTICC Press, 2005, pp. 39-48.
[8] M.Y.Ng and M. Butler, "Tool Support for Visualizing CSP in UML", in Proceedings of International Conference on Formal Engineering Methods(ICFEM), Shanghai, China, 2002, pp. 287-298.
[9] G. Booch, J. Rumbaugh, and I. Jacobson, "The Unified Modeling Language User Guide", Addison-Wesley, Reading, Massachusetts, USA, 1999.
[10] B. Selic, "Using UML for modeling complex real-time systems". Lecture Notes in Computer Science, 1474, Springer-Verlag, 1998, pp.250-260.
[11] B. Selic, G. Gullekson, J. McGee, and I. Engelberg, "ROOM: An object-oriented methodology for developing real-time systems", in Proceedings 5th Int. Work. Computer-Aided Software Engineering, July 1992, pp. 230-240.
[12] R. Grosu, M. Broy, B. Selic, and Gh. Stefanescu, "Towards a calculus for UML-RT specifications", in Proceedings Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Vancouver, Canada, October 1998.
[13] OMG, "Response to the OMG RFP for schedulability, performance, and time", June 2001. Available: OMG document number: ad/ 2001- 06-14, http://www.omg.org/cgi-bin/doc?ad/2001-06-14.
[14] C. Lewerentz and T. Lindert, "Formal Development of reactive Systems: Case Study Production Cell". Lecture Notes in Computer Science, S 891, Springer-Verlag, Heidelberg, 1995.
[15] P.Welch, "Process Oriented Design for Java: Concurrency for All", in Computational Science - ICCS 2002, Lecture Notes in Computer Science, 2330, Springer-Verlag, April 2002 (Keynote Tutorial), pp. 687-687.