{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:02:02Z","timestamp":1725566522072},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540233077"},{"type":"electronic","value":"9783540301875"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30187-5_17","type":"book-chapter","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T19:50:15Z","timestamp":1285185015000},"page":"226-240","source":"Crossref","is-referenced-by-count":4,"title":["An ASM Definition of the Dynamic OCL 2.0 Semantics"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Flake","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Mueller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/3-540-45499-3_22","volume-title":"Algebraic Methodology and Software Technology","author":"E. B\u00f6rger","year":"2000","unstructured":"B\u00f6rger, E., Cavarra, A., Riccobene, E.: An ASM Semantics for UML Activity Diagrams. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 293\u2013308. Springer, Heidelberg (2000)"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-44518-8_13","volume-title":"Abstract State Machines - Theory and Applications","author":"E. B\u00f6rger","year":"2000","unstructured":"B\u00f6rger, E., Cavarra, A., Riccobene, E.: Modeling the Dynamics of UML State Machines. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol.\u00a01912, pp. 223\u2013241. Springer, Heidelberg (2000)"},{"key":"17_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines \u2013 A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines \u2013 A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"issue":"1","key":"17_CR4","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s10270-003-0035-9","volume":"3","author":"M.V. Cengarle","year":"2004","unstructured":"Cengarle, M.V., Knapp, A.: OCL 1.4\/1.5 vs. OCL 2.0 Expressions: Formal Semantics and Expressiveness. Software and Systems Modeling (SoSyM)\u00a03(1), 9\u201330 (2004)","journal-title":"Software and Systems Modeling (SoSyM)"},{"key":"17_CR5","unstructured":"Flake, S.: Towards the Completion of the Formal Semantics of OCL 2.0. In: 27th Australasian Computer Science Conference (ACSC 2004), Dunedin, New Zealand, pp. 73\u201382 (2004)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Flake, S., M\u00fcller, W.: Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Software and System Modeling (SoSyM), 2(3) (October 2003)","DOI":"10.1007\/s10270-003-0026-x"},{"key":"17_CR7","volume-title":"Specification and Validation Methods","author":"Y. Gurevich","year":"1994","unstructured":"Gurevich, Y.: Evolving Algebra 1993: Lipari Guide. In: B\u00f6rger, E. (ed.) Specification and Validation Methods, Oxford University Press, Oxford (1994)"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/3-540-40011-7_32","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"A. Kleppe","year":"2000","unstructured":"Kleppe, A., Warmer, J.: Extending OCL to Include Actions. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 440\u2013450. Springer, Heidelberg (2000)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/3-540-45669-4_11","volume-title":"Object Modeling with the OCL","author":"A. Kleppe","year":"2002","unstructured":"Kleppe, A., Warmer, J.: The Semantics of the OCL Action Clause. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol.\u00a02263, pp. 213\u2013227. Springer, Heidelberg (2002)"},{"key":"17_CR10","unstructured":"Kyas, M., de Boer, F.: On Message Specifications in OCL. In: UML 2003 Workshop on Compositional Verification of UML Models, San Francisco, CA, USA (October 2003)"},{"key":"17_CR11","unstructured":"OMG, Object Management Group. UML 2.0 OCL Specification. OMG Adopted Specification ptc\/03-10-14 (October 2003)"},{"key":"17_CR12","unstructured":"OMG, Object Management Group. Unified Modeling Language 1.5 Specification. OMG Document formal\/03-03-01 (March 2003)"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Richters, M.: A Precise Approach to Validating UML Models and OCL Constraints. PhD thesis, Universit\u00e4t Bremen, Bremen, Germany (2001)","DOI":"10.1007\/3-540-40011-7_19"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/3-540-45393-8_38","volume-title":"Conceptual Modeling - ER 2000","author":"M. Stumptner","year":"2000","unstructured":"Stumptner, M., Schrefl, M.: Behavior Consistent Inheritance in UML. In: Laender, A.H.F., Liddle, S.W., Storey, V.C. (eds.) ER 2000. LNCS, vol.\u00a01920, pp. 527\u2013542. Springer, Heidelberg (2000)"},{"key":"17_CR15","series-title":"Object Technology Series. Pearson Education, Inc.","volume-title":"The Object Constraint Language \u2013 Getting your Models Ready for MDA","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language \u2013 Getting your Models Ready for MDA. Object Technology Series. Pearson Education, Inc. Addison-Wesley, Reading (2003)"},{"key":"17_CR16","unstructured":"Ziemann, P., Gogolla, M.: An Extension of OCL with Temporal Logic. In: J\u00fcrjens, J., et al. (eds.) Critical Systems Development with UML, Technische Universit \u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, pp. 53\u201362 (2002)"}],"container-title":["Lecture Notes in Computer Science","<\u2009<UML>\u2009> 2004 - The Unified Modeling Language. Modelling Languages and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30187-5_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:46:23Z","timestamp":1605761183000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30187-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540233077","9783540301875"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30187-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}