{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T20:32:49Z","timestamp":1759091569148},"reference-count":88,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2008,12,17]],"date-time":"2008-12-17T00:00:00Z","timestamp":1229472000000},"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":[[2009,9]]},"DOI":"10.1007\/s10270-008-0105-0","type":"journal-article","created":{"date-parts":[[2008,12,16]],"date-time":"2008-12-16T08:28:29Z","timestamp":1229416109000},"page":"451-478","source":"Crossref","is-referenced-by-count":42,"title":["Formalizing the structural semantics of domain-specific modeling languages"],"prefix":"10.1007","volume":"8","author":[{"given":"Ethan","family":"Jackson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janos","family":"Sztipanovits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,12,17]]},"reference":[{"key":"105_CR1","volume-title":"Compilers: Princiles, Techniques, and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho A.V., Sethi R., Ullman J.D.: Compilers: Princiles, Techniques, and Tools. Addison-Wesley, Reading (1986)"},{"key":"105_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren\u2019s Abstract Machine: A Tutorial Reconstruction","author":"H. A\u00cfT-KACI","year":"1991","unstructured":"A\u00cfT-KACI H.: Warren\u2019s Abstract Machine: A Tutorial Reconstruction. MIT Press, Cambridge (1991)"},{"key":"105_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. In: Proceedings of the International Conference on Software Engineering (ICSE 00) (2000), pp. 304\u2013313","DOI":"10.1145\/337180.337215"},{"issue":"10","key":"105_CR4","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/1167515.1167479","volume":"41","author":"C. Andreae","year":"2006","unstructured":"Andreae C., Noble J., Markstrum S., Millstein T.: A framework for implementing pluggable type systems. SIGPLAN Not. 41(10), 57\u201374 (2006)","journal-title":"SIGPLAN Not."},{"issue":"5","key":"105_CR5","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MS.2003.1231149","volume":"20","author":"C. Atkinson","year":"2003","unstructured":"Atkinson C., K\u00fchne T.: Model-driven development: A metamodeling foundation. IEEE Softw. 20(5), 36\u201341 (2003)","journal-title":"IEEE Softw."},{"key":"105_CR6","doi-asserted-by":"crossref","unstructured":"Banach, R., Fraser, S.: Retrenchment and the b-toolkit. In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users (April 2005), pp. 203\u2013221","DOI":"10.1007\/11415787_13"},{"issue":"1","key":"105_CR7","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A. Benveniste","year":"2003","unstructured":"Benveniste A., Caspi P., Edwards S., Halbwachs N., Guernic P.L., de Simone R.: The synchronous languages twelve years later. Proc. IEEE 91(1), 64\u201383 (2003)","journal-title":"Proc. IEEE"},{"key":"105_CR8","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin, J., Gerb\u00e9, O.: Towards a precise definition of the omg\/mda framework. In: Proceedings of the 16th Conference on Automated Software Engineering (ASE 01) (2001), pp. 273\u2013280","DOI":"10.1109\/ASE.2001.989813"},{"key":"105_CR9","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E.: Unsolvable decision problems for prolog programs. In Computation theory and logic (London, UK, 1987), pp. 37\u201348. Springer, Heidelberg","DOI":"10.1007\/3-540-18170-9_152"},{"issue":"2","key":"105_CR10","first-page":"152","volume":"9","author":"A.D. Brucker","year":"2003","unstructured":"Brucker A.D., Rittinger F., Wolff B.: HOL-Z 2.0: A proof environment for Z-specifications. J. Universal Comp. Sci. 9(2), 152\u2013172 (2003)","journal-title":"J. Universal Comp. Sci."},{"key":"105_CR11","unstructured":"Burch, J., Passerone, R., Modeling, A.S.-V.: techniques in design-by-refinement methodologies. In: Integrated Design and Process Technology (June 2002)"},{"key":"105_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S.N. Burris","year":"1981","unstructured":"Burris S.N., Sankappanavar H.P.: A Course in Universal Algebra. Springer, Heidelberg (1981)"},{"key":"105_CR13","doi-asserted-by":"crossref","unstructured":"Carnes, J.R., Misra, A., Sztipanovits, J.: Model-integrated toolset for fault detection, isolation and recovery (fdir). In: ECBS \u201996: Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (Washington, DC, USA, 1996). IEEE Computer Society, New York, p. 356","DOI":"10.1109\/ECBS.1996.494561"},{"key":"105_CR14","unstructured":"Chan, D.: An extension of constructive negation and its application in coroutining. In: Proceedings of NACLP. The MIT Press, Cambridge, pp. 447\u2013493 (1989)"},{"key":"105_CR15","doi-asserted-by":"crossref","unstructured":"Chen, K., Sztipanovits, J., Neema, S., Emerson, M., Abdelwahed, S.: Toward a semantic anchoring infrastructure for domain-specific modeling languages. In: Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT\u201905) (September 2005)","DOI":"10.1145\/1086228.1086236"},{"issue":"2","key":"105_CR16","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/S0019-9958(59)90362-6","volume":"2","author":"N. Chomsky","year":"1959","unstructured":"Chomsky N.: On certain formal properties of grammars. Inf. Control 2(2), 137\u2013167 (1959)","journal-title":"Inf. Control"},{"key":"105_CR17","doi-asserted-by":"crossref","unstructured":"Colmerauer, A., Roussel, P.: The birth of prolog. In: HOPL Preprints, pp. 37\u201352 (1993)","DOI":"10.1145\/154766.155362"},{"key":"105_CR18","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: ASE (2002), pp. 267\u2013270"},{"issue":"3","key":"105_CR19","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki K., Helsen S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45(3), 621\u2013645 (2006)","journal-title":"IBM Syst. J."},{"issue":"3","key":"105_CR20","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E. Dantsin","year":"2001","unstructured":"Dantsin E., Eiter T., Gottlob G., Voronkov A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"105_CR21","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface-based design. In: Engineering Theories of Software Intensive Systems, proceedings of the Marktoberdorf Summer School. Kluwer, Dordrecht (2004)","DOI":"10.21236\/ADA461347"},{"issue":"2","key":"105_CR22","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1006\/jcss.2001.1790","volume":"64","author":"F. Drewes","year":"2002","unstructured":"Drewes F., Hoffmann B., Plump D.: Hierarchical graph transformation. J. Comput. Syst. Sci. 64(2), 249\u2013283 (2002)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1","key":"105_CR23","first-page":"31","volume":"74","author":"H. Ehrig","year":"2006","unstructured":"Ehrig H., Ehrig K., Prange U., Taentzer G.: Fundamental theory for typed attributed graphs and graph transformation based on adhesive hlr categories. Fundam. Inf. 74(1), 31\u201361 (2006)","journal-title":"Fundam. Inf."},{"key":"105_CR24","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graph transformation. In: ICGT, pp. 161\u2013177 (2004)","DOI":"10.1007\/978-3-540-30203-2_13"},{"issue":"10","key":"105_CR25","first-page":"1357","volume":"10","author":"M. Emerson","year":"2004","unstructured":"Emerson M., Sztipanovits J., Bapty T.: A mof-based metamodeling environment. J. Universal Comp. Sci. 10(10), 1357\u20131382 (2004)","journal-title":"J. Universal Comp. Sci."},{"issue":"10","key":"105_CR26","first-page":"1357","volume":"10","author":"M.J. Emerson","year":"2004","unstructured":"Emerson M.J., Sztipanovits J., Bapty T.: A mof-based metamodeling environment. J. UCS 10(10), 1357\u20131382 (2004)","journal-title":"J. UCS"},{"key":"105_CR27","unstructured":"Evans, A., France, R.B., Grant, E.S.: Towards formal reasoning with uml models. In: Proceedings of the Eighth OOPSLA Workshop on Behavioral Semantics"},{"key":"105_CR28","doi-asserted-by":"crossref","unstructured":"Farrow, R., Marlowe, T.J., Yellin, D.M.: Composable attribute grammars: support for modularity in translator design and implementation. In: POPL \u201992: Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 223\u2013234 (1992)","DOI":"10.1145\/143165.143210"},{"issue":"3","key":"105_CR29","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1145\/356674.356676","volume":"8","author":"L.D. Fosdick","year":"1976","unstructured":"Fosdick L.D., Osterweil L.J.: Data flow analysis in software reliability. ACM Comput. Surv. 8(3), 305\u2013330 (1976)","journal-title":"ACM Comput. Surv."},{"key":"105_CR30","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, pp. 1070\u20131080 (1988)"},{"key":"105_CR31","unstructured":"Generic Modeling Framework Team. GMF Documentation, http:\/\/wiki.eclipse.org\/ , 2007"},{"key":"105_CR32","doi-asserted-by":"crossref","unstructured":"Girschick, M., K\u00fchne, T., Klar, F.: Generating systems from multiple levels of abstraction. In: Proceedings of the Trends in Enterprise Application Architecture (TEAA 2006), pp. 127\u2013141 (2006)","DOI":"10.1007\/978-3-540-75912-6_10"},{"key":"105_CR33","doi-asserted-by":"crossref","unstructured":"G\u00f6ssler, G., Graf, S., Majster-Cederbaum, M.E., Martens, M., Sifakis, J.: Ensuring properties of interaction systems. In: Program Analysis and Compilation, pp. 201\u2013224 (2006)","DOI":"10.1007\/978-3-540-71322-7_10"},{"issue":"2","key":"105_CR34","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/s10009-005-0213-x","volume":"8","author":"S. Graf","year":"2006","unstructured":"Graf S., Ober I., Ober I.: A real-time profile for uml. STTT 8(2), 113\u2013127 (2006)","journal-title":"STTT"},{"key":"105_CR35","doi-asserted-by":"crossref","unstructured":"Gray, J.G., Roychoudhury, S.: A technique for constructing aspect weavers using a program transformation engine. In: AOSD, pp. 36\u201345 (2004)","DOI":"10.1145\/976270.976277"},{"key":"105_CR36","doi-asserted-by":"crossref","unstructured":"Greenfield, J.: Using domain-specific languages, patterns, frameworks, and tools to assemble applications. In: SPLC, p. 324 (2004)","DOI":"10.1007\/978-3-540-28630-1_36"},{"key":"105_CR37","doi-asserted-by":"crossref","unstructured":"Hamon, G., Rushby, J.: An operational semantics for stateflow. In: Proceedings of the conference on Fundamental Approaches to Software Engineering (FASE\u201904). LNCS, vol. 2984, pp. 229\u2013243 (2005)","DOI":"10.1007\/978-3-540-24721-0_17"},{"key":"105_CR38","doi-asserted-by":"crossref","unstructured":"Harel, D., Kugler, H.: The rhapsody semantics of statecharts (or, on the executable core of the uml)\u2014preliminary version. In: SoftSpez Final Report, pp. 325\u2013354 (2004)","DOI":"10.1007\/978-3-540-27863-4_19"},{"key":"105_CR39","doi-asserted-by":"crossref","unstructured":"Harel, D., Kugler, H., Pnueli, A.: Synthesis revisited: Generating statechart models from scenario-based requirements. In: Formal Methods in Software and Systems Modeling, pp. 309\u2013324 (2005)","DOI":"10.1007\/978-3-540-31847-7_18"},{"issue":"4","key":"105_CR40","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel D., Naamad A.: The statemate semantics of statecharts. ACM Trans. Softw. Eng. Methodol. 5(4), 293\u2013333 (1996)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"10","key":"105_CR41","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D. Harel","year":"2004","unstructured":"Harel D., Rumpe B.: Meaningful modeling: What\u2019s the semantics of \u201csemantics\u201d?. IEEE Comp. 37(10), 64\u201372 (2004)","journal-title":"IEEE Comp."},{"key":"105_CR42","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the International Conference on Logic in Computer Science (LICS 96), pp. 278\u2013292 (1996)","DOI":"10.1109\/LICS.1996.561342"},{"issue":"1","key":"105_CR43","first-page":"50","volume":"2","author":"T.A. Henzinger","year":"2003","unstructured":"Henzinger T.A., Kirsch C.M., Sanvido M.A., Pree W.: From control models to real-time code using giotto. Control Syst. Magaz. 2(1), 50\u201364 (2003)","journal-title":"Control Syst. Magaz."},{"key":"105_CR44","unstructured":"Institute For Software Integrated Systems. GME 5 User\u2019s Guide, http:\/\/www.isis.vanderbilt.edu\/ , 2005"},{"key":"105_CR45","unstructured":"Jackson, D.: A comparison of object modelling notations: Alloy, uml and z. Tech. rep., August 1999"},{"key":"105_CR46","doi-asserted-by":"crossref","unstructured":"Jackson, D.: Automating first-order relational logic. In: SIGSOFT FSE, pp. 130\u2013139 (2000)","DOI":"10.1145\/355045.355063"},{"key":"105_CR47","unstructured":"Jackson, E., Schulte, W., Sztipanovits, J.: The power of rich syntax for model-based deveopment. Tech. Rep. MSR-TR-2008-86 ftp:\/\/ftp.research.microsoft.com\/pub\/tr\/TR-2008-86.pdf (2008)"},{"key":"105_CR48","doi-asserted-by":"crossref","unstructured":"Jackson, E., Sztipanovits, J.: Constructive techniques for meta- and model-level reasoning. In: Proceedings of MODELS\u201907","DOI":"10.1007\/978-3-540-75209-7_28"},{"key":"105_CR49","doi-asserted-by":"crossref","unstructured":"Jackson, E.K., Schulte, W.: Compositional modeling for data-centric business applications. In: Proceedings of the Workshop on Software Engineering (SC 2008) (2008)","DOI":"10.1007\/978-3-540-78789-1_15"},{"key":"105_CR50","doi-asserted-by":"crossref","unstructured":"Jackson, E.K., Schulte, W.: Model generation for horn logic with stratified negation. In: Proceedings of the IFIP WG 6.1 International Conference Formal Techniques for Networked and Distributed Systems (FORTE 2008), pp. 1\u201320 (2008)","DOI":"10.1007\/978-3-540-68855-6_1"},{"key":"105_CR51","doi-asserted-by":"crossref","unstructured":"Jackson, E.K., Sztipanovits, J.: Correct-ed through construction: A model-based approach to embedded systems reality. In: ECBS, pp. 164\u2013176 (2006)","DOI":"10.1109\/ECBS.2006.32"},{"key":"105_CR52","doi-asserted-by":"crossref","unstructured":"Jackson, E.K., Sztipanovits, J.: Constructive techniques for meta- and model-level reasoning. In: Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2007), pp. 405\u2013419 (2007)","DOI":"10.1007\/978-3-540-75209-7_28"},{"key":"105_CR53","unstructured":"Jouault, F., B\u00e9zivin, J.: Km3: A dsl for metamodel specification. In: FMOODS (2006), pp. 171\u2013185"},{"key":"105_CR54","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J.: Sound methods and effective tools for model-based security engineering with uml. In: ICSE \u201905: Proceedings of the 27th international conference on Software engineering (New York, NY, USA, 2005), pp. 322\u2013331. ACM Press, New York","DOI":"10.1145\/1062455.1062519"},{"key":"105_CR55","unstructured":"Kahn, G., MacQueen, D.B.: Coroutines and networks of parallel processes. In: IFIP Congress, pp. 993\u2013998 (1977)"},{"key":"105_CR56","doi-asserted-by":"crossref","unstructured":"Kakita, S., Watanabe, Y., Densmore, D., Davare, A., Sangiovanni-Vincentelli, A.L.: Functional model exploration for multimedia applications via algebraic operators. In: ACSD, pp. 229\u2013238 (2006)","DOI":"10.1109\/ACSD.2006.8"},{"issue":"11","key":"105_CR57","first-page":"1296","volume":"9","author":"G. Karsai","year":"2003","unstructured":"Karsai G., Agrawal A., Shi F., Sprinkle J.: On the use of graph transformations for the formal specification of model interpreters. J. Universal Comp. Sci. 9(11), 1296\u20131321 (2003)","journal-title":"J. Universal Comp. Sci."},{"issue":"1","key":"105_CR58","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1109\/JPROC.2002.805824","volume":"91","author":"G Karsai","year":"2003","unstructured":"Karsai G, Sztipanovits J., Ledeczi A., Bapty T.: Model-integrated development of embedded software. Proc. IEEE 91(1), 145\u2013164 (2003)","journal-title":"Proc. IEEE"},{"key":"105_CR59","doi-asserted-by":"crossref","unstructured":"Knuth, D.E.: The genesis of attribute grammars. In: Proceedings of Attribute Grammars and their Applications, pp. 1\u201312 (1990)","DOI":"10.1007\/3-540-53101-7_1"},{"key":"105_CR60","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: Multi-domain integration with mof and extended triple graph grammars. In: Language Engineering for Model-Driven Software Development (2004)"},{"issue":"4","key":"105_CR61","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/s10270-006-0017-9","volume":"5","author":"T. K\u00fchne","year":"2006","unstructured":"K\u00fchne T.: Matters of (meta-) modeling. Softw. Syst. Model. (SoSyM) 5(4), 369\u2013385 (2006)","journal-title":"Softw. Syst. Model. (SoSyM)"},{"key":"105_CR62","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Niebert, P., eds. : Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6\u20137, 2003. Revised Papers. Lecture Notes in Computer Science, vol. 2791. Springer, Heidelberg (2003)","DOI":"10.1007\/b12025"},{"key":"105_CR63","volume-title":"Conceptual Mathematics: A First Introduction to Categories","author":"W.F. Lawvere","year":"1997","unstructured":"Lawvere W.F., Schanuel S.H.: Conceptual Mathematics: A First Introduction to Categories. Cambridge University Press, Cambridge (1997)"},{"key":"105_CR64","unstructured":"Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., Garrett, J., Thomason, C., Nordstrom, G., Sprinkle, J., Volgyesi, P.: The generic modeling environment. Workshop on Intelligent Signal Processing (May 2001)"},{"key":"105_CR65","volume-title":"Actor-oriented models for codesign: Balancing re-use and performance","author":"E.A. Lee","year":"2004","unstructured":"Lee E.A., Neuendorffer S.: Actor-oriented models for codesign: Balancing re-use and performance. Formal Methods and Models for Systems. Kluwer, Dordrecht (2004)"},{"issue":"3","key":"105_CR66","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1142\/S0218126603000751","volume":"12","author":"E.A. Lee","year":"2003","unstructured":"Lee E.A., Neuendorffer S., Wirthlin M.J.: Actor-oriented design of embedded hardware and software systems. J. Circuits Syst. Comp. 12(3), 231\u2013260 (2003)","journal-title":"J. Circuits Syst. Comp."},{"key":"105_CR67","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Parks, T.M.: Dataflow process networks. Proc. IEEE, pp. 773\u2013799 (1995)","DOI":"10.1109\/5.381846"},{"issue":"8","key":"105_CR68","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1109\/2.707615","volume":"31","author":"E. Long","year":"1998","unstructured":"Long E., Misra A., Sztipanovits J.: Increasing productivity at saturn. IEEE Comp. 31(8), 35\u201343 (1998)","journal-title":"IEEE Comp."},{"key":"105_CR69","unstructured":"Marcano, R., Levy, N.: Using b formal specifications for analysis and verification of uml\/ocl models. In: Workshop on consistency problems in UML-based software development. 5th International Conference on the Unified Modeling Language, pp. 91\u2013105 (2002)"},{"key":"105_CR70","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/j.entcs.2005.10.022","volume":"152","author":"T. Mens","year":"2006","unstructured":"Mens T., Gorp P.V., Varr\u00f3 D., Karsai G.: Applying a model transformation taxonomy to graph transformation technology. Electr. Notes Theor. Comput. Sci. 152, 143\u2013159 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"105_CR71","doi-asserted-by":"crossref","unstructured":"Minker, J.: Logic and databases: A 20\u00a0year retrospective. In: Logic in Databases, pp. 3\u201357 (1996)","DOI":"10.1007\/BFb0031734"},{"key":"105_CR72","doi-asserted-by":"crossref","unstructured":"Muller, P.-A., Fleurey, F., J\u00e9z\u00e9quel, J.-M.: Weaving executability into object-oriented meta-languages. In: MoDELS, pp. 264\u2013278 (2005)","DOI":"10.1007\/11557432_19"},{"key":"105_CR73","doi-asserted-by":"crossref","unstructured":"Neema, S., Kalmar, Z., Shi, F., Vizhanyo, A., Karsai, G.: A visually-specified code generator for simulink\/stateflow. In: VL\/HCC, pp. 275\u2013277 (2005)","DOI":"10.1109\/VLHCC.2005.14"},{"key":"105_CR74","doi-asserted-by":"crossref","unstructured":"Neema, S., Sztipanovits, J., Karsai, G., Butts, K.: Constraint-based design-space exploration and model synthesis. In: EMSOFT, pp. 290\u2013305 (2003)","DOI":"10.1007\/978-3-540-45212-6_19"},{"key":"105_CR75","unstructured":"Object Management Group. Meta Object Facility Specification v1.4, http:\/\/www.omg.org\/docs\/formal\/02-04-03.pdf , 2002"},{"key":"105_CR76","unstructured":"Object Management Group. MDA Guide version 1.0.1, http:\/\/www.omg.org\/docs\/omg\/03-06-01.pdf , 2003"},{"key":"105_CR77","unstructured":"Object Management Group. Meta Object Facility (MOF) 2.0 Core Specification, http:\/\/www.omg.org\/docs\/ptc\/03-10-04.pdf , 2003"},{"key":"105_CR78","unstructured":"Object Management Group. Unified Modeling Language: Infrastructure version 2.0, 3rd revised submission to OMG RFP, http:\/\/www.omg.org\/docs\/ad\/00-09-02.pdf , 2003"},{"key":"105_CR79","unstructured":"Object Management Group. Object Constraint Language v2.0, http:\/\/www.omg.org\/docs\/formal\/06-05-01.pdf , 2006"},{"key":"105_CR80","unstructured":"Object Management Group. Unified Modeling Language: Superstructure version 2.1.1, http:\/\/www.omg.org\/docs\/formal\/07-02-06.pdf , 2007"},{"key":"105_CR81","doi-asserted-by":"crossref","unstructured":"Orejas, F., Ehrig, H., Prange, U.: A logic of graph constraints. In: FASE, pp. 179\u2013198 (2008)","DOI":"10.1007\/978-3-540-78743-3_14"},{"issue":"2","key":"105_CR82","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1145\/210376.197409","volume":"27","author":"J. Paakki","year":"1995","unstructured":"Paakki J.: Attribute grammar paradigms\u2014a high-level methodology in language implementation. ACM Comput. Surv. 27(2), 196\u2013255 (1995)","journal-title":"ACM Comput. Surv."},{"key":"105_CR83","doi-asserted-by":"crossref","unstructured":"Pinto, A., Carloni, L.P., Passerone, R., Sangiovanni-Vincentelli, A.L.: Interchange format for hybrid systems: Abstract semantics. In: HSCC, pp. 491\u2013506 (2006)","DOI":"10.1007\/11730637_37"},{"key":"105_CR84","doi-asserted-by":"crossref","unstructured":"Przymusinski, T.C.: Every logic program has a natural stratification and an iterated least fixed point model. In: PODS \u201989: Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (New York, NY, USA, 1989), pp. 11\u201321. ACM, New York (1989)","DOI":"10.1145\/73721.73723"},{"key":"105_CR85","doi-asserted-by":"crossref","unstructured":"Sangiovanni-Vincentelli, A., Carloni, L., Bernardinis, F.D., Sgroi, M.: Benefits and challenges for platform-based design. In: Proceedings of the Design Automation Conference (DAC\u201904) (June 2004)","DOI":"10.1145\/996566.996684"},{"key":"105_CR86","doi-asserted-by":"crossref","unstructured":"Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007), pp. 632\u2013647 (2007)","DOI":"10.1007\/978-3-540-71209-1_49"},{"issue":"3","key":"105_CR87","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s10270-003-0028-8","volume":"2","author":"D. Varr\u00f3","year":"2003","unstructured":"Varr\u00f3 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(3), 187\u2013210 (2003)","journal-title":"Softw. Syst. Model."},{"key":"105_CR88","doi-asserted-by":"crossref","unstructured":"Weijland, W.P.: Semantics for logic programs without occur check. In: ICALP, pp. 710\u2013726 (1988)","DOI":"10.1007\/3-540-19488-6_152"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0105-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-008-0105-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0105-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,13]],"date-time":"2020-05-13T20:25:17Z","timestamp":1589401517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-008-0105-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,12,17]]},"references-count":88,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,9]]}},"alternative-id":["105"],"URL":"https:\/\/doi.org\/10.1007\/s10270-008-0105-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,12,17]]}}}