{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:49:41Z","timestamp":1725986981562},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56777-1_21","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:31:06Z","timestamp":1330237866000},"page":"397-415","source":"Crossref","is-referenced-by-count":7,"title":["An object-oriented temporal model"],"prefix":"10.1007","author":[{"given":"Nina","family":"Edelweiss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Palazzo M.","family":"de Oliveira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Pernici","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"21_CR1","first-page":"214","volume-title":"ACM Annual Conference, Denver, Oct. 14\u201316, 1985. Proceedings","author":"M. Adiba","year":"1985","unstructured":"M. Adiba; N.B. Quang; J. Palazzo M. de Oliveira. Time concept in generalized data bases. In: ACM Annual Conference, Denver, Oct. 14\u201316, 1985. Proceedings. New York, ACM, 1985. p.214\u201323."},{"issue":"n.5","key":"21_CR2","first-page":"457","volume":"6","author":"M. Adiba","year":"1987","unstructured":"M. Adiba; N.B. Quang; C. Collet. Aspect temporels, historiques et dynamiques des bases de donn\u00e9es, TSI \u2014 Technique et Science Informatiques, AFCET-Bordas. v.6, n.5, p.457\u2013478, 1987.","journal-title":"TSI \u2014 Technique et Science Informatiques, AFCET-Bordas"},{"issue":"n.11","key":"21_CR3","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. F. Allen","year":"1983","unstructured":"J.F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, New York, v.26, n.11, p.832\u201343, Nov. 1983.","journal-title":"Communications of the ACM"},{"key":"21_CR4","unstructured":"C. Arapis. Specifying object interactions. D. Tsichritzis (ed.) Objects Composition. Gencbra, Universit\u00e9 de Gen\u00e8ve, 1991. p.303\u201322."},{"issue":"n.1","key":"21_CR5","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0306-4379(83)90029-7","volume":"8","author":"A. Bolour","year":"1983","unstructured":"A. Bolour; L.J. Dekeyser. Abslraclions in temporal information. Information Systems, Great Britain, v.8, n.1, p.41\u20139, 1983.","journal-title":"Information Systems"},{"key":"21_CR6","first-page":"31","volume-title":"Temporal Aspects in Information Systems","author":"J. Carmo","year":"1988","unstructured":"J. Carmo; A. Sernadas. A Temporal logic framework for a layered approach to systems specification and verification. In: C. Rolland; F. Bodart; M. Leonard (eds.) Temporal Aspects in Information Systems. Amsterdam, North-Holland, 1988. p.31\u201346."},{"key":"21_CR7","unstructured":"J.M.V. Castilho: M.A. Casanova: A.L. Furtado. A Temporal framework for database specifications. In: International Conference On Very Large Data Bases, 8., Mexico City, Sept. 1982. Proceedings. Mexico City, 1982. p.280\u201391."},{"issue":"n.4","key":"21_CR8","first-page":"11","volume":"11","author":"J. Clifford","year":"1988","unstructured":"J. Clifford; A. Croker. Objects in time. Data Engineering, Washington, v.11, n.4, p.11\u201318, Dec. 1988.","journal-title":"Data Engineering"},{"key":"21_CR9","first-page":"17","volume-title":"Temporal Aspects in Information Systems","author":"J. Clifford","year":"1988","unstructured":"J. Clifford; A. Rao. A Simple, general structure for temporal domains. In: C. Rolland; F. Bodart; M. Leonard (eds.) Temporal Aspects in Information Systems. Amsterdam, North-Holland, 1988. p. 17\u201328."},{"key":"21_CR10","first-page":"92","volume-title":"Proceedings","author":"E. Corsetti","year":"1991","unstructured":"E. Corsetti: E. Crivelli; A. Mandrioli; A. Montanari; A.C. Morzenti; P. San Pietro; E. Ratto. Dealing with different time scales in formal specifications. International Workshop On Software Specification And Design, 6., Como, Italy, Oct. 25\u20136, 1991. Proceedings. IEEE Computer Society Press, 1991. p.92\u2013101."},{"key":"21_CR11","first-page":"117","volume-title":"Object Oriented Approach in Information Systems","author":"V. Deantonellis","year":"1991","unstructured":"V. Deantonellis; B. Pernici: P. Samarati. F-ORM Method: a F-ORM Methodology for reusing specifications. In: F.V. Assche; B. Moulin; C. Rolland (eds.) Object Oriented Approach in Information Systems. Amsterdam, North-Holland, 1991. p.117\u201335."},{"key":"21_CR12","first-page":"289","volume-title":"Proceedings","author":"M. Finger","year":"1991","unstructured":"M. Finger; P. Mcbrien; R. Owens. Databases and executable temporal logic. In: Esprit '91 Annual Esprit Conference, Brussels, Nov. 25\u201329, 1991. Proceedings. Brussels, ECSC, 1991. p.289\u2013302."},{"key":"21_CR13","first-page":"423","volume-title":"Proceedings","author":"D. Gabbay","year":"1991","unstructured":"D. Gabbay; P. Mcbrian. Temporal logic & historical databases. In: International Conference On Very Large Databases, 17., Barcelona, Sept. 3\u20136, 1991. Proceedings. Barcelona, Industria Grafica, 1991. p.423\u201330."},{"key":"21_CR14","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/978-1-4612-4980-1_37","volume-title":"On Knowledge Base Systems","author":"S. J. Greenspan","year":"1986","unstructured":"S.J. Greenspan; A. Borgida; J. Mylopoulos. A Requirements modeling language and its logic. In: M.L. Brodie: J. Mylopoulos (eds.) On Knowledge Base Systems. Springer-Verlag. New York, 1986. p.471\u2013502."},{"issue":"n.3","key":"21_CR15","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/140979.140996","volume":"21","author":"C. S. Jensen","year":"1992","unstructured":"C.S. Jensen et al. A Glossary of temporal database concepts. SIGMOD Record, v.21, n.3, p.35\u201343. Sept. 1992.","journal-title":"SIGMOD Record"},{"key":"21_CR16","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"R. Kowalski; M. Sergot. A Logic based calculus of events. New Generation Computing, 4, 1986. p.67\u201395.","journal-title":"New Generation Computing"},{"issue":"n.3","key":"21_CR17","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0306-4379(87)90004-4","volume":"12","author":"U. W. Lipeck","year":"1987","unstructured":"U.W. Lipeck, G. Saake. Monitoring dynamic integrity constraints based on temporal logic. Information Systems. GB, v.12, n.3, p.255\u201369, 1987.","journal-title":"Information Systems. GB"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"P. Loucopoulos: P. Mcbrien; U. Persson; F. Schumacker; P. Vasey. TEMPORA \u2014 Integrating database technology, rule-based systems and temporal reasoning for information systems development. (to be included in the IEEE Knowledge Engineering Newsletters, Feb. 1991.","DOI":"10.1007\/978-94-009-0705-8_27"},{"key":"21_CR19","unstructured":"R. Maiocchi; B. Pernici: F. Barbie. Automatic deduction of temporal information. University of Udine, Dipartimento de Matematica e Informatica, 1991. 58p. (Research Report), (to be published in ACM Transactions on Database Systems)"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Z. Manna; A. Pnueli. Verification of concurrent programs: the temporal framework. In: B. Moore (ed.) The Correctness Problem of Computer Science. Academic Press, 1981. p.215\u201373.","DOI":"10.21236\/ADA106750"},{"issue":"n.4","key":"21_CR21","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J. Mylopoulos","year":"1990","unstructured":"J. Mylopoulos; A. Borgida; M. Jarke: M. Koubarakis. Telos: representing knowledge about information systems. ACM Transactions on Information Systems, New York, v.8, n.4, p.325\u201362, Oct. 1990.","journal-title":"ACM Transactions on Information Systems"},{"issue":"n.2\u20133","key":"21_CR22","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1145\/91478.91542","volume":"11","author":"B. Pernici","year":"1990","unstructured":"B. Pernici. Objects with Roles. In: Conference on Information Systems, Cambridge, Massachusselts, April 25\u201327, 1990. Proceedings. SIGOIS Bulletin, v.11,n.2\u20133,p.205\u201315. 1990.","journal-title":"SIGOIS Bulletin"},{"key":"21_CR23","unstructured":"U. Schiel. An Abstract introduction to the Temporal-Hierarchic Data Model (THM). International Conference On Very Large Data Bases, 9., Florence (Italy). Oct. 31\u2013Nov. 2, 1983. Proceedings. Italy, VLDB, 1983. p.322\u201330."},{"key":"21_CR24","first-page":"47","volume-title":"Temporal Aspects in Information Systems","author":"A. Segev","year":"1988","unstructured":"Segev,A. & Shoshani,A. Modeling temporal semantics. In: Rolland,C.; Bodart,F.; Leonard,M. (eds.) Temporal Aspects in Information Systems. Amsterdam, North-Holland, 1988. p.47\u201357."},{"key":"21_CR25","first-page":"236","volume-title":"Proceedings","author":"R. Snodgrass","year":"1985","unstructured":"R. Snodgrass; I. Ahn. A Taxonomy of time in databases. In: ACM SIGMOD International Conference On Management Of Data, Texas, May 28\u201331, 1985. Proceedings. New York, ACM, 1985. p.236\u201346."},{"key":"21_CR26","first-page":"124","volume-title":"International Conference CAISE'91, 3, Trondheim, Norway, May 13\u201315, 1991. Proceedings","author":"G. Wiederhold","year":"1991","unstructured":"G. Wiederhold; S. Jajodia; W. Litwin. Dealing with granularity of time in temporal databases. In: International Conference CAISE'91, 3, Trondheim, Norway, May 13\u201315, 1991. Proceedings. Berlin, Springer-Verlag. 1991. p.124\u201340."}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56777-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T07:35:27Z","timestamp":1561361727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56777-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783319981765","9783319981772"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-56777-1_21","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1993]]}}}