{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:01:01Z","timestamp":1740096061468,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755623"},{"type":"electronic","value":"9783540755630"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-75563-0_15","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T07:07:07Z","timestamp":1194937627000},"page":"198-213","source":"Crossref","is-referenced-by-count":17,"title":["From Declarative to Imperative UML\/OCL Operation Specifications"],"prefix":"10.1007","author":[{"given":"Jordi","family":"Cabot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/s10270-004-0058-x","volume":"4","author":"W. Ahrendt","year":"2005","unstructured":"Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., H\u00e4hnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool, Integrating object oriented design and formal verification. Software and Systems Modeling\u00a04, 32\u201354 (2005)","journal-title":"Software and Systems Modeling"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/11663430_3","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"T. Baar","year":"2006","unstructured":"Baar, T.: OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 20\u201331. Springer, Heidelberg (2006)"},{"key":"15_CR3","unstructured":"Babes-Bolyai. Object Constraint Language Environment 2.0, http:\/\/lci.cs.ubbcluj.ro\/ocle\/"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1109\/32.469460","volume":"21","author":"A. Borgida","year":"1995","unstructured":"Borgida, A., Mylopoulos, J., Reiter, R.: On the frame problem in procedure specifications. IEEE Transactions on Software Engineering\u00a021, 785\u2013798 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR5","unstructured":"Borland. Borland\u00ae Together\u00ae Architect (2006)"},{"key":"15_CR6","unstructured":"Broersen, J., Wieringa, R.: Preferential Semantics for Action Specifications in First-order Modal Action Logic. In: Proc. of the ECAI\u201998 Workshop on Practical Reasoning and Rationality (1998)"},{"key":"15_CR7","unstructured":"Cabot, J.: Ambiguity issues in OCL postconditions. In: Proc. OCL for (Meta-) Models in Multiple Application Domain (workshop co-located with the MODELS\u201906 Conference), Technical Report, TUD-FI06-04-Sept (2006)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Cabot, J., Teniente, E.: Transformation Techniques for OCL Constraints. Science of Computer Programming (to appear), Available online: http:\/\/dx.doi.org\/10.1016\/j.scico.2007.05.001","DOI":"10.1016\/j.scico.2007.05.001"},{"key":"15_CR9","unstructured":"Dresden. Dresden, OCL Toolkit, http:\/\/dresden-ocl.sourceforge.net\/index.html"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/11663430_2","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"W.J. Dzidek","year":"2006","unstructured":"Dzidek, W.J., Briand, L.C., Labiche, Y.: Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 10\u201319. Springer, Heidelberg (2006)"},{"key":"15_CR11","unstructured":"Frias, L., Queralt, A., Oliv\u00e9, A.: EU-Rent Car Rentals Specification. LSI Technical Report, LSI-03-59-R (2003)"},{"key":"15_CR12","unstructured":"ISO\/TC97\/SC5\/WG3: Concepts and Terminology for the Conceptual Schema and Information Base (1982)"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1007\/11880240_47","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Kosiuczenko","year":"2006","unstructured":"Kosiuczenko, P.: Specification of Invariability in OCL. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 676\u2013691. Springer, Heidelberg (2006)"},{"key":"15_CR14","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process","author":"C. Larman","year":"2001","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, 2nd edn. Prentice-Hall, Englewood Cliffs (2001)","edition":"2"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-48054-4_6","volume-title":"Conceptual Modeling ER\u201999","author":"E. Mayol","year":"1999","unstructured":"Mayol, E., Teniente, E.: A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. In: Akoka, J., Bouzeghoub, M., Comyn-Wattiau, I., M\u00e9tais, E. (eds.) ER 1999. LNCS, vol.\u00a01727, pp. 62\u201373. Springer, Heidelberg (1999)"},{"key":"15_CR16","unstructured":"Mellor, S.J., Balcer, M.J.: Executable UML. Object Technology Series. Addison-Wesley, London, UK"},{"key":"15_CR17","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":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11431855_1","volume-title":"Advanced Information Systems Engineering","author":"A. Oliv\u00e9","year":"2005","unstructured":"Oliv\u00e9, A.: Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 1\u201315. Springer, Heidelberg (2005)"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/j.datak.2005.07.002","volume":"58","author":"A. Oliv\u00e9","year":"2006","unstructured":"Oliv\u00e9, A., Ravent\u00f3s, R.: Modeling events as entities in object-oriented conceptual modeling languages. Data Knowl. Eng.\u00a058, 243\u2013262 (2006)","journal-title":"Data Knowl. Eng."},{"key":"15_CR20","unstructured":"OMG: UML 2.0 OCL Specification. OMG Adopted Specification (ptc\/03-10-14)"},{"key":"15_CR21","unstructured":"OMG: UML 2.0 Superstructure Specification. OMG Adopted Specification (ptc\/03-08-02)"},{"key":"15_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/3-540-54834-3_4","volume-title":"VDM \u201991","author":"D.A. Penny","year":"1991","unstructured":"Penny, D.A., Holt, R.C., Godfrey, M.W.: Formal Specification in Metamorphic Programming. In: Prehn, S., Toetenel, H. (eds.) VDM 1991. LNCS, vol.\u00a0551, pp. 11\u201330. Springer, Heidelberg (1991)"},{"key":"15_CR23","unstructured":"Queralt, A., Teniente, E.: A Platform Independent Model for the Electronic Marketplace Domain. LSI Technical Report, LSI-05-9-R (2005)"},{"key":"15_CR24","first-page":"33","volume":"VII","author":"A. Queralt","year":"2006","unstructured":"Queralt, A., Teniente, E.: Specifying the Semantics of Operation Contracts in Conceptual Modeling. Journal on Data Semantics\u00a0VII, 33\u201356 (2006)","journal-title":"Journal on Data Semantics"},{"key":"15_CR25","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s002360050155","volume":"36","author":"K.-D. Schewe","year":"1999","unstructured":"Schewe, K.-D., Thalheim, B.: Towards a theory of consistency enforcement. Acta Informatica\u00a036, 97\u2013141 (1999)","journal-title":"Acta Informatica"},{"key":"15_CR26","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/3-540-45669-4_13","volume-title":"Object Modeling with the OCL, The Rationale behind the Object Constraint Language","author":"S. Sendall","year":"2002","unstructured":"Sendall, S., Strohmeier, A.: Using OCL and UML to Specify System Behavior. In: Object Modeling with the OCL, The Rationale behind the Object Constraint Language, pp. 250\u2013280. Springer, Heidelberg (2002)"},{"key":"15_CR27","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1023\/A:1026554217992","volume":"7","author":"T. Wahls","year":"2000","unstructured":"Wahls, T., Leavens, G.T., Baker, A.L.: Executing Formal Specifications with Concurrent Constraint Programming. Autom. Softw. Eng.\u00a07, 315\u2013343 (2000)","journal-title":"Autom. Softw. Eng."},{"key":"15_CR28","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1145\/299917.299919","volume":"30","author":"R. Wieringa","year":"1998","unstructured":"Wieringa, R.: A survey of structured and object-oriented software specification methods and techniques. ACM Computing Surveys\u00a030, 459\u2013527 (1998)","journal-title":"ACM Computing Surveys"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"W\u00fcthrich, B.: On Updates and Inconsistency Repairing in Knowledge Bases. In: Proc. 9th Int. Conf. on Data Engineering, pp. 608\u2013615 (1993)","DOI":"10.1109\/ICDE.1993.344019"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling - ER 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75563-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T07:28:18Z","timestamp":1737530898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75563-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540755623","9783540755630"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75563-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}