Abstract
Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provides a set of modeling concepts including optional actor references and multiple containment. However, these concepts are not covered in any of the current formal semantics of UML-RT, thus impeding the testing and formal analysis of realistic models. We use AsmL to present an executable semantics covering dynamic structures and other important features like run time schedulability. The semantics is parametrized to capture UML-RT semantics variation points whose decision choices depend on the special implementation in a vendor CASE tool. We have built several different implementations of those variation points, including the one as implemented in the IBM Rational Rose RealTime (Rose-RT) tool. Finally, we illustrate how the proposed executable semantics can be used in the analysis of a Rose-RT model using the Spec Explorer tool.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Akhlaki, K.B., Tuñón, M.I.C., Terriza, J.A.H.: Design of real-time systems by systematic transformation of UML/RT models into simple timed process algebra system specifications. In: Proc. ICEIS (3), pp. 290–297 (2006)
AsmL – Abstract State Machine Language (Microsoft), http://research.microsoft.com/fse/asml
Bezerra, J., Hirata, C.M.: A semantics for UML-RT using π-calculus. In: Proc. RSP 2007, pp. 75–82 (2007)
Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer (2003)
Bradbury, J.S., Cordy, J.R., Dingel, J., Wermelinger, M.: A survey of self-management in dynamic software architecture specifications. In: Proc. WOSS, pp. 28–33. ACM (2004)
Brand, D., Zafiropulo, P.: On communicating finite-state machines. Journal of the ACM 30(2), 323–342 (1983)
Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Model-based testing of object-oriented reactive systems with Spec Explorer. Technical Report MST-TR-2005-59, Microsoft Research (2005)
Capel, M.I., Morales, L.E.M., Akhlaki, K.B., Terriza, J.A.H.: A semantic formalization of UML-RT models with CSP+T processes applicable to real-time systems verification. In: Proc. JISBD, pp. 283–292 (2006)
Engels, G., Küster, J.M., Heckel, R., Groenewegen, L.: A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: ESEC / SIGSOFT FSE, pp. 186–195. ACM Press (2001)
Fischer, C., Olderog, E.-R., Wehrheim, H.: A CSP view on UML-RT structure diagrams. In: Hussmann, H. (ed.) ETAPS 2001 and FASE 2001. LNCS, vol. 2029. Springer, Heidelberg (2001)
Fuchs, M., Nazareth, D., Daniel, D., Rumpe, B.: BMW-ROOM: An object-oriented method for ASCET. In: SAE 1998, Society of Automotive Engineers (1998)
Gao, Q., Brown, L.J., Capretz, L.F.: Extending UML-RT for control system modeling. American Journal of Applied Sciences 1(4), 338–347 (2004)
Grosu, R., Broy, M., Selic, B., Stefanescu, G.: Towards a calculus for UML-RT specifications. In: Proc. OOPSLA (1998)
Gullekson, G.: Designing for concurrency and distribution with Rational Rose RealTime, Rational Software White Paper (2003), http://www.ibm.com/developerworks/rational/library/269.html
Gurevich, Y., Rossman, B., Schulte, W.: Semantic essence of AsmL. Theor. Comput. Sci. 343(3), 370–412 (2005)
Habibi, A., Tahar, S.: AsmL semantics in fixpoint. In: Proc. ASM, pp. 233–246 (2005)
Herzberg, D.: UML-RT as a candidate for modeling embedded real-time systems in the telecommunication domain. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 330–338. Springer, Heidelberg (1999)
Kardoš, M.: Automated formal verification for UML-based model driven design of embedded systems. PhD thesis, Slovak University of Technology (2006)
Knapp, A., Merz, S., Rauh, C.: Model checking timed UML state machines and collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 395–416. Springer, Heidelberg (2002)
Leue, S., Ştefănescu, A., Wei, W.: An AsmL semantics for dynamic structures and run time schedulability in UML-RT. Technical Report soft-08-02, University of Konstanz (2008), http://www.inf.uni-konstanz.de/soft/publications_en.php
OMG Model Driven Architecture (MDA), http://www.omg.org/mda
Ramos, R., Sampaio, A., Mota, A.: A semantics for UML-RT active classes via mapping into Circus. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol. 3535, pp. 99–114. Springer, Heidelberg (2005)
Rational Rose RealTime tool. Shipped within Rational Rose Technical Developer, http://www.ibm.com/software/awdtools/developer/technical
Saaltink, M.: Generating and analysing Promela from RoseRT models. Technical Report TR-99-5537-02, ORA Canada, 1208 One Nicholas Street, Ottawa Ontario, K1N 7B7, Canada (1999)
Saksena, M., Freedman, P., Rodzewicz, P.: Guidelines for automated implementation of executable object oriented models for real-time embedded control systems. In: Proc. of the IEEE Real-Time Systems Symposium, pp. 240–245. IEEE Computer Society (1997)
Selic, B.: Turning clockwise: using UML in the real-time domain. Comm. of the ACM 42(10), 46–54 (1999)
Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, Inc. (1994)
Selic, B., Rumbaugh, J.: Using UML for modeling complex real-time systems (March 1998), http://www.ibm.com/developerworks/rational/library/139.html
Spec Explorer tool, http://research.microsoft.com/SpecExplorer
von der Beeck, M.: A formal semantics of UML-RT. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 768–782. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Leue, S., Ştefănescu, A., Wei, W. (2008). An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. In: Paige, R.F., Meyer, B. (eds) Objects, Components, Models and Patterns. TOOLS EUROPE 2008. Lecture Notes in Business Information Processing, vol 11. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69824-1_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-69824-1_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69823-4
Online ISBN: 978-3-540-69824-1
eBook Packages: Computer ScienceComputer Science (R0)