{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:26Z","timestamp":1725663926784},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540540090"},{"type":"electronic","value":"9783540473480"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54009-1_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:22:13Z","timestamp":1330208533000},"page":"308-324","source":"Crossref","is-referenced-by-count":1,"title":["Temporal specifications of object behavior"],"prefix":"10.1007","author":[{"given":"Constantin","family":"Arapis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"22_CR1","unstructured":"C. Arapis. \u201cType Conversion and Enhancement in Object Oriented Systems\u201d. In Object Oriented Development, Centre Universitaire d'Informatique, Universite de Geneve, edited by D. Tsichritzis, June 1989."},{"key":"22_CR2","unstructured":"C. Arapis. \u201cSpecifying Object Life-Cycles\u201d. In Object Management, Centre Univeristaire d'Informatique, Universite de Geneve, edited by D. Tsichritzis, July 1990."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"F. Bancilhon. \u201cObject Oriented Database Systems\u201d. Invited lecture in 7 th ACM SIGART-SIGMOD-SIGACT Symposium on Principles of Database Systems, Austin, Texas, March 1988.","DOI":"10.1145\/308386.308429"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"J. Banerjee, H.T. Chou, J. Garsa, W. Kim, D. Woelk, N. Ballou, H.J. Kim. \u201cData model issues for object oriented applications\u201d. ACM Transactions on Office Information Systems, Vol. 5, No. 1, January 1987.","DOI":"10.1145\/22890.22945"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"M.J. Carey, D.J. DeWitt, S.L. Vandenberg. \u201cA Data Model and Query Language for EXODUS\u201d. Proceedings of the SIGMOD Conference, Chicago, Illinois, June 1988.","DOI":"10.1145\/50202.50252"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"E. Casais. \u201cAn Object Oriented System Implementing KNOs\u201d. Proceedings of the Conference on Office Information Systems (COIS), Palo Alto, March 1988.","DOI":"10.1145\/45410.45441"},{"key":"22_CR7","unstructured":"A. Emerson, T. Sadler, J. Srinivasan. \u201cEfficient Temporal Reasoning\u201d. 16 th ACM Symposium on Principles of Programming Languages, 1989."},{"key":"22_CR8","unstructured":"D.H. Fishmann and al. \u201cIris: An Object Oriented Database Management System\u201d. ACM Transactions on Office Information Systems, Vol. 5, No. 1, January 1987."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"D. Gabbay, A. Pnueli, S. Shelah, J. Stavi. \u201cOn the temporal analysis of fairness\u201d. 7 th ACM Symposium on Principles of Programming Languages, 1980.","DOI":"10.1145\/567446.567462"},{"key":"22_CR10","unstructured":"J. Guyot. Un modele de traitements pour les bases de donnees: un formalisme pour la conception la validation et l'execution de la specification d'une application. These No 2204, Universite de Geneve, 1986."},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"J. Hendler. \u201cEnhancement for multiple-inheritance\u201d. ACM SIGPLAN Notices, Vol. 21, No. 10, October 1986.","DOI":"10.1145\/323648.323748"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"S. Khoshafian, G. Copeland. \u201cObject Identity\u201d. Proceedings of the OOPSLA Conference, Portland, Oregon, September 1986.","DOI":"10.1145\/28697.28739"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"C. H. Kung, \u201cOn Verification of Database Temporal Constraints\u201d. Proceedings of the SIGMOD Conference, Austin, Texas, May 1985.","DOI":"10.1145\/318898.318911"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"L. Lamport. \u201cSpecifying Concurrent Program Modules\u201d. ACM Transactions on Programming Languages and Systems, Vol. 5, No. 2, April 1983.","DOI":"10.1145\/69624.357207"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"C. Lecluse, P. Richard, F. Velez, \u201cO2, an Object Oriented Data Model\u201d. Proceedings of the SIGMOD Conference, Chicago, Illinois, June 1988.","DOI":"10.1145\/50202.50253"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"U. Lipeck. \u201cStepwise Specification of Dynamic Database Behaviour\u201d. Proceedings of the SIGMOD Conference, Washington, May 1986.","DOI":"10.1145\/16894.16892"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"U. Lipeck, G. Saake. \u201cMonitoring Dynamic Integrity Constraints on Temporal Logic\u201d. Information Systems, Vol. 12, No. 3, 1987.","DOI":"10.1016\/0306-4379(87)90004-4"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"D. Maier, J. Stein, A. Otis, A. Purdy. \u201cDevelopment of an Object Oriented DBMS\u201d. Proceedings of the OOPSLA Conference, Portland, Oregon, September 1986.","DOI":"10.1145\/28697.28746"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Z. Manna, P. Wolper. \u201cSynthesis of Communicating Process\u201d. ACM Transactions on Programming Languages and Systems, Vol. 6, No. 1, June 1984.","DOI":"10.1145\/357233.357237"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"B. Pernici. \u201cObject with Roles\u201d. Proceedings of the Conference on Office Information Systems (COIS), Cambridfe, Massachusetts, 1990.","DOI":"10.1145\/91474.91542"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"A. Pnueli. \u201cApplications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends\u201d. In Current Trends in Concurrency, edited by Bakker, Roever, Rozenberg, LNCS 224, Springer Verlag, 1986.","DOI":"10.1007\/BFb0027047"},{"key":"22_CR22","unstructured":"A. Oberweis, G. Laussen. \u201cTemporal Aspects in Office Information Systems\u201d. Proceeding of the IFIP WG8.4 Working Conference on Methods And Tools For Office Systems (Pisa) 1986."},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"A. Sernadas. \u201cTemporal Aspects of Logical Procedure Definition\u201d. Information Systems, Vol. 5, 1980.","DOI":"10.1016\/0306-4379(80)90009-5"},{"key":"22_CR24","unstructured":"A. Solvberg, C. H. Kung. \u201cOn Structural and Behavioral Modelling of Reality\u201d. Proceeding of the IFIP WG 2.6 Conference on Data Semantics, 1985."},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"D. Tsichritzis, E. Fiume, S. Gibbs, O. Nierstrasz. \u201cKNOs: knowledge acquisition, dissemination and manipulation objects\u201d. ACM Transactions on Office Information Systems, Vol. 5, No. 1, January 1987.","DOI":"10.1145\/22890.23001"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"D. Tsichritzis, O. Nierstrasz. \u201cDirections in Object Oriented Research\u201d. In Active Object Environments, Centre Univeristaire d'Informatique, Universite de Geneve, edited by D. Tsichritzis, June 1988.","DOI":"10.1145\/63320.66515"},{"key":"22_CR27","doi-asserted-by":"crossref","unstructured":"S. Weiser, F. Lochovsky. \u201cOZ+: An Object-Oriented Database System\u201d. In Object-Oriented Concepts, Databases, and Applications, edited by W. Kim, F. Lochovsky, ACM Press, 1989.","DOI":"10.1145\/63320.66508"},{"key":"22_CR28","unstructured":"P. Wolper. \u201cOn the Relation of Programs and Computations to Models of Temporal Logic\u201d. In Temporal Logic in Specification, LNCS 398, Springer Verlag, April 1987."}],"container-title":["Lecture Notes in Computer Science","MFDBS 91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54009-1_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:21Z","timestamp":1619572701000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54009-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540540090","9783540473480"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-54009-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}