{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:13:23Z","timestamp":1771697603499,"version":"3.50.1"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1007\/s10270-003-0028-8","type":"journal-article","created":{"date-parts":[[2003,12,11]],"date-time":"2003-12-11T01:07:35Z","timestamp":1071104855000},"page":"187-210","source":"Crossref","is-referenced-by-count":61,"title":["VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics)"],"prefix":"10.1007","volume":"2","author":[{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"first","affiliation":[]},{"given":"Andr\u00e1s","family":"Pataricza","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,10,1]]},"reference":[{"key":"28_CR1","unstructured":"Petri Net Markup Language. http:\/\/www.informatik.hu-berlin.de\/top\/pnml"},{"key":"28_CR2","unstructured":"Akehurst, D.: Model Translation: A UML-based specification technique and active implementation approach. Ph.D. thesis, University of Kent, Canterbury, 2000"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Akehurst, D., Kent, S.: A relational approach to defining transformations in a metamodel. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) Proc. Fifth International Conference on the Unified Modeling Language \u2013 The Language and its Applications, LNCS, vol. 2460. Springer-Verlag, Dresden, Germany, 2002, pp. 243\u2013258","DOI":"10.1007\/3-540-45800-X_20"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Alvarez, J., Evans, A., Sammut, P.: Mapping between levels in the metamodel architecture. In: Gogolla, M., Kobryn, C. (eds.) Proc. UML 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts and Tools, LNCS, vol. 2185. Springer, 2001, pp. 34\u201346","DOI":"10.1007\/3-540-45441-1_4"},{"key":"28_CR5","unstructured":"Atkinson, C., K\u00fchne, T.: The essence of multilevel metamodelling. In: Gogolla, M., Kobryn, C. (eds.) Proc. UML 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts and Tools, LNCS, vol. 2185. Springer, 2001, pp. 19\u201333"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Atkinson, C., K\u00fchne, T., Henderson-Sellers, B.: Stereotypical encounters of the third kind. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) Proc. Fifth International Conference on the Unified Modeling Language \u2013 The Language and its Applications, LNCS, vol. 2460. Springer, Dresden, Germany, 2002, pp. 100\u2013114","DOI":"10.1007\/3-540-45800-X_9"},{"key":"28_CR7","unstructured":"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\u2013275, 2001"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Bondavalli, A., Majzik, I., Mura, I.: Automatic dependability analyses for supporting design decisions in UML. In: Proc. HASE\u201999: The 4th IEEE International Symposium on High Assurance Systems Engineering. 1999, pp. 64\u201371","DOI":"10.1109\/HASE.1999.809476"},{"key":"28_CR9","unstructured":"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\u201331"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"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\u2013190","DOI":"10.1145\/565816.503290"},{"key":"28_CR11","first-page":"17th","volume":"2002","author":"Csert\u00e1n,","year":"2002","unstructured":"Csert\u00e1n, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varr\u00f3, 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\u2013270","journal-title":"ASE"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Csert\u00e1n, G., Pataricza, A., Harang, P., Dob\u00e1n, 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\u201343","DOI":"10.1007\/3-540-36080-8_4"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1142\/4180"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"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 \u2013 The Unified Modeling Language. Advancing the Standard, LNCS, vol. 1939. Springer, 2000, pp. 323\u2013337","DOI":"10.1007\/3-540-40011-7_23"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Engels, G., Heckel, R., K\u00fcster, 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\u2013286","DOI":"10.1007\/3-540-45441-1_21"},{"key":"28_CR16","first-page":"Workshop","volume":"2002","author":"Heckel,","year":"2002","unstructured":"Heckel, R., K\u00fcster, 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\u201321","journal-title":"AGT"},{"key":"28_CR17","unstructured":"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\u201392"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Kobryn, C.: UML 2001: A standardization Odyssey. Communications of the ACM, 42(10), 1999","DOI":"10.1145\/317665.317673"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"Latella, D., Majzik, I., Massink, M.: Automatic verification of UML statechart diagrams using the SPIN model-checker. Formal Aspects of Computing, 11(6): 637\u2013664, 1999","DOI":"10.1007\/s001659970003"},{"key":"28_CR20","unstructured":"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"},{"key":"28_CR21","doi-asserted-by":"crossref","unstructured":"Naumenko, A., Wegmann, A.: A metamodel for the unified modeling language. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) Proc. Fifth International Conference on the Unified Modeling Language \u2013 The Language and its Applications, LNCS, vol. 2460. Springer, Dresden, Germany, 2002, pp. 2\u201317","DOI":"10.1007\/3-540-45800-X_2"},{"key":"28_CR22","unstructured":"Object Management Group. Software Process Engineering Metamodel (SPEM). http:\/\/www.omg.org"},{"key":"28_CR23","unstructured":"Object Management Group. UML Profile for Enterprise Distributed Object Computing (EDOC). http:\/\/www.omg.org"},{"key":"28_CR24","unstructured":"Object Management Group. UML Profile for Schedulability, Performance and Time. http:\/\/www.omg.org"},{"key":"28_CR25","doi-asserted-by":"crossref","unstructured":"Object Management Group. Meta Object Facility Version 1.3, 1999. http:\/\/www.omg.org","DOI":"10.1007\/978-1-4899-7993-3_914-2"},{"key":"28_CR26","unstructured":"Object Management Group. Model Driven Architecture \u2013 A Technical Perspective, 2001. http:\/\/www.omg.org"},{"key":"28_CR27","unstructured":"Object Management Group. Object Constraint Language Specification (in UML 1.4), 2001. http:\/\/www.omg.org"},{"key":"28_CR28","doi-asserted-by":"crossref","unstructured":"\u00d6vergaard, 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","DOI":"10.1007\/3-540-46428-X_14"},{"key":"28_CR29","doi-asserted-by":"crossref","unstructured":"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\u201355","DOI":"10.1007\/3-540-45416-0_5"},{"key":"28_CR30","first-page":"The","volume":"2001","author":"Pataricza,","year":"2001","unstructured":"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\u00f6teborg, Sweden, 2001, pp. 114\u2013115","journal-title":"DSN"},{"key":"28_CR31","unstructured":"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"},{"key":"28_CR32","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformations: Foundations. World Scientific, 1997","DOI":"10.1142\/3303"},{"key":"28_CR33","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, 1999"},{"key":"28_CR34","unstructured":"Sch\u00fcrr, A., Sim, S.E., Holt, R., Winter, A.: The GXL Graph eXchange Language. http:\/\/www.gupro.de\/GXL\/"},{"key":"28_CR35","first-page":"Language","volume":"Approach","author":"Sch\u00fcrr,","year":"1999","unstructured":"Sch\u00fcrr, A., Winter, A.J., Z\u00fcndorf, A.: In: [13], chap. The PROGRES Approach: Language and Environment. World Scientific, 1999, pp. 487\u2013550","journal-title":"The PROGRES"},{"key":"28_CR36","doi-asserted-by":"crossref","unstructured":"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\u2013126","DOI":"10.1007\/978-0-387-35496-5_9"},{"key":"28_CR37","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1016\/S1571-0661(04)80941-1"},{"key":"28_CR38","unstructured":"U2-Partners. UML: Infrastructure v. 2.0 (Third revised proposal), 2003. http:\/\/www.u2-partners.org\/artifacts.htm"},{"key":"28_CR39","first-page":"Workshop","volume":"2002","author":"Varr\u00f3,","year":"2002","unstructured":"Varr\u00f3, 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\u2013173","journal-title":"AGT"},{"key":"28_CR40","first-page":"1st","volume":"2002","author":"Varr\u00f3,","year":"2002","unstructured":"Varr\u00f3, 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\u2013392","journal-title":"ICGT"},{"key":"28_CR41","unstructured":"Varr\u00f3, 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\u201901: Workshop on Transformations in UML. Genova, Italy, 2001, pp. 123\u2013127"},{"key":"28_CR42","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Pataricza, A.: Metamodeling mathematics: A precise and visual framework for describing semantics domains of UML models. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) Proc. Fifth International Conference on the Unified Modeling Language \u2013 The Language and its Applications, LNCS, vol. 2460. Springer-Verlag, Dresden, Germany, 2002, pp. 18\u201333","DOI":"10.1007\/3-540-45800-X_3"},{"key":"28_CR43","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., G. Varr\u00f3, Pataricza, A.: Designing the automatic transformation of visual languages. Science of Computer Programming, 44(2): 205\u2013227, 2002","DOI":"10.1016\/S0167-6423(02)00039-4"},{"key":"28_CR44","unstructured":"Whittle, J.: Transformations and software modeling languages: Automating transformations in UML. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) Proc. Fifth International Conference on the Unified Modeling Language \u2013 The Language and its Applications, LNCS, vol. 2460. Springer-Verlag, Dresden, Germany, 2002, pp. 227\u2013242"},{"key":"28_CR45","unstructured":"World Wide Web Consortium. MathML 2.0. http:\/\/www.w3c.org\/Math"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0028-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-003-0028-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0028-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0028-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,14]],"date-time":"2024-12-14T16:44:08Z","timestamp":1734194648000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-003-0028-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,10]]}},"alternative-id":["28"],"URL":"https:\/\/doi.org\/10.1007\/s10270-003-0028-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}