{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:41:33Z","timestamp":1725550893298},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433538"},{"type":"electronic","value":"9783540459231"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45923-5_14","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:12:13Z","timestamp":1269882733000},"page":"203-217","source":"Crossref","is-referenced-by-count":23,"title":["Enriching OCL Using Observational Mu-Calculus"],"prefix":"10.1007","author":[{"given":"Julian","family":"Bradfield","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juliana K\u00fcster","family":"Filipe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Perdita","family":"Stevens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"unstructured":"Boldsoft, Rational Software Corporation, and IONA. Response to the UML2.0 OCL RfP. http:\/\/www.klasse.nl\/ocl\/subm-draft-text.html , August 2001.","key":"14_CR1"},{"doi-asserted-by":"crossref","unstructured":"J.C. Bradfield and P. Stevens. Observational mu-calculus. In Proceedings of FICS\u201998, 1998. An extended version is available as BRICS-RS-99-5.","key":"14_CR2","DOI":"10.7146\/brics.v6i5.20062"},{"doi-asserted-by":"crossref","unstructured":"J.C. Bradfield and C.P. Stirling. Modal logics and mu-calculi: an introduction. In J.A. Bergstra, A. Ponse, and S.A. Smolka, editors, Handbook of Process Algebra, chapter 4, pages 293\u2013330. Elsevier, 2001.","key":"14_CR3","DOI":"10.1016\/B978-044482830-9\/50022-9"},{"doi-asserted-by":"crossref","unstructured":"D. Distefano, J.-P. Katoen, and A. Rensink. On a temporal logic for object-based systems. In S. F. Smith and C. L. Talcott, editors, Formal Methods for Open Object-based Distributed Systems, pages 305\u2013326. Kluwer, 2000.","key":"14_CR4","DOI":"10.1007\/978-0-387-35520-7_16"},{"unstructured":"D. D\u2019souza and A.C. Wills. Objects, Components, and Frameworks with UML: The Catalysis Approach. Object Technology Series. Addison-Wesley, 1999.","key":"14_CR5"},{"unstructured":"A. Hamie, R. Mitchell, and J. Howse. Time-based constraints in the Object Constraint Language. Technical Report CMS-00-01, University of Brighton, 2000.","key":"14_CR6"},{"key":"14_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1007\/3-540-40011-7_32","volume-title":"Extending OCL to include actions","author":"A. Kleppe","year":"2000","unstructured":"A. Kleppe and J. Warmer. Extending OCL to include actions. In S. Kent and A. Evans, editors, UML\u20192000\u2014 The Unified Modeling Language: Advancing the Standard, Third International Conference, York, UK, October 2\u20136, 2000, volume 1939 of LNCS, pages 440\u2013450. Springer, 2000."},{"unstructured":"OMG. Unified Modeling Language Specification version 1.4 draft, February 2001. OMG document 01-02-14 available from http:\/\/www.omg.org .","key":"14_CR8"},{"unstructured":"S. Ramakrishnan and J. McGregor. Extending OCL to support temporal operators. In A. Ulrich, editor, ICSE\u201999 Workshop on Testing Distributed Component-based Systems, Los Angeles, California, USA, May 1999.","key":"14_CR9"},{"unstructured":"J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modelling with UML. Object Technology Series. Addison-Wesley, 1999.","key":"14_CR10"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45923-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:54:36Z","timestamp":1558968876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45923-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433538","9783540459231"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45923-5_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}