Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real-Time Systems
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.
[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.
[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.
@article{"International Journal of Electrical, Electronic and Communication Sciences:51012", author = "Kawtar Benghazi Akhlaki and Manuel I. Capel-Tuñón", title = "Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real-Time Systems", 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.", volume = "1", number = "7", pages = "951-6", }
