On mobility extensions of UML Statecharts. A pragmatic approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2884, Issue , 2003, Pages 199-213

  Latella, Diego ^a   Massink, Mieke ^a  

^a ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS;

COMMUNICATION ACTIONS; COMMUNICATION PARADIGM; FAULT TOLERANT SYSTEMS; INPUT QUEUE; MODELING MOBILITIES; STATE CHARTS; UML STATECHARTS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0344118795     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39958-2_14     Document Type: Article

References (15)

1. 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.
2. P. Denning. Fault tolerant operating systems. ACM Computing Surveys, 8(4):359-389, 1976.
3. G. Ferrari, S. Gnesi, U. Montanari, M. Pistore, and G. Ris tori. Verifying mobile processes in the HAL environment. In A. Hu and M. Vardi, editors, Computer Aided Verification, volume 1427 of Lecture Notes in Computer Science. Springer-Verlag, 1998.
4. 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.
5. G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, 1997.
6. D. Latella, I. Majzik, and M. Massink. 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. Springer-Verlag, 11(6):637-664, 1999.
7. 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.
8. D. Latella and M. Massink. Relating testing and conformance relations for UML Statechart Diagrams Behaviours. Technical Report CNUCE-B4-2002-001, Consiglio Nazionale delle Ricerche, Istituto CNUCE, 2002. (Full version).
9. D. Latella and M. Massink. 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.
10. 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.
11. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Information and Computation, 100(1):1-77, 1992. Parts 1-2.
12. Object Management Group, Inc. OMG Unified Modeling Language Specification - version 1.3, 1999.
13. J. Philipps and P. Scholz. Compositional specification of embedded systems with statecharts. In M. Bidoit and M. Dauchet, editors, TAPSOFT '97: Theory and Practice in Software Development, volume 1214 of Lecture Notes in Computer Science, pages 637-651. Springer-Verlag, 1997.
14. P. Scholz and D. Nazareth. Communication concepts for statecharts: A semantic foundation. In M. Bertran and T. Rus, editors, Transformation-based Reactive Systems Development, volume 1231 of Lecture Notes in Computer Science, pages 126-140. Springer-Verlag, 1997.
15. M. von der Beeck. A structured operational semantics for UML-statecharts. Software Systems Modeling. Springer, (1):130-141, 2002.