{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:00:53Z","timestamp":1725796853797},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319091075"},{"type":"electronic","value":"9783319091082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09108-2_6","type":"book-chapter","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T13:07:01Z","timestamp":1404479221000},"page":"81-96","source":"Crossref","is-referenced-by-count":3,"title":["Attribute Handling for Generating Preconditions from Graph Constraints"],"prefix":"10.1007","author":[{"given":"Frederik","family":"Deckwerth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gergely","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer (2006)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/BFb0053588","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Heckel","year":"1998","unstructured":"Heckel, R.: Compositional verification of reactive systems specified by graph transformation. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 138\u2013153. Springer, Heidelberg (1998)"},{"issue":"3","key":"6_CR3","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/545186.545191","volume":"5","author":"M. Koch","year":"2002","unstructured":"Koch, M., Mancini, L.V., Parisi-Presicce, F.: A graph-based formalism for RBAC. ACM Trans. Inf. Syst. Secur.\u00a05(3), 332\u2013365 (2002)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Heckel, R., Wagner, A.: Ensuring consistency of conditional graph rewriting \u2013 a constructive approach. In: Corradini, A., Montanari, U. (eds.) Proc. of Joint COMPUGRAPH\/SEMAGRAPH Workshop. ENTCS, vol.\u00a02, pp. 118\u2013126. Elsevier, Volterra (1995)","DOI":"10.1016\/S1571-0661(05)80188-4"},{"issue":"3\/4","key":"6_CR5","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A. Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae\u00a026(3\/4), 287\u2013313 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-642-13688-7_4","volume-title":"Theory and Practice of Model Transformations","author":"J. Cabot","year":"2010","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: Synthesis of OCL pre-conditions for graph transformation rules. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol.\u00a06142, pp. 45\u201360. Springer, Heidelberg (2010)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-15928-2_4","volume-title":"Graph Transformations","author":"F. Orejas","year":"2010","unstructured":"Orejas, F., Lambers, L.: Delaying constraint solving in symbolic graph transformation. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol.\u00a06372, pp. 43\u201358. Springer, Heidelberg (2010)"},{"key":"6_CR8","unstructured":"Horv\u00e1th, \u00c1., Varr\u00f3, G., Varr\u00f3, D.: Generic search plans for matching advanced graph patterns. In: Ehrig, K., Giese, H. (eds.) Proc. of the 6th International Workshop on Graph Transformation and Visual Modeling Techniques, Braga, Portugal. Electronic Communications of the EASST, vol.\u00a06 (March 2007)"},{"key":"6_CR9","unstructured":"Anjorin, A., Varr\u00f3, G., Sch\u00fcrr, A.: Complex attribute manipulation in TGGs with constraint-based programming techniques. In: Hermann, F., Voigtl\u00e4nder, J. (eds.) Proc. of the 1st Int. Workshop on Bidirectional Transformations. ECEASST, vol.\u00a049 (2012)"},{"key":"6_CR10","unstructured":"Shoenfield, J.R.: Mathematical logic, vol.\u00a021. Addison-Wesley, Reading (1967)"},{"key":"6_CR11","unstructured":"Orejas, F., Lambers, L.: Symbolic attributed graphs for attributed graph transformation. In: Ermel, C., Ehrig, H., Orejas, F., Taentzer, G. (eds.) Proc. of the ICGT. Electronic Communications of the EASST, vol.\u00a030 (2010)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, G., Deckwerth, F., Wieber, M., Sch\u00fcrr, A.: An algorithm for generating model-sensitive search plans for pattern matching on EMF models. Software and Systems Modeling (2013) (accepted paper)","DOI":"10.1007\/978-3-642-30476-7_15"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-642-31491-9_28","volume-title":"Modelling Foundations and Applications","author":"G. Varr\u00f3","year":"2012","unstructured":"Varr\u00f3, G., Anjorin, A., Sch\u00fcrr, A.: Unification of compiled and interpreter-based pattern matching techniques. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., St\u00f6rrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol.\u00a07349, pp. 368\u2013383. Springer, Heidelberg (2012)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Habel, A., Pennemann, K.-H.: Nested constraints and application conditions for high-level structures. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods (Ehrig Festschrift). LNCS, vol.\u00a03393, pp. 293\u2013308. Springer, Heidelberg (2005)","DOI":"10.1007\/978-3-540-31847-7_17"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-540-30203-2_21","volume-title":"Graph Transformations","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Ehrig, K., Habel, A., Pennemann, K.-H.: Constraints and application conditions: From graphs to high-level structures. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 287\u2013303. Springer, Heidelberg (2004)"},{"key":"6_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)"},{"issue":"1","key":"6_CR17","doi-asserted-by":"crossref","first-page":"135","DOI":"10.3233\/FI-2012-708","volume":"118","author":"C.M. Poskitt","year":"2012","unstructured":"Poskitt, C.M., Plump, D.: Hoare-style verification of graph programs. Fundamenta Informaticae\u00a0118(1), 135\u2013175 (2012)","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09108-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,22]],"date-time":"2020-08-22T00:11:10Z","timestamp":1598055070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09108-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091075","9783319091082"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09108-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}