{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:52:10Z","timestamp":1725558730170},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642136870"},{"type":"electronic","value":"9783642136887"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13688-7_4","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T11:49:39Z","timestamp":1277812179000},"page":"45-60","source":"Crossref","is-referenced-by-count":3,"title":["Synthesis of OCL Pre-conditions for Graph Transformation Rules"],"prefix":"10.1007","author":[{"given":"Jordi","family":"Cabot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Claris\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: A UML\/OCL framework for the analysis of graph transformation rules. Soft. and Syst. Mod. (2010) (to appear)","DOI":"10.1007\/s10270-009-0129-0"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verification of UML\/OCL class diagrams using constraint programming. In: MoDeVVa 2008. ICST Workshop, pp. 73\u201380 (2008)","DOI":"10.1109\/ICSTW.2008.54"},{"issue":"9","key":"4_CR3","doi-asserted-by":"publisher","first-page":"1459","DOI":"10.1016\/j.jss.2009.03.009","volume":"82","author":"J. Cabot","year":"2009","unstructured":"Cabot, J., Teniente, E.: Incremental integrity checking of UML\/OCL conceptual schemas. Journal of Systems and Software\u00a082(9), 1459\u20131478 (2009)","journal-title":"Journal of Systems and Software"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-69534-9_22","volume-title":"Advanced Information Systems Engineering","author":"D. Costal","year":"2008","unstructured":"Costal, D., G\u00f3mez, C., Queralt, A., Teniente, E.: Drawing preconditions of operation contracts from conceptual schemas. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol.\u00a05074, pp. 266\u2013280. Springer, Heidelberg (2008)"},{"issue":"8","key":"4_CR5","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM\u00a018(8), 453\u2013457 (1975)","journal-title":"Communications of the ACM"},{"issue":"1","key":"4_CR6","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":"4_CR7","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)"},{"issue":"4","key":"4_CR8","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M. Gogolla","year":"2005","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. Soft. and Syst. Mod.\u00a04(4), 386\u2013398 (2005)","journal-title":"Soft. and Syst. Mod."},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-45669-4_6","volume-title":"Object Modeling with the OCL","author":"M. Gogolla","year":"2002","unstructured":"Gogolla, M., Richters, M.: Expressing UML class diagrams properties with OCL. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol.\u00a02263, pp. 85\u2013114. Springer, Heidelberg (2002)"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-3-540-31847-7_17","volume-title":"Formal Methods in Software and Systems Modeling","author":"A. Habel","year":"2005","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 in Software and Systems Modeling. LNCS, vol.\u00a03393, pp. 293\u2013308. Springer, Heidelberg (2005)"},{"issue":"2","key":"4_CR11","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. Math. Struct. Comp. Sci.\u00a019(2), 245\u2013296 (2009)","journal-title":"Math. Struct. Comp. Sci."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Heckel, R., Wagner, A.: Ensuring consistency of conditional graph rewriting - a constructive approach. In: ENTCS, vol.\u00a02 (1995)","DOI":"10.1016\/S1571-0661(05)80188-4"},{"issue":"1-3","key":"4_CR13","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.scico.2004.03.002","volume":"52","author":"G. Kniesel","year":"2004","unstructured":"Kniesel, G., Koch, H.: Static composition of refactorings. Sci. Comput. Program.\u00a052(1-3), 9\u201351 (2004)","journal-title":"Sci. Comput. Program."},{"key":"4_CR14","unstructured":"Mammar, A., Gervais, F., Laleau, R.: Systematic identification of preconditions from set-based integrity constraints. In: INFORSID 2006, pp. 595\u2013610 (2006)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/11901181_37","volume-title":"Conceptual Modeling - ER 2006","author":"A. Queralt","year":"2006","unstructured":"Queralt, A., Teniente, E.: Reasoning on UML class diagrams with OCL constraints. In: Embley, D.W., Oliv\u00e9, A., Ram, S. (eds.) ER 2006. LNCS, vol.\u00a04215, pp. 497\u2013512. Springer, Heidelberg (2006)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Winkelmann, J., Taentzer, G., Ehrig, K., Kuster, J.M.: Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars. In: ENTCS, vol.\u00a0211, pp. 159\u2013170 (2008)","DOI":"10.1016\/j.entcs.2008.04.038"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13688-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T14:29:13Z","timestamp":1559226553000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13688-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642136870","9783642136887"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13688-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}