{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:42:53Z","timestamp":1725583373388},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642212093"},{"type":"electronic","value":"9783642212109"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21210-9_34","type":"book-chapter","created":{"date-parts":[[2011,5,13]],"date-time":"2011-05-13T06:06:37Z","timestamp":1305266797000},"page":"349-363","source":"Crossref","is-referenced-by-count":6,"title":["Integrating OCL and Textual Modelling Languages"],"prefix":"10.1007","author":[{"given":"Florian","family":"Heidenreich","sequence":"first","affiliation":[]},{"given":"Jendrik","family":"Johannes","sequence":"additional","affiliation":[]},{"given":"Sven","family":"Karol","sequence":"additional","affiliation":[]},{"given":"Mirko","family":"Seifert","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Thiele","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Wende","sequence":"additional","affiliation":[]},{"given":"Claas","family":"Wilke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"Object Management Group Object Constraint Language. Version 2.2 (February 2010)"},{"key":"34_CR2","unstructured":"Object Management Group Unified Modeling Language: Superstructure Version 2.2. Final Adopted Specification formal\/2009-02-02 (February 2009)"},{"key":"34_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-01648-6_14","volume-title":"Models in Software Engineering","author":"D.H. Dang","year":"2009","unstructured":"Dang, D.H., Gogolla, M.: On Integrating OCL and Triple Graph Grammars. In: Chaudron, M.R.V. (ed.) MODELS 2008. LNCS, vol.\u00a05421, pp. 124\u2013137. Springer, Heidelberg (2009)"},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"Debnath, N., Funes, A., Dasso, A., Montejano, G., Riesco, D., Uzal, R.: Integrating OCL Expressions into RSL Specifications. In: IEEE Int\u2019l Conf.\u00a0on Electro\/Information Technology (EIT 2007), May 2007, pp. 182\u2013186 (2007)","DOI":"10.1109\/EIT.2007.4374543"},{"key":"34_CR5","unstructured":"St\u00f6lzel, M., Zschaler, S., Geiger, L.: Integrating OCL and Model Transformations in Fujaba. ECEASST\u00a05 (2006)"},{"key":"34_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/3-540-45441-1_9","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"B. Demuth","year":"2001","unstructured":"Demuth, B., Hu\u00dfmann, H., Loecher, S.: OCL as a Specification Language for Business Rules in Database Applications. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 104\u2013117. Springer, Heidelberg (2001)"},{"key":"34_CR7","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.entcs.2003.09.002","volume":"102","author":"D. Akehurst","year":"2004","unstructured":"Akehurst, D., Patrascoiu, O.: OCL 2.0 - Implementing the Standard for Multiple Metamodels. Electron. Notes Theor. Comput. Sci.\u00a0102, 21\u201341 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"34_CR8","unstructured":"Br\u00e4uer, M., Demuth, B.: Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support. In: Ocl4All: Modelling Systems with OCL Workshop at MoDELS 2007, Berlin, Germany, Technische Universit\u00e4t Berlin (October 2007)"},{"key":"34_CR9","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.entcs.2003.09.003","volume":"102","author":"S. Loecher","year":"2004","unstructured":"Loecher, S., Ocke, S.: A Metamodel-based OCL-compiler for UML and MOF. Electron. Notes Theor. Comput. Sci.\u00a0102, 43\u201361 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"34_CR10","unstructured":"Eclipse Model Development Tools, http:\/\/www.eclipse.org\/modeling\/mdt\/"},{"key":"34_CR11","unstructured":"Object Management Group Meta-Object Facility (MOF) Core Specification. Version 2.0 (January 2006)"},{"key":"34_CR12","volume-title":"Eclipse Modeling Framework","author":"D. Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: Eclipse Modeling Framework, 2nd edn. Pearson Education, London (2008)","edition":"2"},{"key":"34_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-3-642-16145-2_25","volume-title":"Model Driven Engineering Languages and Systems","author":"C. Wilke","year":"2010","unstructured":"Wilke, C., Thiele, M., Wende, C.: Extending Variability for OCL Interpretation. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol.\u00a06394, pp. 361\u2013375. Springer, Heidelberg (2010)"},{"key":"34_CR14","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1109\/ICST.2008.23","volume-title":"2008 Int\u2019l Conf.\u00a0on Software Testing, Verification, and Validation","author":"D. Kolovos","year":"2008","unstructured":"Kolovos, D., Paige, R., Polack, F.: Detecting and Repairing Inconsistencies across Heterogeneous Models. In: 2008 Int\u2019l Conf.\u00a0on Software Testing, Verification, and Validation, pp. 356\u2013364. IEEE Computer Society, Los Alamitos (2008)"},{"key":"34_CR15","unstructured":"Chimiak-Opoka, J., Demuth, B., Silingas, D., Rouquette, N.: Requirements Analysis for an Integrated OCL Development Environment. In: OCL 2009 Workshop - The Pragmatics Of OCL And Other Textual Specification Languages (2009)"},{"key":"34_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-642-02674-4_9","volume-title":"Model Driven Architecture - Foundations and Applications","author":"F. Heidenreich","year":"2009","unstructured":"Heidenreich, F., Johannes, J., Karol, S., Seifert, M., Wende, C.: Derivation and Refinement of Textual Syntax for Models. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol.\u00a05562, pp. 114\u2013129. Springer, Heidelberg (2009)"},{"key":"34_CR17","unstructured":"TU Dresden: Software Technology Group DresdenOCL (2010), http:\/\/dresden-ocl.sourceforge.net\/"},{"key":"34_CR18","volume-title":"Programming in Scala","author":"M. Odersky","year":"2008","unstructured":"Odersky, M., Spoon, L., Venners, B.: Programming in Scala, 1st edn. Artima Press, Mountain View (2008)","edition":"1"},{"key":"34_CR19","unstructured":"Kiama - A Scala library for language processing (2010), http:\/\/code.google.com\/p\/kiama\/"},{"key":"34_CR20","unstructured":"Wilke, C., Thiele, M.: DresdenOCL - Manual for Installation, Use and Development. Technische Universit\u00e4t Dresden, Dresden, Germany (2011)"},{"issue":"2","key":"34_CR21","first-page":"127","volume":"2","author":"D. Knuth","year":"1968","unstructured":"Knuth, D.: Semantics of context-free languages. Theory of Computing Systems\u00a02(2), 127\u2013145 (1968)","journal-title":"Theory of Computing Systems"},{"key":"34_CR22","volume-title":"Proceedings of the Russian-German Workshop Innovation Information Technologies: Theory and Practice","author":"B. Demuth","year":"2009","unstructured":"Demuth, B., Wilke, C.: Model and Object Verification by Using Dresden OCL. In: Proceedings of the Russian-German Workshop Innovation Information Technologies: Theory and Practice, Ufa, Russia, July 25-31. Ufa State Aviation Technical University, Ufa (2009)"},{"key":"34_CR23","unstructured":"Wilke, C.: Java Code Generation for Dresden OCL2 for Eclipse. Gro\u00dfer Beleg (minor thesis), Technische Universit\u00e4t Dresden, Dresden, Germany (February 2009)"},{"key":"34_CR24","unstructured":"AtlanMod Metamodel Zoo, http:\/\/www.emn.fr\/z-info\/atlanmod\/index.php\/Zoos"},{"key":"34_CR25","first-page":"282","volume-title":"Int\u2019l Conf.\u00a0on Computer Languages, IEEE Computer Society","author":"G. Bracha","year":"1992","unstructured":"Bracha, G., Lindstrom, G.: Modularity Meets Inheritance. In: Int\u2019l Conf.\u00a0on Computer Languages, IEEE Computer Society, pp. 282\u2013290. IEEE Computer Society, Los Alamitos (1992)"},{"issue":"3","key":"34_CR26","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1145\/243439.243441","volume":"28","author":"A. Taivalsaari","year":"1996","unstructured":"Taivalsaari, A.: On the Notion of Inheritance. ACM Computing Surveys\u00a028(3), 438\u2013479 (1996)","journal-title":"ACM Computing Surveys"},{"key":"34_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-642-12107-4_19","volume-title":"Software Language Engineering","author":"C. Wende","year":"2010","unstructured":"Wende, C., Thieme, N., Zschaler, S.: A Role-based Approach Towards Modular Language Engineering. In: van den Brand, M., Ga\u0161evi\u0107, D., Gray, J. (eds.) SLE 2009. LNCS, vol.\u00a05969, pp. 254\u2013273. Springer, Heidelberg (2010)"},{"key":"34_CR28","unstructured":"Karol, S., Zschaler, S.: Providing Mainstream Parser Generators with Modular Language Definition Support. Technical Report TUD-FI10-01 - Januar 2010, Technische Universit\u00e4t Dresden (January 2010)"},{"issue":"4","key":"34_CR29","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/346443.346445","volume":"35","author":"C. Clark","year":"2000","unstructured":"Clark, C.: Newlines and Lexer States. SIGPLAN Notices\u00a035(4), 18\u201324 (2000)","journal-title":"SIGPLAN Notices"},{"key":"34_CR30","unstructured":"Aksit, M., Mostert, R., Haverkort, B.: Compiler Generation Based on Grammar Inheritance. Technical report, University of Twente (July 1990)"},{"key":"34_CR31","unstructured":"The Java Compiler Compiler, https:\/\/javacc.dev.java.net\/"},{"key":"34_CR32","first-page":"111","volume-title":"31st Symposium on Principles of Programming Languages (POPL 2004)","author":"B. Ford","year":"2004","unstructured":"Ford, B.: Parsing Expression Grammars: A Recognition-Based Syntactic Foundation. In: 31st Symposium on Principles of Programming Languages (POPL 2004), pp. 111\u2013122. ACM, New York (2004)"},{"key":"34_CR33","first-page":"38","volume-title":"2006 Conf.\u00a0on Programming Language Design and Implementation (PLDI 2006)","author":"R. Grimm","year":"2006","unstructured":"Grimm, R.: Better Extensibility through Modular Syntax. In: 2006 Conf.\u00a0on Programming Language Design and Implementation (PLDI 2006), pp. 38\u201351. ACM, New York (2006)"},{"issue":"1","key":"34_CR34","first-page":"66","volume":"4","author":"J. Bosch","year":"1997","unstructured":"Bosch, J.: Delegating Compiler Objects: Modularity and Reusability in Language Engineering. Nordic J. of Computing\u00a04(1), 66\u201392 (1997)","journal-title":"Nordic J. of Computing"},{"issue":"11","key":"34_CR35","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/71605.71607","volume":"24","author":"J. Heering","year":"1989","unstructured":"Heering, J., Hendriks, P.R.H., Klint, P., Rekers, J.: The Syntax Definition Formalism SDF \u2013 Reference Manual. SIGPLAN Notices\u00a024(11), 43\u201375 (1989)","journal-title":"SIGPLAN Notices"},{"key":"34_CR36","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/1289971.1289983","volume-title":"6th Int\u2019l Conf.\u00a0on Generative Programming and Component Engineering (GPCE 2007)","author":"E.R.V. Wyk","year":"2007","unstructured":"Wyk, E.R.V., Schwerdfeger, A.C.: Context-Aware Scanning For Parsing Extensible Languages. In: 6th Int\u2019l Conf.\u00a0on Generative Programming and Component Engineering (GPCE 2007), pp. 63\u201372. ACM, New York (2007)"},{"key":"34_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903. Springer, Heidelberg (1995)"},{"key":"34_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-540-69489-2_20","volume-title":"Models in Software Engineering","author":"K. Berkenk\u00f6tter","year":"2007","unstructured":"Berkenk\u00f6tter, K.: OCL-based Validation of a Railway Domain Profile. In: Auletta, V. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 159\u2013168. Springer, Heidelberg (2007)"},{"key":"34_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-540-69100-6_11","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"M. Scheidgen","year":"2008","unstructured":"Scheidgen, M.: Textual Modelling Embedded into Graphical Modelling. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol.\u00a05095, pp. 153\u2013168. Springer, Heidelberg (2008)"},{"key":"34_CR40","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries. ECEASST\u00a05 (2006)"},{"key":"34_CR41","doi-asserted-by":"crossref","unstructured":"Kent, S.: Constraint Diagrams: Visualizing Assertions in Object-Oriented Models. In: OOPSLA, pp. 327\u2013341 (1997)","DOI":"10.1145\/263700.263756"},{"key":"34_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/3-540-45441-1_20","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"P. Bottoni","year":"2001","unstructured":"Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: A Visualization of OCL Using Collaborations. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 257\u2013271. Springer, Heidelberg (2001)"},{"key":"34_CR43","unstructured":"Kolovos, D.S., Rose, L., Page, R.F.: The Epsilon Book, http:\/\/www.eclipse.org\/gmt\/epsilon\/doc\/book\/"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21210-9_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,23]],"date-time":"2021-11-23T05:40:49Z","timestamp":1637646049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21210-9_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642212093","9783642212109"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21210-9_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}