{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,22]],"date-time":"2023-08-22T13:24:22Z","timestamp":1692710662442},"reference-count":56,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1988,8,1]],"date-time":"1988-08-01T00:00:00Z","timestamp":586396800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1988,8]]},"DOI":"10.1007\/bf00291052","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T04:36:38Z","timestamp":1096950998000},"page":"625-661","source":"Crossref","is-referenced-by-count":25,"title":["Specification and verification of database dynamics"],"prefix":"10.1007","volume":"25","author":[{"given":"Jos\ufffd","family":"Fiadeiro","sequence":"first","affiliation":[]},{"given":"Am\ufffdlcar","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J. Allen","year":"1984","unstructured":"Allen, J.: Towards a general theory of action and time. Artif. Intell. 23, 123?154 (1984)","journal-title":"Artif. Intell."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Barringer, H., Kuiper, R., Pnueli, A.: Now you may compose temporal logic specifications. In: Proceedings of the 16th ACM Symposium on the Theory of Computing, May 1984","DOI":"10.1145\/800057.808665"},{"key":"CR3","volume-title":"Information systems design methodologies","author":"M. Brodie","year":"1982","unstructured":"Brodie, M., Silva, E.: Active and passive modelling: ACM\/PCM. In: Olle, T., Sol, H., Verrijn-Stuart, A. (eds.) Information systems design methodologies. Amsterdam Oxford New York: North-Holland 1982"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. Brookes","year":"1984","unstructured":"Brookes, S., Hoare, C.A.R., Roscoe, A.: A theory of communicating sequential processes. J. Assoc. Comput. Mech. 31, 560?599 (1984)","journal-title":"J. Assoc. Comput. Mech."},{"key":"CR5","volume-title":"Architecture and models in database management","author":"J. Bubenko Jr.","year":"1977","unstructured":"Bubenko, J., Jr.: The temporal dimension in information processing. In: Nijssen, G. (ed.) Architecture and models in database management. Amsterdam Oxford New York: North-Holland 1977"},{"key":"CR6","volume-title":"Knowledge and data (DS-2)","author":"R. Carapu\u00e7a","year":"1986","unstructured":"Carapu\u00e7a, R., Fiadeiro, J.: Varying representation schemata vs fact updating in KB management. In: Meersman, R., Sernadas, A. (eds.) Knowledge and data (DS-2). Proceedings of the IFIP WG 2.6 Working Conference, Albufeira, 1986. Amsterdam Oxford New York: North-Holland (to appear)"},{"key":"CR7","volume-title":"Theoretical and formal aspects of information systems","author":"J. Carmo","year":"1985","unstructured":"Carmo, J.: The INFOLOG Branching Logic of Events. In: Sernadas, A., Bubenko, J., Oliv\u00e9, A. (eds.) Theoretical and formal aspects of information systems. Amsterdam Oxford New York: North-Holland 1985"},{"key":"CR8","volume-title":"Temporal aspects in information systems","author":"J. Carmo","year":"1988","unstructured":"Carmo, J., Sernadas, A.: A temporal logic framework for a layered approach to systems specification and verification. In: Rolland, C. (ed.) Temporal aspects in information systems. Proceedings of the IFIP WG 8.1 Working Conference, Sophia Antipolis, 1987. Amsterdam Oxford New York: North-Holland 1988"},{"key":"CR9","unstructured":"Carmo, J.: L\u00f3gicas temporais para a especifica\u00e7\u00e3o e verifica\u00e7\u00e3o des sistemas de informa\u00e7\u00e3o. PhD Thesis (1988)"},{"key":"CR10","unstructured":"Castilho, J., Casanova, M., Furtado, A.: A temporal framework for database specification. In: Proceedings of the 8th VLDB, Mexico City, 1982"},{"key":"CR11","volume-title":"Knowledge and data (DS-2)","author":"H.-D. Ehrich","year":"1986","unstructured":"Ehrich, H.-D., Drosten, K., Gogolla, M.: Towards an algebraic semantics for database specification. In: Meersman, R., Sernadas, A. (eds.) Knowledge and data (DS-2). Proceedings of the IFIP WG 2.6 Working Conference, Albufeira, 1986. Amsterdam Oxford New York: North-Holland (to appear)"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0306-4379(86)90023-2","volume":"11","author":"J. Fiadeiro","year":"1986","unstructured":"Fiadeiro, J., Sernadas, A.: The INFOLOG linear tense propositional logic of events and transactions. Inf. Syst. 11, 61?85 (1986)","journal-title":"Inf. Syst."},{"key":"CR13","volume-title":"Temporal aspects in information systems","author":"J. Fiadeiro","year":"1988","unstructured":"Fiadeiro, J., Sernadas, A.: Behavioural aspects of intelligent knowledge based information systems. In: Rolland, C. (ed.) Temporal aspects in information systems. Proceedings of the IFIP WG 8.1 Working Conference, Sophia-Antipolis, 1987. Amsterdam Oxford New York: North-Holland 1988"},{"key":"CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-70592-2","volume-title":"Formal techniques for database design","author":"A. Furtado","year":"1986","unstructured":"Furtado, A., Neuhold, E.: Formal techniques for database design. Berlin Heidelberg New York: Springer 1986"},{"key":"CR15","series-title":"Lecture Notes in Computer Science Vol. 164","volume-title":"Proceedings of the Logics of Programming Workshop","author":"J. Goguen","year":"1984","unstructured":"Goguen, J., Burstall, R.: Introducing institutions. In: Clarke, E., Kozen, D. (eds.) Proceedings of the Logics of Programming Workshop. Lecture Notes in Computer Science Vol. 164. Berlin Heidelberg New York: Springer 1984"},{"key":"CR16","unstructured":"Golshani, F., Maibaum, T., Sadler, M.: A modal system of algebras for database specification and query\/update language support. In: Proceedings of the 9th VLDB, Florence, 1983"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12, 576?580 (1969)","journal-title":"Commun. ACM"},{"key":"CR18","volume-title":"Communicating sequential processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Englewood Cliffs NJ: Prentice Hall 1985"},{"key":"CR19","volume-title":"Lecture Notes in Computer Science, Vol. 129","author":"B. Hailpern","year":"1982","unstructured":"Hailpern, B.: Verifying concurrent processes using temporal logic. In: Lecture Notes in Computer Science, Vol. 129. Berlin Heidelberg New York: Springer 1982"},{"key":"CR20","volume-title":"An introduction to modal logic","author":"G. Hughes","year":"1968","unstructured":"Hughes, G., Cresswell, M.: An introduction to modal logic. London: Methuen 1968"},{"key":"CR21","unstructured":"ISO TC97\/SC5\/WG3-81. Concepts and terminology for the conceptual schema and information base. Griethuysen, J. van (ed.). 1982"},{"key":"CR22","volume-title":"Database semantics (DS-1)","author":"S. Khosla","year":"1986","unstructured":"Khosla, S., Maibaum, T., Sadler, M.: Database specification. In: Meerman, R., Steel, T. (eds.) Database semantics (DS-1). Amsterdam Oxford New York: North-Holland 1986"},{"key":"CR23","unstructured":"Kung, C.H.: A temporal framework for database specification and verification. In: Proceedings of the 10th VLDB, Singapore, 1984"},{"key":"CR24","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/BF00289062","volume":"14","author":"L. Lamport","year":"1980","unstructured":"Lamport, L.: The hoare logic of concurrent programs. Acta Informatica 14, 174?185 (1980)","journal-title":"Acta Informatica"},{"key":"CR25","volume-title":"NATO ASI on Logics and Models for the Specification and Verification of Concurrent Systems","author":"L. Lamport","year":"1984","unstructured":"Lamport, L.: An axiomatic semantic of concurrent programming languages. NATO ASI on Logics and Models for the Specification and Verification of Concurrent Systems, La Colle Sur Loup, France, October 1984"},{"key":"CR26","volume-title":"Theoretical analysis of information systems","author":"B. Langefors","year":"1966","unstructured":"Langefors, B.: Theoretical analysis of information systems. Lund: Studentlitteratur 1966"},{"key":"CR27","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0306-4379(83)90025-X","volume":"8","author":"N Leveson","year":"1983","unstructured":"Leveson, N, Wasserman, A., Berry, D.: BASIS: a behavioural approach to information systems. Inf. Sys. 8, 15?23 (1983)","journal-title":"Inf. Sys."},{"key":"CR28","volume-title":"Theoretical and formal aspects of information systems","author":"U. Lipeck","year":"1985","unstructured":"Lipeck, U., Ehrich, H.-D., Gogolla, M.: Specifying admissibility of dynamic database behavior using temporal logic. In: Sernadas, A., Bubenko, J., Oliv\u00e9, A. (eds.) Theoretical and formal aspects of information systems. Amsterdam Oxford New York: North-Holland 1985"},{"key":"CR29","volume-title":"The correctness problem in computer science","author":"Z. Manna","year":"1981","unstructured":"Manna, Z., Pnueli, A.: Verification of concurrent programs: the temporal framework: In: Boyer, R., Moore, J. (eds.) The correctness problem in computer science. New York: Academic Press 1981"},{"key":"CR30","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/357233.357237","volume":"6","author":"Z. Manna","year":"1984","unstructured":"Manna, Z., Wolper, P.: Synthesis of communicating processes from temporal logic specifications. ACM TOPLAS 6, 68?93 (1984)","journal-title":"ACM TOPLAS"},{"key":"CR31","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","volume":"6","author":"D. McDermott","year":"1982","unstructured":"McDermott, D.: A temporal logic for reasoning about processes and plans. Cognitive Sci. 6, 101?155 (1982)","journal-title":"Cognitive Sci."},{"key":"CR32","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/357172.357178","volume":"4","author":"S. Owicki","year":"1982","unstructured":"Owicki, S., Lamport, L.: Proving liveness properties of concurrent programs. ACM TOPLAS 4, 455?495 (1982)","journal-title":"ACM TOPLAS"},{"key":"CR33","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science, IEEE (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"CR34","series-title":"Lecture Notes in Computer Science. Vol. 70","volume-title":"Proceedings of the International Symposium on Semantics of Concurrent Computation, Evian, France, July 1979","author":"A. Pnueli","year":"1979","unstructured":"Pnueli, A.: The temporal semantics of concurrent programs. In: Proceedings of the International Symposium on Semantics of Concurrent Computation, Evian, France, July 1979. Lecture Notes in Computer Science. Vol. 70. Berlin Heidelberg New York: Springer 1979"},{"key":"CR35","volume-title":"Information processing 86","author":"A. Pnueli","year":"1986","unstructured":"Pnueli, A.: Specification and development of reactive systems. In: Kugler, H.-J. (ed.) Information processing 86. Amsterdam Oxford New York: North-Holland 1986"},{"key":"CR36","volume-title":"Past, present and future","author":"A. Prior","year":"1966","unstructured":"Prior, A.: Past, present and future. Oxford: Oxford University Press 1966"},{"key":"CR37","volume-title":"LEP Library of Exact Philosophy","author":"N. Rescher","year":"1971","unstructured":"Rescher, N., Urquhart, A.: Temporal logic. In: LEP Library of Exact Philosophy. Berlin Heidelberg New York: Springer 1971"},{"key":"CR38","doi-asserted-by":"crossref","unstructured":"Rolland, C., Leifert, S., Richard, C.: Tools for information systems dynamics management. Proceedings of the 5th VLDB, Rio de Janeiro, 1979","DOI":"10.1109\/VLDB.1979.718140"},{"key":"CR39","volume-title":"Temporal Aspects in Information Systems","author":"G. Saake","year":"1988","unstructured":"Saake, G., Lipeck, U.: Foundations of temporal integrity monitoring. In: Rolland, C. (ed.) Temporal Aspects in Information Systems. Proceedings of the IFIP WG 8.1 Working Conference, Sophia-Antipolis, 1987. Amsterdam Oxford New York: NorthHolland 1988"},{"key":"CR40","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0306-4379(84)90015-2","volume":"9","author":"U. Schiel","year":"1984","unstructured":"Schiel, U., Furtado, A., Neuhold, E., Casanova, M.: Towards multi level and modular conceptual schema specifications. Inf. Syst. 9, 43?57 (1984)","journal-title":"Inf. Syst."},{"key":"CR41","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0306-4379(80)90009-5","volume":"5","author":"A. Sernadas","year":"1980","unstructured":"Sernadas, A.: Temporal aspects of logical procedure definition. Inf. Syst. 5, 167?187 (1980)","journal-title":"Inf. Syst."},{"key":"CR42","series-title":"INFOLOG RR02","volume-title":"Software behaviour specification with triggering logic","author":"A. Sernadas","year":"1982","unstructured":"Sernadas, A., Carmo, J., Sernadas, C.: Software behaviour specification with triggering logic. INFOLOG RR02, Faculty of Sciences, Lisbon, December 1982"},{"key":"CR43","series-title":"INFOLOG RR05","volume-title":"INFOLOG: an Integrated Model of Data and Processes","author":"A. Sernadas","year":"1983","unstructured":"Sernadas, A., Sernadas, C.: INFOLOG: an Integrated Model of Data and Processes. INFOLOG RR05, Faculty of Sciences, Lisbon, IFIP WG 8.1 Meeting, York, 1983"},{"key":"CR44","series-title":"INFOLOG RR21","volume-title":"Temporal abstractions for historical databases","author":"A. Sernadas","year":"1984","unstructured":"Sernadas, A.: Temporal abstractions for historical databases. INFOLOG RR21, Faculty of Sciences, Lisbon, IFIP WG 8.1 Meeting, Linz, 1984"},{"key":"CR45","volume-title":"Knowledge representation for decision support systems","author":"A. Sernadas","year":"1985","unstructured":"Sernadas, A., Sernadas, C.: Capturing knowledge about the organisation dynamics. In: Methlie, L., Sprague, R. (eds.) Knowledge representation for decision support systems. Amsterdam Oxford New York: North-Holland 1985"},{"key":"CR46","volume-title":"Foundations of knowledge base management","author":"A. Sernadas","year":"1988","unstructured":"Sernadas, A., Sernadas, C.: Abstraction and inference mechanisms for knowledge representation. In: Schmidt, J., Thanos, C. (eds.) Foundations of knowledge base management. Proceedings of the Workshop, Xania, 1985. Berlin Heidelberg New York: Springer 1988"},{"key":"CR47","volume-title":"Information modelling and data base management","author":"C. Sernadas","year":"1988","unstructured":"Sernadas, C., Sernadas, A.: Conceptual schema abstraction mechanisms for knowledge representation. In: Kangassalo, H. (ed.) Information modelling and data base management. Proceedings of the Workshop, Tampere, 1985. Berlin Heidelberg New York: Springer 1988 (to appear)"},{"key":"CR48","unstructured":"Sernadas, A., Sernadas, C.: The use of E-R abstractions for knowledge representation. In: Liu, J. (ed.) Proceedings of the 4th International Conference on the Entity-Relationship Approach, IEEE (1985)"},{"key":"CR49","unstructured":"Sernadas, A., Sernadas, C., Fiadeiro, J., Granado, J.: Information systems development with INFOLOG. INFOLOG RR25, Faculty of Sciences, June 1985"},{"key":"CR50","volume-title":"Database semantics (DS-1)","author":"C. Sernadas","year":"1986","unstructured":"Sernadas, C., Sernadas, A.: Conceptual modelling abstraction mechanisms as parameterised theories in institutions. In: Meerman, R., Steel, T. (eds.) Database semantics (DS-1). Amsterdam Oxford New York: North-Holland 1986"},{"key":"CR51","unstructured":"Sernadas, A., Sernadas, C., Fiadeiro, J.: Algebraic knowledge representation: the unification of procedure, logic and structure (extended abstract). 4th Workshop on Specification of Abstract Data Types, Burg Waberg, FRG, 20?23 May 1986"},{"key":"CR52","unstructured":"Sernadas, A., Sernadas, C., Ehrich, H.-D.: Object-oriented specification of databases: an algebraic approach. Proceedings of the 13th VLDB, Brighton, 1987"},{"key":"CR53","volume-title":"Colloquium on temporal logic and specification","author":"A. Sernadas","year":"1988","unstructured":"Sernadas, A., Fiadeiro, J., Sernadas, C., Ehrich, H.-D.: Abstract object types: a temporal perspective. In: Barringer, H. (ed.) Colloquium on temporal logic and specification. Berlin Heidelberg New York: Springer 1988 (to appear)"},{"key":"CR54","volume-title":"Theoretical and formal aspects of information systems","author":"P. Veloso","year":"1985","unstructured":"Veloso, P., Furtado, A.: Towards simpler and yet complete formal specifications. In: Sernadas, A., Bubenko, J., Oliv\u00e9, A. (eds.) Theoretical and formal aspects of information systems. Amsterdam Oxford New York: North-Holland 1985"},{"key":"CR55","volume-title":"Information design methodologies","author":"G. Verheijen","year":"1982","unstructured":"Verheijen, G., Bekkum, J. van: NIAM: an information analysis method. In: Olle, T., Sol, H., Verrijn-Stuart, A. (eds.) Information design methodologies. Amsterdam Oxford New York: North-Holland 1982"},{"key":"CR56","doi-asserted-by":"crossref","unstructured":"Young, J., Kent, H.: Abstract formulation of data processing problems. J. Ind. Eng. Nov?Dec 1958, 471?479","DOI":"10.1145\/610937.610967"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00291052.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00291052\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00291052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T17:15:49Z","timestamp":1554743749000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00291052"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,8]]},"references-count":56,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1988,8]]}},"alternative-id":["BF00291052"],"URL":"https:\/\/doi.org\/10.1007\/bf00291052","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,8]]}}}