{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T10:24:40Z","timestamp":1771237480184,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642114465","type":"print"},{"value":"9783642114472","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-11447-2_13","type":"book-chapter","created":{"date-parts":[[2010,1,8]],"date-time":"2010-01-08T14:47:12Z","timestamp":1262962032000},"page":"204-218","source":"Crossref","is-referenced-by-count":51,"title":["On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages"],"prefix":"10.1007","author":[{"given":"Dimitrios S.","family":"Kolovos","sequence":"first","affiliation":[]},{"given":"Richard F.","family":"Paige","sequence":"additional","affiliation":[]},{"given":"Fiona A. C.","family":"Polack","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Object Management Group. Meta Object Facility (MOF) 2.0 Core Specification, http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/03-10-04"},{"key":"13_CR2","unstructured":"Object Management Group. UML 2.0 OCL Specification, http:\/\/www.omg.org\/docs\/ptc\/03-10-14.pdf"},{"issue":"3","key":"13_CR3","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","volume":"7","author":"L. Burdy","year":"2005","unstructured":"Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer\u00a07(3), 212\u2013232 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-69149-5_16","volume-title":"Verified Software: Theories, Tools, Experiments","author":"M. Barnett","year":"2008","unstructured":"Barnett, M., DeLine, R., Jacobs, B., F\u00e4hndrich, M., Leino, K.R.M., Schulte, W., Venter, H.: The Spec# programming system: Challenges and directions. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol.\u00a04171, pp. 144\u2013152. Springer, Heidelberg (2008)"},{"key":"13_CR5","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"13_CR6","unstructured":"Kolovos, D.S.: Extensible Platform for Specification of Integrated Languages for mOdel maNagement (Epsilon), http:\/\/www.cs.york.ac.uk\/~dkolovos\/epsilon"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11787044_11","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"D.S. Kolovos","year":"2006","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon object language (EOL). In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol.\u00a04066, pp. 128\u2013142. Springer, Heidelberg (2006)"},{"key":"13_CR8","unstructured":"Chiorean, D., Bortes, M., Corutiu, D.: Proposals for a Widespread Use of OCL. In: Proc. Tool Support for OCL and Related Formalisms - Needs and Trends, Models\/UML 2005, Montego Bay, Jamaica (October 2005)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11767138_7","volume-title":"Advanced Information Systems Engineering","author":"J. Cabot","year":"2006","unstructured":"Cabot, J., Teniente, E.: Incremental Evaluation of OCL Constraints. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol.\u00a04001, pp. 81\u201395. Springer, Heidelberg (2006)"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/1134285.1134339","volume-title":"ICSE 2006: Proceeding of the 28th international conference on Software engineering","author":"A. Egyed","year":"2006","unstructured":"Egyed, A.: Instant consistency checking for the UML. In: ICSE 2006: Proceeding of the 28th international conference on Software engineering, Shanghai, China, pp. 381\u2013390. ACM Press, New York (2006)"},{"key":"13_CR11","unstructured":"Eclipse Foundation, http:\/\/www.eclipse.org"},{"key":"13_CR12","unstructured":"ArgoUML, http:\/\/argouml.tigris.org"},{"key":"13_CR13","unstructured":"Eclipse.org. Eclipse Modelling Framework, http:\/\/www.eclipse.org\/emf"},{"key":"13_CR14","unstructured":"Sun Microsystems. Meta Data Repository, http:\/\/mdr.netbeans.org"},{"key":"13_CR15","unstructured":"Epsilon component - Eclipse Generative Modeling Technology (GMT), http:\/\/www.eclipse.org\/gmt\/epsilon"},{"key":"13_CR16","unstructured":"Eclipse GMF - Graphical Modeling Framework, http:\/\/www.eclipse.org\/gmf"},{"key":"13_CR17","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development","author":"C. Larman","year":"2004","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development, 3rd edn. Prentice Hall PTR, Englewood Cliffs (2004)","edition":"3"},{"key":"13_CR18","unstructured":"openArchitectureWare, http:\/\/www.openarchitectureware.org\/"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Jouault, F., Bez\u00edvin, J.: Using ATL for Checking Models. In: Proc. International Workshop on Graph and Model Transformation (GraMoT), Tallinn, Estonia (September 2005)","DOI":"10.1016\/j.entcs.2006.01.015"}],"container-title":["Lecture Notes in Computer Science","Rigorous Methods for Software Construction and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11447-2_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:40:43Z","timestamp":1606185643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11447-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642114465","9783642114472"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11447-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}