VPM: A visual,precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics) |
| |
Authors: | Varró Dániel Pataricza András |
| |
Affiliation: | (1) Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar tudósok körútja 2, H-1521 Budapest, Hungary |
| |
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. |
| |
Keywords: | Metamodeling Formal semantics Refinement Model transformation Graph transformation |
本文献已被 SpringerLink 等数据库收录! |
|