{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:31Z","timestamp":1761611311782},"publisher-location":"Boston, MA","reference-count":23,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781475710182"},{"type":"electronic","value":"9780387355207"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":[[2000]]},"DOI":"10.1007\/978-0-387-35520-7_16","type":"book-chapter","created":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T08:32:14Z","timestamp":1344587534000},"page":"305-325","source":"Crossref","is-referenced-by-count":17,"title":["On a Temporal Logic for Object-Based Systems"],"prefix":"10.1007","author":[{"given":"Dino","family":"Distefano","sequence":"first","affiliation":[]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[]},{"given":"Arend","family":"Rensink","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","first-page":"682","volume-title":"Theory and Practice of Software Development (TAPSOFT), LNCS 1214","author":"M Abadi","year":"1997","unstructured":"M. Abadi and K.R.M. Leino. A logic of object-oriented programs. In Theory and Practice of Software Development (TAPSOFT), LNCS 1214, pp. 682\u2013696, 1997."},{"key":"16_CR2","volume-title":"Foundations of Object-Oriented Languages (FOOL)","author":"DS Andersen","year":"1997","unstructured":"D.S. Andersen, L.H. Pedersen, H. H\u00fcttel and J. Kleist. Objects, types and modal logics. In Foundations of Object-Oriented Languages (FOOL), 1997."},{"key":"16_CR3","volume-title":"EuroPar99, LNCS 1685, pp. 13441352, Springer","author":"J-P Bahsoun","year":"1999","unstructured":"J.-P. Bahsoun, R. El-Baida, and H.-O. Yar. Decision procedure for temporal logic of concurrent objects. In EuroPar\u201999, LNCS 1685, pp. 13441352, Springer, 1999."},{"key":"16_CR4","volume-title":"Automata, Languages, and Programming (ICALP), LNCS 443, pp. 572-585, Springer","author":"FS Boer","year":"1990","unstructured":"F.S. de Boer. A proof system for the parallel object-oriented language POOL. In Automata, Languages, and Programming (ICALP), LNCS 443, pp. 572\u2013585, Springer 1990."},{"key":"16_CR5","volume-title":"Addison-Wesley","author":"G Booch","year":"1998","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998."},{"key":"16_CR6","volume-title":"Logic of Programs, LNCS 131, pp. 52-71, Springer","author":"EM Clarke","year":"1981","unstructured":"E.M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Logic of Programs, LNCS 131, pp. 52\u201371, Springer, 1981."},{"issue":"6","key":"16_CR7","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/6.499951","volume":"33","author":"EM Clarke","year":"1996","unstructured":"E.M. Clarke and R. Kurshan. Computer-aided verification. IEEE Spectrum, 33 (6): 61\u201367, 1996.","journal-title":"IEEE Spectrum"},{"key":"16_CR8","volume-title":"MIT Press","author":"EM Clarke","year":"1999","unstructured":"E.M. Clarke, O. Grumberg and D. Peled. Model Checking. MIT Press, 1999."},{"key":"16_CR9","volume-title":"The Unified Modeling Language \u2014 Technical Aspects and Applications, Physica-Verlag","author":"M Gogolla","year":"1998","unstructured":"M. Gogolla and M. Richters. On constraints and queries in UML. In The Unified Modeling Language \u2014 Technical Aspects and Applications, Physica-Verlag, 1998."},{"key":"16_CR10","volume-title":"The Unified Modeling Language (UML), LNCS, pp. 137-145, Springer","author":"A Hamie","year":"1998","unstructured":"A. Hamie, F. Civello, J. Howse, S. Kent, and R. Mitchell. Reflections on the Object Constraint Language. In The Unified Modeling Language (UML), LNCS, pp. 137\u2013145, Springer, 1998."},{"key":"16_CR11","volume-title":"Asia Pacific Software Engineering Conference, pp. 288295. IEEE CS Press","author":"A Hamie","year":"1998","unstructured":"A. Hamie, J. Howse, and S. Kent. Interpreting the Object Constraint Language. In Asia Pacific Software Engineering Conference, pp. 288295. IEEE CS Press, 1998."},{"key":"16_CR12","volume-title":"Object Orientation with Parallelism and Persistence, pp. 1-22, Kluwer","author":"SJ Hodges","year":"1996","unstructured":"S.J. Hodges and C. B. Jones. Non-interference properties of a concurrent object-based language: Proofs based on an operational semantics. In Object Orientation with Parallelism and Persistence, pp. 1\u201322, Kluwer, 1996."},{"key":"16_CR13","volume-title":"Fundamental Approaches to Software Eng. (FASE), LNCS 1783, Springer","author":"K Huizing","year":"2000","unstructured":"K. Huizing and R. Kuiper and SOOP. Verification of object-oriented programs using class invariants. In Fundamental Approaches to Software Eng. (FASE), LNCS 1783, Springer 2000."},{"issue":"2","key":"16_CR14","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/226163.226166","volume":"14","author":"R Jungclaus","year":"1996","unstructured":"R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. TROLL\u2013a language for object-oriented specification of information systems. ACM Trans. on Inf. Sys., 14 (2): 175\u2013211, 1996.","journal-title":"ACM Trans. on Inf. Sys."},{"key":"16_CR15","volume-title":"On the expressive power of the Object Constraint Language OCL","author":"L Mandel","year":"1999","unstructured":"L. Mandel and M. V. Cengarle. On the expressive power of the Object Constraint Language OCL. Technical report, Forschungsinstitut f\u00fcr angewandte Software-Technologie (FAST e.V. ), 1999."},{"key":"16_CR16","volume-title":"Prentice Hall","author":"B Meyer","year":"1992","unstructured":"B. Meyer. Eiffel: The Language. Prentice Hall, 1992."},{"key":"16_CR17","unstructured":"Rational Software Corporation. Object Constraint Language Specification, version 1.1, 1997. (available from www.rational.com\/um1)."},{"key":"16_CR18","volume-title":"Programming Concepts and Methods (PRO-COMET), pp. 404-424, Kluwer","author":"A Poetzsch-Heffter","year":"1998","unstructured":"A. Poetzsch-Heffter and P. M\u00fcller. Logical foundations for typed object-oriented languages. In Programming Concepts and Methods (PRO-COMET), pp. 404\u2013424, Kluwer, 1998."},{"key":"16_CR19","volume-title":"Conceptual Modeling (ER98), LNCS 1507, pp. 449464, Springer","author":"M Richters","year":"1998","unstructured":"M. Richters and M. Gogolla. On formalizing the UML object constraint language OCL. In Conceptual Modeling (ER\u201998), LNCS 1507, pp. 449464, Springer, 1998."},{"key":"16_CR20","volume-title":"Addison-Wesley","author":"J Rumbaugh","year":"1998","unstructured":"J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Guide. Addison-Wesley, 1998."},{"issue":"5","key":"16_CR21","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1093\/logcom\/5.5.603","volume":"5","author":"A Sernadas","year":"1995","unstructured":"A. Sernadas, C. Sernadas, and J.F. Costa. Object specification logic. J. of Logic and Computation, 5 (5): 603\u2013630, 1995.","journal-title":"J. of Logic and Computation"},{"key":"16_CR22","volume-title":"Addison-Wesley","author":"J Wanner","year":"1998","unstructured":"J. Wanner and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998."},{"key":"16_CR23","unstructured":"J. Warmer and A. Kleppe. OCL: The constraint language of the UML. J. of Obj.-Or. Progr., 12(1):10\u201313and28, 1999."}],"container-title":["IFIP Advances in Information and Communication Technology","Formal Methods for Open Object-Based Distributed Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-35520-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T20:25:25Z","timestamp":1557174325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-35520-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9781475710182","9780387355207"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-35520-7_16","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2000]]}}}