ABSTRACT
The UML notation provides multiple diagrams for specifying the behavior of systems including state machine diagrams. However, its definition has not been formalized which prohibits the verification of correct behavior of the modeled systems. The pi-calculus has a rich theory and tools which make it possible to analyze and verify any system. Thus, mapping UML state machine diagrams into the pi-calculus could improve the verification task of these behavioral diagrams, but a more promising way is to directly build a pi-calculus model, to check it and then automatically map it to a UML state machine model. To do so, we need a mechanism which supports such tasks. We have chosen in our work the Triple Graph Grammars (TGGs) to develop an automatic bidirectional mapping between UML state machine diagrams and pi-calculus
- OMG. 2010. Unified Modeling Language, Superstructure, v2.3 (May 2010), http://www.omg.org/Google Scholar
- Milner, R.: Communicating and Mobile Systems: The pi-calculus. Cambridge University, 1999. Google ScholarDigital Library
- Schurr, A. 1994. Specification of Graph Translators with Triple Graph Grammars. In G. Tinhofer, editor, WG'94 20th Int. Workshop on Graph-Theoretic Concepts in Computer Science, volume 903 of Lecture Notes in Computer Science (LNCS), pages 151--163, Heidelberg, Springer Verlag. Google ScholarDigital Library
- Lam, V. S. W., Padget, J. 2006. A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams. Technical Report 2006-04, Department of Computer Science, University of Bath.Google Scholar
- Joel Greenyer, Jan Rieke. 2012. Applying Advanced TGG concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata", A. Schurr, D. Varró, and G. Varró (Eds.): AGTIVE 2011, LNCS 7233, pp. 222--237, Springer. Google ScholarDigital Library
- Schürr, A., Klar, F. 2008. 15 years of triple graph grammars. In: Int. Conf. on Graph Transformations. In ICGT 2008, LNCS, vol. 5214, Springer. Google ScholarDigital Library
- Kindler, E., Wagner, R. 2007. Triple graph grammars. concepts, extensions, implementations, and application scenarios.Tech. Rep. TR-ri-07-284, Department of Computer Science, University of Paderborn.Google Scholar
Index Terms
- A TGG Approach for Bidirectional Automatic Mapping between UML and pi-calculus
Recommendations
Capturing and Verifying Dynamic Program Behaviour Using UML Communication Diagrams and Pi-Calculus
IRI '15: Proceedings of the 2015 IEEE International Conference on Information Reuse and IntegrationUML is a semi-formal modeling language for object oriented systems. It is successfully used to assist all phases of software development process. With growing support by CASE tools, its applications become more and more widespread in real word projects. ...
A New Approach for Generating LOTOS Specifications from UML Dynamic Models
C3S2E '15: Proceedings of the Eighth International C* Conference on Computer Science & Software EngineeringThe use of UML Statechart and Communication diagrams for modeling dynamic behaviors of systems is very widespread. UML diagrams support developers by means of visual conceptual illustrations. However, the lacks of firm semantics for these diagrams make ...
Specifying behavioral semantics of UML diagrams through graph transformations
The Unified Modeling Language (UML) has been widely accepted as a standard for modeling software systems from various perspectives. The intuitive notations of UML diagrams greatly improve the communication among developers. However, the lack of a formal ...
Comments