Abstract
In this paper an extension of a behavioural subset of UML Statecharts for modeling mobility issues is proposed. In this extension we relax the unique association between each Statechart – in a collection of Statecharts modeling a system – and its input-queue and we allow the use of (queue) name variables in communication actions. The resulting communication paradigm is much more flexible than the standard asymmetric one and is well suited for the modelling of mobility-oriented as well as fault tolerant systems.
This work has been carried out in the context of Project EU-IST IST-2001-32747 Architectures for Mobility (AGILE), http://www.pst.informatik.uni-muenchen.de/projekte/agile/.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Cardelli, L., Gordon, A.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–145. Springer, Heidelberg (1998)
Denning, P.: Fault tolerant operating systems. ACM Computing Surveys 8(4), 359–389 (1976)
Ferrari, G., Gnesi, S., Montanari, U., Pistore, M., Ristori, G.: Verifying mobile processes in the HAL environment. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol. 1427. Springer, Heidelberg (1998)
Gnesi, S., Latella, D., Massink, M.: Modular semantics for a UML Statechart Diagrams kernel and its extension to Multicharts and Branching Time Model Checking. The Journal of Logic and Algebraic Programming 51(1), 43–75 (2002)
Holzmann, G.: The model checker SPIN. IEEE Transactions on Software Engineering 23(5), 279–295 (1997)
Latella, D., Majzik, I., Massink, M.: Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Formal Aspects of Computing. The International Journal of Formal Methods 11(6), 637–664 (1999)
Latella, D., Majzik, I., Massink, M.: Towards a formal operational semantics of UML statechart diagrams. In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds.) IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Oriented Distributed Systems, pp. 331–347. Kluwer Academic Publishers, Dordrecht (1999) ISBN 0-7923-8429-6
Latella, D., Massink, M.: Relating testing and conformance relations for UML Statechart Diagrams Behaviours. Technical Report CNUCE-B4-2002-001, Consiglio Nazionale delle Ricerche, Istituto CNUCE, Full version (2002)
Latella, D., Massink, M.: On mobility extensions of UML Statecharts; a pragmatic approach. Technical Report 2003-TR-12, Consiglio Nazionale delle Ricerche, Istituto di Scienza e Tecnologie dell’Informazione ’A. Faedo’ (2003)
Mikk, E., Lakhnech, Y., Siegel, M.: Hierarchical automata as model for statecharts. In: Shyamasundar, R., Euda, K. (eds.) ASIAN 1997. LNCS, vol. 1345, pp. 181–196. Springer, Heidelberg (1997)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Information and Computation 100(1), 1–77 (1992) Parts 1-2
Object Management Group, Inc. OMG Unified Modeling Language Specification - version 1.3 (1999)
Philipps, J., Scholz, P.: Compositional specification of embedded systems with statecharts. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol. 1214, pp. 637–651. Springer, Heidelberg (1997)
Scholz, P., Nazareth, D.: Communication concepts for statecharts: A semantic foundation. In: Bertran, M., Rus, T. (eds.) AMAST-ARTS 1997, ARTS 1997, and AMAST-WS 1997. LNCS, vol. 1231, pp. 126–140. Springer, Heidelberg (1997)
von der Beeck, M.: A structured operational semantics for UML-statecharts. Software Systems Modeling (1), 130–141 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 IFIP International Federation for Information Processing
About this paper
Cite this paper
Latella, D., Massink, M. (2003). On Mobility Extensions of UML Statecharts. A Pragmatic Approach. In: Najm, E., Nestmann, U., Stevens, P. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 2003. Lecture Notes in Computer Science, vol 2884. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39958-2_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-39958-2_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20491-6
Online ISBN: 978-3-540-39958-2
eBook Packages: Springer Book Archive