{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:52:40Z","timestamp":1725533560254},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642026737"},{"type":"electronic","value":"9783642026744"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02674-4_14","type":"book-chapter","created":{"date-parts":[[2009,6,22]],"date-time":"2009-06-22T21:20:46Z","timestamp":1245705646000},"page":"190-205","source":"Crossref","is-referenced-by-count":8,"title":["Temporal Extensions of OCL Revisited"],"prefix":"10.1007","author":[{"given":"Michael","family":"Soden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hajo","family":"Eichler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"OMG: OCL 2.0 Specification. Object Management Group (2006) formal\/2006-05-01"},{"key":"14_CR2","unstructured":"Ziemann, P., Gogolla, M.: An extension of OCL with temporal logic. In: Critical Systems Development with UML, pp. 53\u201362 (2002)"},{"key":"14_CR3","first-page":"305","volume-title":"Formal Methods for Open Objectbased Distributed Systems","author":"D. Distefano","year":"2000","unstructured":"Distefano, D., Katoen, J.-P., Rensink, A.: On a temporal logic for object-based systems. In: Formal Methods for Open Objectbased Distributed Systems, pp. 305\u2013326. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","first-page":"150","volume-title":"Advances in Object Modelling with the OCL","author":"S. Flake","year":"2001","unstructured":"Flake, S., Mueller, W.: An OCL extension for real-time constraints. In: Advances in Object Modelling with the OCL. LNCS, pp. 150\u2013171. Springer, Heidelberg (2001)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-45614-7_22","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"M.V. Cengarle","year":"2002","unstructured":"Cengarle, M.V., Knapp, A.: Towards OCL\/RT. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 390\u2013409. Springer, Heidelberg (2002)"},{"key":"14_CR6","unstructured":"Soden, M., Eichler, H.: Enterprise Modelling and Information Systems Architectures - Concepts and Applications. In: Proceedings of the 2nd International Workshop on Enterprise Modelling and Information Systems Architectures. LNI, vol.\u00a0P-119. GI (2007)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/978-3-540-72901-3_12","volume-title":"Model Driven Architecture - Foundations and Applications","author":"M. Scheidgen","year":"2007","unstructured":"Scheidgen, M., Fischer, J.: Human comprehensible and machine processable specifications of operational semantics. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA. LNCS, vol.\u00a04530, pp. 157\u2013171. Springer, Heidelberg (2007)"},{"key":"14_CR8","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1007\/BFb0027252","volume-title":"Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995)","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: Steam-boiler control specification problem. In: Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995), London, UK, pp. 500\u2013509. Springer, Heidelberg (1996)"},{"issue":"5-6","key":"14_CR9","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/S1570-8683(03)00008-9","volume":"1","author":"R. Goldblatt","year":"2003","unstructured":"Goldblatt, R.: Mathematical modal logic: a view of its evolution. J. of Applied Logic\u00a01(5-6), 309\u2013392 (2003)","journal-title":"J. of Applied Logic"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Herr, L., van den Bussche, J.: Temporal versus first-order logic in query temporal databases. In: ACM Symposium on Principles of Database Systems, Montreal, Canada, pp. 49\u201357 (1996)","DOI":"10.1145\/237661.237674"},{"key":"14_CR11","unstructured":"Humbold University Berlin: M3Actions - Operational Semantics for MOF Metamodels (2008), http:\/\/www.metamodels.de"},{"key":"14_CR12","unstructured":"Soden, M., Eichler, H.: Eclipse Proposal: Model Execution Framework (2009), http:\/\/www.eclipse.org\/proposals\/mxf\/"},{"key":"14_CR13","unstructured":"Soden, M.: Operational semantics for MOF metamodels: Tutorial on M3Actions (2008)"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Conrad, S., Turowski, K.: Temporal OCL meeting specification demands for business components. In: Unified Modeling Language: Systems Analysis, Design and Development Issues, pp. 151\u2013165 (2001)","DOI":"10.4018\/978-1-930708-05-1.ch010"},{"key":"14_CR15","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":"14_CR16","unstructured":"Ziemann, P., Gogolla, M.: An OCL extension for formulating temporal constraints. Technical report, Universit\u00e4t Bremen (2003)"},{"key":"14_CR17","unstructured":"Distefano, D., Katoen, J.-P., Rensink, A.: Towards model checking OCL. In: Proceedings, ECOOP Workshop on a Precise Semantics for UML (2000)"},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1109\/ASE.2001.989799","volume-title":"Proceedings, International Conference on Automated Software Engineering (ASE 2001)","author":"K. Havelund","year":"2001","unstructured":"Havelund, K., Technology, K., Rosu, G.: Monitoring programs using rewriting. In: Proceedings, International Conference on Automated Software Engineering (ASE 2001), pp. 135\u2013143. IEEE, Los Alamitos (2001)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Architecture - Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02674-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,19]],"date-time":"2020-05-19T19:32:19Z","timestamp":1589916739000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02674-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642026737","9783642026744"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02674-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}