{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:57:30Z","timestamp":1762459050654},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642376344"},{"type":"electronic","value":"9783642376351"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37635-1_2","type":"book-chapter","created":{"date-parts":[[2013,4,10]],"date-time":"2013-04-10T21:30:45Z","timestamp":1365629445000},"page":"24-49","source":"Crossref","is-referenced-by-count":3,"title":["Behaviour Protection in Modular Rule-Based System Specifications"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Dur\u00e1n","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Zschaler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/3-540-15198-2_17","volume-title":"Mathematical Foundations of Software Development","author":"P. Boehm","year":"1985","unstructured":"Boehm, P., Fonio, H.-R., Habel, A.: Amalgamation of graph transformations with applications to synchronization. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds.) CAAP 1985 and TAPSOFT 1985. LNCS, vol.\u00a0185, pp. 267\u2013283. Springer, Heidelberg (1985)"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11581741_10","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"K. Chen","year":"2005","unstructured":"Chen, K., Sztipanovits, J., Abdelwalhed, S., Jackson, E.: Semantic anchoring with model transformations. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 115\u2013129. Springer, Heidelberg (2005)"},{"key":"2_CR3","unstructured":"Clarke, S., Walker, R.J.: Generic aspect-oriented design with Theme\/UML. In: Aspect-Oriented Software Development, pp. 425\u2013458. Addison-Wesley (2005)"},{"key":"2_CR4","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Corradini, A., Ehrig, H., L\u00f6we, M., Montanari, U., Padberg, J.: The category of typed graph grammars and its adjunctions with categories of derivations. In: Cuny, et al. (eds.) [6], pp. 56\u201374","DOI":"10.1007\/3-540-61228-9_79"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61228-9","volume-title":"Graph Grammars and Their Application to Computer Science","author":"J. Cuny","year":"1996","unstructured":"Cuny, J., Ehrig, H., Engels, G., Rozenberg, G.: Graph Grammars 1994. LNCS, vol.\u00a01073. Springer, Heidelberg (1996)"},{"issue":"6","key":"2_CR7","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/352029.352035","volume":"35","author":"A. Deursen van","year":"2000","unstructured":"van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: An annotated bibliography. SIGPLAN Not.\u00a035(6), 26\u201336 (2000)","journal-title":"SIGPLAN Not."},{"key":"2_CR8","unstructured":"Di Ruscio, D., Jouault, F., Kurtev, I., B\u00e9zivin, J., Pierantonio, A.: Extending AMMA for supporting dynamic semantics specifications of DSLs. Tech. Rep. 06.02, Laboratoire d\u2019Informatique de Nantes-Atlantique (LINA) (April 2006)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-642-36089-3_19","volume-title":"Software Language Engineering","author":"F. Dur\u00e1n","year":"2013","unstructured":"Dur\u00e1n, F., Zschaler, S., Troya, J.: On the reusable specification of non-functional properties in DSLs. In: Czarnecki, K., Hedin, G. (eds.) SLE 2012. LNCS, vol.\u00a07745, pp. 332\u2013351. Springer, Heidelberg (2013)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0025714","volume-title":"Graph-Grammars and Their Application to Computer Science and Biology","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H.: Introduction to the algebraic theory of graph grammars (a survey). In: Claus, V., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol.\u00a073, pp. 1\u201369. Springer, Heidelberg (1979)"},{"issue":"1","key":"2_CR11","first-page":"135","volume":"74","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Habel, A., Pennemann, K.H.: Theory of constraints and application conditions: From graphs to high-level structures. Fundamenta Informaticae\u00a074(1), 135\u2013166 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"2_CR12","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer (2005)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol.\u00a0II. World Scientific (1999)","DOI":"10.1142\/4180"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-30203-2_12","volume-title":"Graph Transformations","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive high-level replacement categories and systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 144\u2013160. Springer, Heidelberg (2004)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification\u00a02. Module Specifications and Constraints. Springer (1990)","DOI":"10.1007\/978-3-642-61284-8"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-30203-2_13","volume-title":"Graph Transformations","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graph transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 161\u2013177. Springer, Heidelberg (2004)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/3-540-40011-7_23","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"G. Engels","year":"2000","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., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 323\u2013337. Springer, Heidelberg (2000)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-540-31847-7_3","volume-title":"Formal Methods in Software and Systems Modeling","author":"G. Engels","year":"2005","unstructured":"Engels, G., Heckel, R., Cherchago, A.: Flexible interconnection of graph transformation modules. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol.\u00a03393, pp. 38\u201363. Springer, Heidelberg (2005)"},{"issue":"4","key":"2_CR19","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1142\/S0218194097000266","volume":"7","author":"G. Engels","year":"1997","unstructured":"Engels, G., Heckel, R., Taentzer, G., Ehrig, H.: A combined reference model- and view-based approach to system specification. International Journal of Software Engineering and Knowledge Engineering\u00a07(4), 457\u2013477 (1997)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-46464-8_21","volume-title":"Theory and Application of Graph Transformations","author":"T. Fischer","year":"2000","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story diagrams: A new graph rewrite language based on the unified modeling language and java. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764, pp. 296\u2013309. Springer, Heidelberg (2000)"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/BFb0055805","volume-title":"Mathematical Foundations of Computer Science 1998","author":"M. Gro\u00dfe-Rhode","year":"1998","unstructured":"Gro\u00dfe-Rhode, M., Parisi-Presicce, F., Simeoni, M.: Spatial and temporal refinement of typed graph transformation systems. In: Brim, L., Gruska, J., Zlatu\u0161ka, J. (eds.) MFCS 1998. LNCS, vol.\u00a01450, pp. 553\u2013561. Springer, Heidelberg (1998)"},{"issue":"2","key":"2_CR22","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1006\/jcss.2001.1800","volume":"64","author":"M. Gro\u00dfe-Rhode","year":"2002","unstructured":"Gro\u00dfe-Rhode, M., Parisi-Presicce, F., Simeoni, M.: Formal software specification with refinements and modules of typed graph transformation systems. Journal of Computer and System Sciences\u00a064(2), 171\u2013218 (2002)","journal-title":"Journal of Computer and System Sciences"},{"issue":"2","key":"2_CR23","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A. Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Mathematical Structures in Computer Science\u00a019(2), 245\u2013296 (2009)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"2_CR24","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.jlap.2006.05.003","volume":"70","author":"R. Heckel","year":"2007","unstructured":"Heckel, R., Cherchago, A.: Structural and behavioural compatibility of graphical service specifications. Journal of Logic and Algebraic Programming\u00a070(1), 15\u201333 (2007)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"6","key":"2_CR25","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1017\/S0960129500070110","volume":"6","author":"R. Heckel","year":"1996","unstructured":"Heckel, R., Corradini, A., Ehrig, H., L\u00f6we, M.: Horizontal and vertical structuring of typed graph transformation systems. Mathematical Structures in Computer Science\u00a06(6), 613\u2013648 (1996)","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Heckel, R., Engels, G., Ehrig, H., Taentzer, G.: Classification and comparison of modularity concepts for graph transformation systems. In: Ehrig, et al. (eds.) [13], ch.\u00a017, pp. 669\u2013690","DOI":"10.1142\/9789812815149_0017"},{"issue":"3","key":"2_CR27","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/s10270-009-0136-1","volume":"9","author":"Z. Hemel","year":"2010","unstructured":"Hemel, Z., Kats, L.C.L., Groenewegen, D.M., Visser, E.: Code generation by model transformation: A case study in transformation modularity. Software and Systems Modelling\u00a09(3), 375\u2013402 (2010)","journal-title":"Software and Systems Modelling"},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/11687061_4","volume-title":"Transactions on Aspect-Oriented Software Development I","author":"S. Katz","year":"2006","unstructured":"Katz, S.: Aspect categories and classes of temporal properties. In: Rashid, A., Aksit, M. (eds.) Transactions on AOSD I. LNCS, vol.\u00a03880, pp. 106\u2013134. Springer, Heidelberg (2006)"},{"key":"2_CR29","unstructured":"Klein, J., Kienzle, J.: Reusable aspect models. In: Aspect-Oriented Modeling Workshop at MODELS 2007 (2007)"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Klein, J., H\u00e9lou\u00ebt, L., J\u00e9z\u00e9quel, J.M.: Semantic-based weaving of scenarios. In: Proc. 5th Int\u2019l Conf. Aspect-Oriented Software Development (AOSD 2006). ACM (2006)","DOI":"10.1145\/1119655.1119662"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Kreowski, H., Kuske, S.: Graph transformation units and modules. In: Ehrig, et al. (eds.) [13], ch.\u00a015, pp. 607\u2013638","DOI":"10.1142\/9789812815149_0015"},{"key":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-540-24727-2_20","volume-title":"Foundations of Software Science and Computation Structures","author":"S. Lack","year":"2004","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive categories. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 273\u2013288. Springer, Heidelberg (2004)"},{"issue":"3-4","key":"2_CR33","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s00165-009-0114-y","volume":"22","author":"J. Lara de","year":"2010","unstructured":"de Lara, J., Vangheluwe, H.: Automating the transformation-based analysis of visual languages. Formal Aspects of Computing\u00a022(3-4), 297\u2013326 (2010)","journal-title":"Formal Aspects of Computing"},{"key":"2_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11557432_19","volume-title":"Model Driven Engineering Languages and Systems","author":"P.-A. Muller","year":"2005","unstructured":"Muller, P.-A., Fleurey, F., J\u00e9z\u00e9quel, J.-M.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 264\u2013278. Springer, Heidelberg (2005)"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Parisi-Presicce, F.: Transformations of graph grammars. In: Cuny, et al. (eds.) [6], pp. 428\u2013442","DOI":"10.1007\/3-540-61228-9_103"},{"issue":"11-12","key":"2_CR36","doi-asserted-by":"publisher","first-page":"778","DOI":"10.1177\/0037549709341635","volume":"85","author":"J.E. Rivera","year":"2009","unstructured":"Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: Formal specification and analysis of domain specific models using Maude. Simulation\u00a085(11-12), 778\u2013792 (2009)","journal-title":"Simulation"},{"key":"2_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-00434-6_5","volume-title":"Software Language Engineering","author":"J.E. Rivera","year":"2009","unstructured":"Rivera, J.E., Guerra, E., de Lara, J., Vallecillo, A.: Analyzing rule-based behavioral semantics of visual modeling languages with Maude. In: Ga\u0161evi\u0107, D., L\u00e4mmel, R., Van Wyk, E. (eds.) SLE 2008. LNCS, vol.\u00a05452, pp. 54\u201373. Springer, Heidelberg (2009)"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: A graphical approach for modeling time-dependent behavior of DSLs. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, VL\/HCC 2009, pp. 51\u201355. IEEE (2009)","DOI":"10.1109\/VLHCC.2009.5295300"},{"key":"2_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-16310-4_12","volume-title":"Rewriting Logic and Its Applications","author":"J.E. Rivera","year":"2010","unstructured":"Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: On the behavioral semantics of real-time domain specific visual languages. In: \u00d6lveczky, P.C. (ed.) WRLA 2010. LNCS, vol.\u00a06381, pp. 174\u2013190. Springer, Heidelberg (2010)"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol.\u00a0I. World Scientific (1997)","DOI":"10.1142\/9789812384720"},{"issue":"2","key":"2_CR41","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D.C. Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-driven engineering. IEEE Computer\u00a039(2), 25\u201331 (2006)","journal-title":"IEEE Computer"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A., Winter, A., Z\u00fcndorf, A.: The PROGRES-approach: Language and environment. In: Ehrig, et al. (eds.) [13], ch.\u00a013, pp. 487\u2013550","DOI":"10.1142\/9789812815149_0013"},{"key":"2_CR43","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S1571-0661(05)80206-3","volume":"2","author":"G. Taentzer","year":"1995","unstructured":"Taentzer, G., Sch\u00fcrr, A.: DIEGO, another step towards a module concept for graph transformation systems. Electronic Notes on Theoretical Computer Science\u00a02, 277\u2013285 (1995)","journal-title":"Electronic Notes on Theoretical Computer Science"},{"key":"2_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-02674-4_3","volume-title":"Model Driven Architecture - Foundations and Applications","author":"M. Tisi","year":"2009","unstructured":"Tisi, M., Jouault, F., Fraternali, P., Ceri, S., B\u00e9zivin, J.: On the use of higher-order model transformations. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol.\u00a05562, pp. 18\u201333. Springer, Heidelberg (2009)"},{"key":"2_CR45","doi-asserted-by":"crossref","unstructured":"Troya, J., Rivera, J.E., Vallecillo, A.: Simulating domain specific visual models by observation. In: Proc. 2010 Spring Simulation Multiconference (SpringSim 2010), pp. 128:1\u2013128:8. ACM (2010)","DOI":"10.1145\/1878537.1878671"},{"issue":"1","key":"2_CR46","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1016\/j.infsof.2012.07.009","volume":"55","author":"J. Troya","year":"2013","unstructured":"Troya, J., Vallecillo, A., Dur\u00e1n, F., Zschaler, S.: Model-driven performance analysis of rule-based domain specific visual models. Information and Software Technology\u00a055(1), 88\u2013110 (2013)","journal-title":"Information and Software Technology"},{"key":"2_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-642-03764-1_6","volume-title":"Transactions on Aspect-Oriented Software Development VI","author":"J. Whittle","year":"2009","unstructured":"Whittle, J., Jayaraman, P., Elkhodary, A., Moreira, A., Ara\u00fajo, J.: MATA: A unified approach for composing UML aspect models based on graph transformation. In: Katz, S., Ossher, H., France, R., J\u00e9z\u00e9quel, J.-M. (eds.) Transactions on AOSD VI. LNCS, vol.\u00a05560, pp. 191\u2013237. Springer, Heidelberg (2009)"},{"key":"2_CR48","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10270-009-0115-6","volume":"9","author":"S. Zschaler","year":"2009","unstructured":"Zschaler, S.: Formal specification of non-functional properties of component-based software systems: A semantic framework and some applications thereof. Software and Systems Modelling (SoSyM)\u00a09, 161\u2013201 (2009)","journal-title":"Software and Systems Modelling (SoSyM)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37635-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,12]],"date-time":"2019-07-12T07:36:36Z","timestamp":1562916996000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37635-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642376344","9783642376351"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37635-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}