Abstract
As UML 2.0 is evolving into a family of languages with individually specified semantics, there is an increasing need for automated and provenly correct model transformations that (i) assure the integration of local views (different diagrams) of the system into a consistent global view, and, (ii) provide a well-founded mapping from UML models to different semantic domains (Petri nets, Kripke automaton, process algebras, etc.) for formal analysis purposes as foreseen, for instance, in submissions for the OMG RFP for Schedulability, Performance and Time. However, such transformations into different semantic domains typically require the deep understanding of the underlying mathematics, which hinders the use of formal specification techniques in industrial applications. In the paper, we propose a multilevel metamodeling technique with precise static and dynamic semantics (based on a refinement calculus and graph transformation) where the structure and operational semantics of mathematical models can be defined in a UML notation without cumbersome mathematical formulae.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Petri Net Markup Language. http://www.informatik.hu-berlin.de/top/pnml
Akehurst, D.: Model Translation: A UML-based specification technique and active implementation approach. Ph.D. thesis, University of Kent, Canterbury, 2000
Akehurst, D., Kent, S.: A relational approach to defining transformations in a metamodel. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications, LNCS, vol. 2460. Springer-Verlag, Dresden, Germany, 2002, pp. 243–258
Alvarez, J., Evans, A., Sammut, P.: Mapping between levels in the metamodel architecture. In: Gogolla, M., Kobryn, C. (eds.) Proc. UML 2001 – The Unified Modeling Language. Modeling Languages, Concepts and Tools, LNCS, vol. 2185. Springer, 2001, pp. 34–46
Atkinson, C., Kühne, T.: The essence of multilevel metamodelling. In: Gogolla, M., Kobryn, C. (eds.) Proc. UML 2001 – The Unified Modeling Language. Modeling Languages, Concepts and Tools, LNCS, vol. 2185. Springer, 2001, pp. 19–33
Atkinson, C., Kühne, T., Henderson-Sellers, B.: Stereotypical encounters of the third kind. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications, LNCS, vol. 2460. Springer, Dresden, Germany, 2002, pp. 100–114
Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., Savoia, G.: Dependability analysis in the early phases of UML based system design. International Journal of Computer Systems - Science & Engineering, 16(5): 265–275, 2001
Bondavalli, A., Majzik, I., Mura, I.: Automatic dependability analyses for supporting design decisions in UML. In: Proc. HASE’99: The 4th IEEE International Symposium on High Assurance Systems Engineering. 1999, pp. 64–71
Clark, T., Evans, A., Kent, S.: The Metamodelling Language Calculus: Foundation semantics for UML. In: Hussmann, H. (ed.) Proc. Fundamental Approaches to Software Engineering, FASE 2001 Genova, Italy, LNCS, vol. 2029. Springer, 2001, pp. 17–31
Cousot, P., Cousot, R.: Systematic design of program transformation frameworks by abstract interpretation. In: Conference Record of the Twentyninth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, New York, NY, Portland, Oregon, 2002, pp. 178–190
Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varró, D.: VIATRA: Visual automated transformations for formal verification and validation of UML models. In: Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering. IEEE Press, Edinburgh, UK, 2002, pp. 267–270
Csertán, G., Pataricza, A., Harang, P., Dobán, O., Biros, G., Dancsecz, A., Friedler, F.: BPM based robust E-Business application development. In: Proc EDCC-4 Fourth European Dependable Computing Conference, LNCS, vol. 2485. Springer, Toulouse, France, 2002, pp. 32–43
Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook on Graph Grammars and Computing by Graph Transformation, vol. 2: Applications, Languages and Tools. World Scientific, 1999
Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000 – The Unified Modeling Language. Advancing the Standard, LNCS, vol. 1939. Springer, 2000, pp. 323–337
Engels, G., Heckel, R., Küster, J.M.: Rule-based specification of behavioral consistency based on the UML meta-model. In: Gogolla, M., Kobryn, C. (eds.) UML 2001: The Unified Modeling Language. Modeling Languages, Concepts and Tools, LNCS, vol. 2185. Springer, 2001, pp. 272–286
Heckel, R., Küster, J., Taentzer, G.: Towards automatic translation of UML models into semantic domains. In: Proc. AGT 2002: Workshop on Applied Graph Transformation. Grenoble, France, 2002, pp. 11–21
Huszerl, G., Majzik, I.: Quantitative analysis of dependability critical systems based on UML statechart models. In: HASE 2000, Fifth IEEE International Symposium on High Assurance Systems Engineering. 2000, pp. 83–92
Kobryn, C.: UML 2001: A standardization Odyssey. Communications of the ACM, 42(10), 1999
Latella, D., Majzik, I., Massink, M.: Automatic verification of UML statechart diagrams using the SPIN model-checker. Formal Aspects of Computing, 11(6): 637–664, 1999
Ledeczi, A.:, Maroti, M., Bakay, A., Karsai, G., Garrett, J., Thomason, C., Nordstrom, G., Sprinkle, J., Volgyesi, P.: The Generic Modeling Environment. In: Proc. Workshop on Intelligent Signal Processing. 2001
Naumenko, A., Wegmann, A.: A metamodel for the unified modeling language. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications, LNCS, vol. 2460. Springer, Dresden, Germany, 2002, pp. 2–17
Object Management Group. Software Process Engineering Metamodel (SPEM). http://www.omg.org
Object Management Group. UML Profile for Enterprise Distributed Object Computing (EDOC). http://www.omg.org
Object Management Group. UML Profile for Schedulability, Performance and Time. http://www.omg.org
Object Management Group. Meta Object Facility Version 1.3, 1999. http://www.omg.org
Object Management Group. Model Driven Architecture – A Technical Perspective, 2001. http://www.omg.org
Object Management Group. Object Constraint Language Specification (in UML 1.4), 2001. http://www.omg.org
Övergaard, G.: Formal specification of object-oriented meta-modelling. In: Maibaum, T. (ed.) Proc. Fundamental Approaches to Software Engineering (FASE 2000), Berlin, Germany, LNCS, vol. 1783. Springer, 2000
Pap, Z., Majzik, I., Pataricza, A.: Checking general safety criteria on UML statecharts. In: Voges, U. (ed.) Computer Safety, Reliability and Security (Proc. 20th Int. Conf., SAFECOMP-2001), LNCS, vol. 2187. Springer, 2001, pp. 46–55
Pataricza, A.: Semi-decisions in the validation of dependable systems. In: Suppl. Proc. DSN 2001: The International IEEE Conference on Dependable Systems and Networks. Göteborg, Sweden, 2001, pp. 114–115
Pataricza, A.: From the general resource model to a general fault modeling paradigm? In: Workshop on Critical Systems Development with UML at UML 2002. Dresden, Germany, 2002
Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformations: Foundations. World Scientific, 1997
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, 1999
Schürr, A., Sim, S.E., Holt, R., Winter, A.: The GXL Graph eXchange Language. http://www.gupro.de/GXL/
Schürr, A., Winter, A.J., Zündorf, A.: In: [13], chap. The PROGRES Approach: Language and Environment. World Scientific, 1999, pp. 487–550
Singh, A., Billington, J.: A formal service specification for IIOP based on ISO/IEC 14752. In: Jacobs, B., Rensink, A. (eds.) Proc. Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002). Kluwer, Enschede, The Netherlands, 2002, pp. 111–126
Taentzer, G.: Towards common exchange formats for graphs and graph transformation systems. In: Padberg, J. (ed.) UNIGRA 2001: Uniform Approaches to Graphical Process Specification Techniques, ENTCS, vol. 44(4). 2001
U2-Partners. UML: Infrastructure v. 2.0 (Third revised proposal), 2003. http://www.u2-partners.org/artifacts.htm
Varró, D.: Automatic program generation for and by model transformation systems. In: Kreowski, H.-J., Knirsch, P. (eds.) Proc. AGT 2002: Workshop on Applied Graph Transformation. Grenoble, France, 2002, pp. 161–173
Varró, D.: A formal semantics of UML Statecharts by model transition systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Proc. ICGT 2002: 1st International Conference on Graph Transformation, LNCS, vol. 2505. Springer-Verlag, Barcelona, Spain, 2002, pp. 378–392
Varró, D., Gyapay, S., Pataricza, A.: Automatic transformation of UML models for system verification. In: Aranjo, J., Whittle, J., Toval, A., France, R., Moreira, A. (eds.) WTUML’01: Workshop on Transformations in UML. Genova, Italy, 2001, pp. 123–127
Varró, D., Pataricza, A.: Metamodeling mathematics: A precise and visual framework for describing semantics domains of UML models. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications, LNCS, vol. 2460. Springer-Verlag, Dresden, Germany, 2002, pp. 18–33
Varró, D., G. Varró, Pataricza, A.: Designing the automatic transformation of visual languages. Science of Computer Programming, 44(2): 205–227, 2002
Whittle, J.: Transformations and software modeling languages: Automating transformations in UML. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications, LNCS, vol. 2460. Springer-Verlag, Dresden, Germany, 2002, pp. 227–242
World Wide Web Consortium. MathML 2.0. http://www.w3c.org/Math
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
About this article
Cite this article
Varró, D., Pataricza, A. VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics). Softw Syst Model 2, 187–210 (2003). https://doi.org/10.1007/s10270-003-0028-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10270-003-0028-8