{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T11:07:21Z","timestamp":1770289641395,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540208136","type":"print"},{"value":"9783540398660","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-39866-0_35","type":"book-chapter","created":{"date-parts":[[2010,10,25]],"date-time":"2010-10-25T16:30:09Z","timestamp":1288024209000},"page":"351-357","source":"Crossref","is-referenced-by-count":17,"title":["OCL Extended with Temporal Logic"],"prefix":"10.1007","author":[{"given":"Paul","family":"Ziemann","sequence":"first","affiliation":[]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control the book grow out of a Dagstuhl Seminar","year":"1996","unstructured":"Abrial, J.-R., B\u00f6rger, E., Langmaack, H. (eds.): Dagstuhl Seminar 1995. LNCS, vol.\u00a01165. Springer, Heidelberg (1996)"},{"key":"35_CR2","unstructured":"Boldsoft, Rational Software Corporation, and IONA. Response to the UML 2.0 OCL RfP (ad\/2000-09-03) (June 2002), Internet: \n                    \n                      http:\/\/www.klasse.nl\/ocl\/subm-draft-text.html"},{"key":"35_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/3-540-45923-5_14","volume-title":"Fundamental Approaches to Software Engineering","author":"J.C. Bradfield","year":"2002","unstructured":"Bradfield, J.C., Filipe, J.K., Stevens, P.: Enriching OCL Using Observational Mu-Calculus. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 203\u2013217. Springer, Heidelberg (2002)"},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"Conrad, S., Turowski, K.: Temporal OCL: Meeting Specification Demands for Business Components. In: Siau, K., Halpin, T. (eds.) Unified Modeling Language: Systems Analysis, Design and Development Issues. ch. 10, pp. 151\u2013166. Idea Publishing Group (2001)","DOI":"10.4018\/978-1-930708-05-1.ch010"},{"key":"35_CR5","first-page":"305","volume-title":"Formal Methods for Open Object-based Distributed Systems","author":"D. Distefano","year":"2000","unstructured":"Distefano, D., Katoen, J.-P., Rensink, A.: On a Temporal Logic for Object-Based Systems. In: Smith, S.F., Talcott, C.L. (eds.) Formal Methods for Open Object-based Distributed Systems, pp. 305\u2013326. Kluwer Acadeim Publishers, Dordrecht (2000); Report version: TR\u2013CTIT\u201300\u201306, Faculty of Informatics, University of Twente"},{"key":"35_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-45800-X_16","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"S. Flake","year":"2002","unstructured":"Flake, S., Mueller, W.: A UML Profile for Real-Time Constraints with the OCL. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 179\u2013195. Springer, Heidelberg (2002)"},{"key":"35_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer, New York (1992)"},{"key":"35_CR8","unstructured":"OMG. OMG Unified Modeling Language Specification, Version 1.5. Object Management Group, Inc., Framingham, Mass., Internet: (March 2003), \n                    \n                      http:\/\/www.omg.org"},{"key":"35_CR9","unstructured":"Ramakrishnan, S., McGregor, J.: Extending OCL to Support Temporal Operators. In: Proceedings of the 21st International Conference on Software Engineering (ICSE 1999) Workshop on Testing Distributed Component-Based Systems, LA, May 16-22 (1999)"},{"key":"35_CR10","unstructured":"Ziemann, P., Gogolla, M.: An Extension of OCL with Temporal Logic. In: J\u00fcrjens, J., Cengarle, M.V., Fernanez, E.B., Rumpe, B., Sandner, R. (eds.) Critical Systems Development with UML \u2013 Proceedings of the UML 2002 workshop, September 2002, pp. 53\u201362. TUM, Institut f\u00fcr Informatik (2002) TUM-I0208"},{"key":"35_CR11","unstructured":"Ziemann, P., Gogolla, M.: An OCL Extension for Formulating Temporal Constraints. Technical Report 1\/03, Universit\u00e4t Bremen (2003)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39866-0_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T21:48:28Z","timestamp":1553204908000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39866-0_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208136","9783540398660"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39866-0_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}