{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T18:50:33Z","timestamp":1726253433594},"publisher-location":"Cham","reference-count":20,"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_7","type":"book-chapter","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T13:07:01Z","timestamp":1404479221000},"page":"97-112","source":"Crossref","is-referenced-by-count":13,"title":["From Core OCL Invariants to Nested Graph Constraints"],"prefix":"10.1007","author":[{"given":"Thorsten","family":"Arendt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Annegret","family":"Habel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hendrik","family":"Radke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"OMG: Object Constraint Language, http:\/\/www.omg.org\/spec\/OCL\/"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Bardohl, R., Minas, M., Sch\u00fcrr, A., Taentzer, G.: Application of Graph Transformation to Visual Languages. In: Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a02, pp. 105\u2013180. World Scientific (1999)","DOI":"10.1142\/9789812815149_0003"},{"key":"7_CR3","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, 245\u2013296 (2009)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"2","key":"7_CR4","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s10270-011-0199-7","volume":"11","author":"E. Biermann","year":"2012","unstructured":"Biermann, E., Ermel, C., Taentzer, G.: Formal foundation of consistent EMF model transformations by algebraic graph transformation. Software and System Modeling\u00a011(2), 227\u2013250 (2012)","journal-title":"Software and System Modeling"},{"key":"7_CR5","unstructured":"Chiorean, D., Bortes, M., Corutiu, D.: Proposals for a Widespread Use of OCL. In: Workshop on Tool Support for OCL and Related Formalisms, Technical Report LGL-REPORT-2005-001, EPFL, 68\u201382 (2005)"},{"key":"7_CR6","unstructured":"Richters, M.: A Precise Approach to Validating UML Models and OCL Constraints. PhD thesis, Universit\u00e4t Bremen, Logos Verlag, Berlin (2002)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Arendt, T., Habel, A., Radke, H., Taentzer, G.: From Core OCL Invariants to Nested Graph Constraints: Extended version (2014), http:\/\/www.uni-marburg.de\/fb12\/forschung\/berichte\/berichteinformtk\/pdfbi\/bi2014-01.pdf","DOI":"10.1007\/978-3-319-09108-2_7"},{"issue":"1","key":"7_CR8","first-page":"31","volume":"74","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamental Theory of Typed Attributed Graph Transformation based on Adhesive HLR Categories. Fundamenta Informaticae\u00a074(1), 31\u201361 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"7_CR9","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs of Theoretical Computer Science. Springer (2006)"},{"issue":"3","key":"7_CR10","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1016\/j.jsc.2010.09.009","volume":"46","author":"F. Orejas","year":"2011","unstructured":"Orejas, F.: Symbolic Graphs for Attributed Graph Constraints. J. Symb. Comput.\u00a046(3), 294\u2013315 (2011)","journal-title":"J. Symb. Comput."},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-24721-0_16","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Bardohl","year":"2004","unstructured":"Bardohl, R., Ehrig, H., de Lara, J., Taentzer, G.: Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 214\u2013228. Springer, Heidelberg (2004)"},{"issue":"1-2","key":"7_CR12","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-2), 135\u2013175 (2012)","journal-title":"Fundamenta Informaticae"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Golas, U., Habel, A., Lambers, L., Orejas, F.: $\\mathcal{M}$ -Adhesive Transformation Systems with Nested Application Conditions. Part\u00a01: Parallelism, Concurrency and Amalgamation. Mathematical Structures in Computer Science\u00a024 (2014)","DOI":"10.1017\/S0960129512000357"},{"key":"7_CR14","unstructured":"Pennemann, K.H.: Development of Correct Graph Transformation Systems. PhD thesis, Universit\u00e4t Oldenburg (2009)"},{"key":"7_CR15","unstructured":"Beckert, B., Keller, U., Schmitt, P.H.: Translating the Object Constraint Language into First-order Predicate Logic. In: VERIFY, Workshop at Federated Logic Conferences, FLoC (2002)"},{"key":"7_CR16","unstructured":"Jackson, D.: Alloy Analyzer website (2012), http:\/\/alloy.mit.edu\/"},{"issue":"1","key":"7_CR17","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K. Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Software and System Modeling\u00a09(1), 69\u201386 (2010)","journal-title":"Software and System Modeling"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/978-3-642-33666-9_27","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Kuhlmann","year":"2012","unstructured":"Kuhlmann, M., Gogolla, M.: From UML and OCL to Relational Logic and Back. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol.\u00a07590, pp. 415\u2013431. Springer, Heidelberg (2012)"},{"issue":"4","key":"7_CR19","first-page":"386","volume":"4","author":"M. Gogolla","year":"2009","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. SoSyM\u00a04(4), 386\u2013398 (2009)","journal-title":"SoSyM"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: A Tool for the Formal Verification of UML\/OCL Models using Constraint Programming. In: 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 547\u2013548 (2007)","DOI":"10.1145\/1321631.1321737"}],"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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,22]],"date-time":"2020-08-22T00:11:07Z","timestamp":1598055067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09108-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091075","9783319091082"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09108-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}