{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:41:49Z","timestamp":1747546909670},"reference-count":47,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1996,6,1]],"date-time":"1996-06-01T00:00:00Z","timestamp":833587200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[1996,6]]},"DOI":"10.1016\/0169-023x(96)00004-3","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T13:28:40Z","timestamp":1027603720000},"page":"267-294","source":"Crossref","is-referenced-by-count":5,"title":["A temporal logic approach to object certification"],"prefix":"10.1016","volume":"19","author":[{"given":"Am\u00edlcar","family":"Sernadas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina","family":"Sernadas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaime","family":"Ramos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0169-023X(96)00004-3_bib1","series-title":"Proc. 18th IEEE Symp. on Foundations of Computer Science","first-page":"46","article-title":"The temporal logic of programs","author":"Pnueli","year":"1977"},{"key":"10.1016\/0169-023X(96)00004-3_bib2","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/TCOM.1983.1095720","article-title":"Modular verification of computer communication protocols","volume":"1","author":"Hailpern","year":"1983","journal-title":"IEEE Trans. Communications"},{"key":"10.1016\/0169-023X(96)00004-3_bib3","series-title":"Proc. 16th ACM Sym. on Theory of Computing","first-page":"51","article-title":"Now you may compose temporal logic specifications","author":"Barringer","year":"1984"},{"key":"10.1016\/0169-023X(96)00004-3_bib4","series-title":"Formal Models of Programming","first-page":"207","article-title":"A compositional temporal approach to csp-like language","author":"Barringer","year":"1985"},{"key":"10.1016\/0169-023X(96)00004-3_bib5","series-title":"Proc. 13th ACM Symp. on Principles of Programming Languages","first-page":"173","article-title":"A really abstract concurrent model and its temporal logic","author":"Barringer","year":"1986"},{"key":"10.1016\/0169-023X(96)00004-3_bib6","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF01843567","article-title":"A modal and temporal proof system for networks of processes","volume":"1","author":"Nguyen","year":"1986","journal-title":"Distributed Computing"},{"key":"10.1016\/0169-023X(96)00004-3_bib7","series-title":"Theoretical Foundations of Programming Methodology","first-page":"53","article-title":"Verification of sequential programs: Temporal axiomatization","author":"Manna","year":"1982"},{"key":"10.1016\/0169-023X(96)00004-3_bib8","series-title":"Proc. ACM Symp. on Principles of Distributed Computing","first-page":"157","article-title":"Proving safety and liveness of communicating processes with examples","author":"Misra","year":"1982"},{"key":"10.1016\/0169-023X(96)00004-3_bib9","series-title":"Proc. 6th ACM Symposium on Principles of Distributed Computing","first-page":"152","article-title":"Modular verification of asynchronous networks","author":"Jonsson","year":"1987"},{"key":"10.1016\/0169-023X(96)00004-3_bib10","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0304-3975(91)90041-Y","article-title":"Completing the temporal picture","volume":"83","author":"Manna","year":"1991","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/0169-023X(96)00004-3_bib11","series-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Manna","year":"1992"},{"key":"10.1016\/0169-023X(96)00004-3_bib12","series-title":"Verifying Concurrent Processes Using Temporal Logic","author":"Hailpern","year":"1982"},{"key":"10.1016\/0169-023X(96)00004-3_bib13","first-page":"995","article-title":"Temporal and modal logic","author":"Emerson","year":"1990"},{"key":"10.1016\/0169-023X(96)00004-3_bib14","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0306-4379(80)90009-5","article-title":"Temporal aspects of logical procedure definition","volume":"5","author":"Sernadas","year":"1980","journal-title":"Information Systems"},{"key":"10.1016\/0169-023X(96)00004-3_bib15","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1007\/BF00291052","article-title":"Specification and verification of database dynamics","volume":"25","author":"Fiadeiro","year":"1988","journal-title":"Acta Informatica"},{"key":"10.1016\/0169-023X(96)00004-3_bib16","series-title":"Temporal Aspects in Information Systems","first-page":"31","article-title":"A temporal logic framework for a layered approach to systems specification and verification","author":"Carmo","year":"1988"},{"key":"10.1016\/0169-023X(96)00004-3_bib17","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0306-4379(91)90001-P","article-title":"Formal techniques for systems specification and verification","volume":"16","author":"Carmo","year":"1991","journal-title":"Information Systems"},{"key":"10.1016\/0169-023X(96)00004-3_bib18","series-title":"Temporal Logic in Specification","first-page":"324","article-title":"Abstract object types: A temporal perspective","author":"Sernadas","year":"1989"},{"key":"10.1016\/0169-023X(96)00004-3_bib19","first-page":"7","article-title":"Object specification logic","volume":"1","author":"Sernadas","year":"1995","journal-title":"J. of Logic and Computation"},{"key":"10.1016\/0169-023X(96)00004-3_bib20","series-title":"Conceptual Modeling, Databases and CASE: An Integrated View of Information Systems Development","first-page":"117","article-title":"Describing and structuring objects for conceptual schema development","author":"Fiadeiro","year":"1992"},{"key":"10.1016\/0169-023X(96)00004-3_bib21","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF01212304","article-title":"Temporal theories as modularization units for concurrent system specification","volume":"4","author":"Fiadeiro","year":"1992","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/0169-023X(96)00004-3_bib22","series-title":"Proc. 1st Int. Conf. on Temporal Logic","article-title":"Sometimes tomorrow is sometime: Action refinement in a temporal logic of objects","author":"Fiadeiro","year":"1994"},{"key":"10.1016\/0169-023X(96)00004-3_bib23","series-title":"Recent Trends in Data Type Specifications: 8th Workshop on Specification of Abstract Data Types \u2014 Selected papers","first-page":"236","article-title":"Process semantics of temporal logic specification","author":"Fiadeiro","year":"1993"},{"key":"10.1016\/0169-023X(96)00004-3_bib24","article-title":"Denotational semantics of object specification within an arbitrary temporal logic institution","author":"Sernadas","year":"1993"},{"key":"10.1016\/0169-023X(96)00004-3_bib25","series-title":"Proc. Logics of Programming Workshop","first-page":"221","article-title":"Introducing institutions","author":"Goguen","year":"1984"},{"issue":"1","key":"10.1016\/0169-023X(96)00004-3_bib26","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","article-title":"Institutions: Abstract model theory for specification and programming","volume":"39","author":"Goguen","year":"1992","journal-title":"J. ACM"},{"key":"10.1016\/0169-023X(96)00004-3_bib27","author":"Ad\u00e1mek","year":"1990"},{"key":"10.1016\/0169-023X(96)00004-3_bib28","series-title":"Fundamentals of Algebraic Specification I","author":"Ehrig","year":"1985"},{"key":"10.1016\/0169-023X(96)00004-3_bib29","series-title":"Proc. IS-CORE Workshop 91","first-page":"1","article-title":"Object concepts and constructions","author":"Ehrich","year":"1991"},{"key":"10.1016\/0169-023X(96)00004-3_bib30","series-title":"Information Systems Concepts: An In-depth Analysis","first-page":"225","article-title":"The basic building blocks of information systems","author":"Sernadas","year":"1989"},{"key":"10.1016\/0169-023X(96)00004-3_bib31","series-title":"Object-oriented Databases: Analysis, Design and Construction","first-page":"39","article-title":"What is an object after all?","author":"Sernadas","year":"1991"},{"key":"10.1016\/0169-023X(96)00004-3_bib32","article-title":"Oblog: Object-oriented, logic-based conceptual modeling","author":"Sernadas","year":"1992"},{"key":"10.1016\/0169-023X(96)00004-3_bib33","author":"ESDI","year":"1993","journal-title":"OBLOG-CASE V1.0 User's Guide"},{"key":"10.1016\/0169-023X(96)00004-3_bib34","series-title":"The TROLL language","article-title":"Object-oriented specification of information systems","author":"Jungclaus","year":"1991"},{"key":"10.1016\/0169-023X(96)00004-3_bib35","series-title":"The GNOME language: Syntax, semantics and calculus","author":"Sernadas","year":"1994"},{"key":"10.1016\/0169-023X(96)00004-3_bib36","article-title":"A brief introduction to gnome","author":"Ramos","year":"1995"},{"key":"10.1016\/0169-023X(96)00004-3_bib37","series-title":"Modeling of Dynamic Object Systems: A Logic-based Approach","author":"Jungclaus","year":"1993"},{"key":"10.1016\/0169-023X(96)00004-3_bib38","article-title":"L\u00f3gica de certifica\u00e7ao gnome (gnome certification logic)","author":"Ramos","year":"1994"},{"key":"10.1016\/0169-023X(96)00004-3_bib39","article-title":"Abduction in temporal object specification","author":"Gouveia","year":"1994"},{"key":"10.1016\/0169-023X(96)00004-3_bib40","series-title":"Proc. 2nd Int. Conf. on Deductive and Object-oriented Databases","article-title":"Semantics of inheritance in logical object specifications","author":"Brass","year":"1991"},{"key":"10.1016\/0169-023X(96)00004-3_bib41","series-title":"Proc. Int. Workshop on Information Systems \u2014 Correctness and Reusability","first-page":"155","article-title":"Specification of object behaviour with defaults","author":"Brass","year":"1993"},{"key":"10.1016\/0169-023X(96)00004-3_bib42","series-title":"Theorem Proving with Analytic Tableaux and Related Methods","first-page":"113","article-title":"Tableaux for reasoning about objects","author":"Gouveia","year":"1993"},{"key":"10.1016\/0169-023X(96)00004-3_bib43","first-page":"243","article-title":"Rewrite systems","author":"Dershowitz","year":"1990"},{"key":"10.1016\/0169-023X(96)00004-3_bib44","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1145\/357073.357079","article-title":"Simplification by cooperating decision procedures","volume":"1","author":"Nelson","year":"1979","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"10.1016\/0169-023X(96)00004-3_bib45","series-title":"Step-wise Refinement of Distributed Systems: Models, Formalisms, Correctness","first-page":"239","article-title":"Algebraic implementation of objects over objects","author":"Ehrich","year":"1990"},{"key":"10.1016\/0169-023X(96)00004-3_bib46","doi-asserted-by":"crossref","unstructured":"C. Sernadas, P. Gouveia, J. Gouveia, A. Sernadas and P. Resende, The reification dimension in object-oriented data base design, in: D. Harper and M. Norrie, eds., Specification of Data Base Systems (Springer-Verlag, 199) 275\u2013299.","DOI":"10.1007\/978-1-4471-3864-8_15"},{"key":"10.1016\/0169-023X(96)00004-3_bib47","series-title":"The Object-oriented Approach in Information Systems","first-page":"209","article-title":"In-the-large object-oriented design of information systems","author":"Sernadas","year":"1991"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X96000043?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X96000043?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T18:26:02Z","timestamp":1556130362000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169023X96000043"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":47,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,6]]}},"alternative-id":["0169023X96000043"],"URL":"https:\/\/doi.org\/10.1016\/0169-023x(96)00004-3","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}