Mobile UML statecharts with localities

Lecture Notes in Computer Science

Volumn 3267, Issue , 2005, Pages 34-58

  Latella, Diego ^a   Massink, Mieke ^a   Baumeister, Hubert ^b   Wirsing, Martin ^b  

^a ISTI CNR   (Italy)

^b UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; MATHEMATICAL MODELS; RESOURCE ALLOCATION; SEMANTICS; SOCIAL SCIENCES COMPUTING;

FORMAL SEMANTICS; MOBILE COMPUTATIONS; NETWORK SERVICES; STATECHARTS;

MOBILE COMPUTING;

EID: 23944477896     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31794-4_3     Document Type: Conference Paper

References (19)

1. B. Bauer, J. Müller, and J. Odell. Agent UML: A Formalism for Specifying Multiagent Interaction. In P. Ciancarini and M. Wooldridge, editors, Agent-Oriented Software Engineering, volume 1957 of Lecture Notes in Computer Science, pages 91-103. Springer-Verlag, 2001.
2. H. Baumeister, N. Koch, P. Kosiuczenko, and M. Wirsing. Extending Activity Diagrams to Model Mobile Systems. In M. Aksit, M. Mezini, and R. Unland, editors, Objects, Components, Architectures, Services, and Applications for a Networked World., volume 2591 of Lecture Notes in Computer Science, pages 278-293. Springer-Verlag, 2002.
3. J. Broersen and R. Wieringa. Interpreting UML-statecharts in a modal μ-calculus. Unpublished manuscript, 1997.
4. L. Cardelli and A. Gordon. Mobile ambients. In M. Nivat, editor, FoSSaCS'98, volume 1378 of Lecture Notes in Computer Science, pages 140-145. Springer-Verlag, 1998.
5. R. De Nicola, G. Ferrari, and R. Pugliese. KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering, 24(5):315-329, 1998.
6. S. Gnesi, D. Latella, and M. Massink. 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. Elsevier Science, 51(1):43-75, 2002.
7. C. Klein, A. Rausch, M. Sihling, and Z. Wen. Extension of the Unified Modeling Language for mobile agents. In K. Siau and T. Halpin, editors, Unified Modeling Language: Systems Analysis, Design and Development Issues, chapter 8. Idea Group Publishing, Hershey, PA and London, 2001.
8. Alexander Knapp, Stephan Merz, and Martin Wirsing. On refinement of mobile UML state machines, 2004. to appear in Proc. AMAST 2004.
9. P. Kosiuczenko. Sequence Diagrams for Mobility. In J. Krogstie, editor, MobIMod 2002, volume XXXX of Lecture Notes in Computer Science. Springer-Verlag, 2003. (To appear).
10. A. Kuhn and von Oheimb D. Interacting state machines for mobility. In K. Araki, S. Gnesi, and D. Mandrioli, editors, FME 2003: Formal Methods, volume 2805 of Lecture Notes in Computer Science, pages 698-718. Springer-Verlag, 2003.
11. D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UML statechart diagrams. In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Oriented Distributed Systems, pages 331-347. Kluwer Academic Publishers, 1999. ISBN 0-7923-8429-6.
12. D. Latella and M. Massink. On mobility extensions of UML Statecharts; a pragmatic approach. In E. Najm, U. Nestmann, and P. Stevens, editors, Formal Methods for Open Object-Based Distributed Systems, volume 2884 of Lecture Notes in Computer Science, pages 199-213. Springer-Verlag, 2003.
13. J. Lilius and I. Paltor Porres. Formalising UML state machines for model checking. In R. France and B. Rumpe, editors, UML'99 - The Unified Modeling Language. Beyond the Standard., volume 1723 of Lecture Notes in Computer Science, pages 430-445. Springer-Verlag, 1999.
14. J. Lilius and I. Paltor Porres. The semantics of UML state machines. Technical Report 273, Turku Centre for Computer Science, 1999.
15. S. Merz, M. Wirsing, and J. Zappe. A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. In M. Pezzé, editor, Fundamental Approaches to Software Engineering (FASE 2003), volume 2621 of Lecture Notes in Computer Science. Springer-Verlag, 2003.
16. E. Mikk, Y. Lakhnech, and M. Siegel. Hierarchical automata as model for statecharts. In R. Shyamasundar and K. Euda, editors, Third Asian Computing Science Conference. Advances in Computing Sience - ASIAN'97, volume 1345 of Lecture Notes in Computer Science, pages 181-196. Springer-Verlag, 1997.
17. Object Management Group, Inc. OMG Unified Modeling Language Specification - version 1.5, 2003. http://www.omg.org/cgi-bin/doc?formal/03-03-01.
18. M. von der Beeck. A structured operational semantics for UML-statecharts. Software Systems Modeling. Springer, (1):130-141, 2002.
19. R. Wieringa and J. Broersen. A minimal transition system semantics for lightweight class and behavior diagrams. In M. Broy, D. Coleman, T. Maibaum, and B. Rumpe, editors, Proceedings of the ICSE98 Workshop on Precise Semantics for Software Modeling techniques, 1998.