{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:42:55Z","timestamp":1725486175608},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431695"},{"type":"electronic","value":"9783540456698"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45669-4_8","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T17:25:02Z","timestamp":1180891502000},"page":"150-171","source":"Crossref","is-referenced-by-count":25,"title":["An OCL Extension for Real-Time Constraints"],"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","published-online":{"date-parts":[[2002,2,21]]},"reference":[{"key":"8_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-40006-0_3","volume-title":"The KeY Approach: Integrating Object Oriented Design and Formal Verification","author":"W. Ahrendt","year":"2000","unstructured":"W. Ahrendt, T. Baar, B. Beckert, M. Giese, E. Habermalz, R. H\u00e4hnle, W. Menzel, and P. H. Schmitt. The KeY Approach: Integrating Object Oriented Design and Formal Verification. In M. Ojeda-Aciego, I. P. de Guzm\u00e1n, G. Brewka, and L. M. Pereira, editors, 8th European Workshop on Logics in AI (JELIA), Malaga, Spain, volume 1919 of Lecture Notes in Computer Science, pages 21\u201336. Springer-Verlag, Oct. 2000."},{"key":"8_CR2","unstructured":"T. Baar and R. H\u00e4hnle. An Integrated Metamodel for OCL Types. In R. France, B. Rumpe, J.-M. Bruel, A. Moreira, J. Whittle, and I. Ober, editors, Proc. of OOPSLA 2000, Workshop Refactoring the UML: In Search of the Core, Minneapolis, Minnesota, USA, 2000."},{"key":"8_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/BFb0054174","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"U. Brockmeyer","year":"1998","unstructured":"U. Brockmeyer and G. Wittich. Tamagotchis Need Not Die-Verification of STATEMATE Designs. In B. Steffen, editor, Tools and Algorithms for the Construction and Analysis of Systems, volume 1384 of Lecture Notes in Computer Science, pages 217\u2013231. Springer-Verlag, 1998."},{"key":"8_CR4","unstructured":"E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT PRESS, 1999."},{"key":"8_CR5","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, Proc. of FMOODS\u20192000-Formal Methods for Open Object-Based Distributed Systems IV, Stanford, CA, USA, September 2000.","DOI":"10.1007\/978-0-387-35520-7_16"},{"key":"8_CR6","unstructured":"R. Elmasri and S. B. Navathe. Fundamentals of Database Systems. Addison-WesleyWorld Student Series, 3rd edition, 2000."},{"key":"8_CR7","unstructured":"Object Management Group (OMG). UML Unified Modeling Language Specification, Version 1.3, March 2000. URL: \n                  http:\/\/www.omg.org\/technology\/documents\/formal\/uml.htm\n                  \n                 (last visited on July 11th, 2001)."},{"key":"8_CR8","unstructured":"S. Ramakrishnan and J. McGregor. Extending OCL to Support Temporal Operators. In Proc. of the 21st International Conference on Software Engineering (ICSE99),Workshop on Testing Distributed Component-Based Systems, Los Angeles, May 1999."},{"key":"8_CR9","unstructured":"S. Ramakrishnan and J. McGregor. Modelling and Testing OO Distributed Systems with Temporal Logic Formalisms. In 18th International IASTED Conference Applied Informatics\u20192000, Innsbruck, Austria, 2000."},{"key":"8_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/3-540-46852-8_12","volume-title":"A Metamodel for OCL","author":"M. Richters","year":"1999","unstructured":"M. Richters and M. Gogolla. A Metamodel for OCL. In R. France and B. Rumpe, editors, UML\u201999-The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, volume 1723 of Lecture Notes in Computer Science, pages 156\u2013171. Springer-Verlag, 1999."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"J. Ruf and T. Kropf. Symbolic Model Checking for a Discrete Clocked Temporal Logic with Intervals. In E. Cerny and D. Probst, editors, Conference on Correct Hardware Design and Verification Methods (CHARME), pages 146\u2013166, Montreal, Canada, October 1997. IFIP WG 10.5, Chapman and Hall.","DOI":"10.1007\/978-0-387-35190-2_10"},{"key":"8_CR12","unstructured":"J. Warmer. The Draft 1.4 OCL Grammar, Version 0.1c. Technical report, Klasse Objecten, June 2000. URL: \n                  http:\/\/www.klasse.nl\/ocl\/ocl-grammar-01c.pdf\n                  \n                 (last visited on July 11th, 2001)."},{"key":"8_CR13","unstructured":"J. Warmer. UML 1.4 RTF: OCL Issues-Changes from 1.3 to 1.4. Technical report, Klasse Objecten, March 2000. URL: \n                  http:\/\/www.klasse.nl\/ocl\/ocl-issues.pdf\n                  \n                 (last visited on July 11th, 2001)."}],"container-title":["Lecture Notes in Computer Science","Object Modeling with the OCL"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45669-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T23:02:02Z","timestamp":1550358122000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45669-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431695","9783540456698"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45669-4_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}