A two-level temporal logic for evolving specifications.

DOI10.1016/S0020-0190(02)00289-2MaRDI QIDQ1853062zbMATH OpenFDO

Authors Pierre Yves Schobbens, Gunter Saake, Amílcar Sernadas, Cristina Sernadas

Publication date 21 January 2003

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0020-0190(02)00289-2

zbMATH Keywords

Program specificationReconfigurable systemsSpecification evolutionTemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Review text

Traditional information system specifications are fixed: the rules of the system are frozen at specification time. In practice, most systems have to change their rules in unexpected ways during their lifetime. We present here a simple variant of a temporal logic that deals with specification evolution. It is a linear time temporal logic with two levels of time: intervals, interrupted by mutations (changes of rules), which compose lives of the system. We present a complete axiom system and complexity results, which show a large compatibility with classical linear temporal logic.

Recommendations

• scientific article; zbMATH DE number 1182732
• Evolving objects in temporal information systems
• Modelling evolvable systems: a temporal logic view
• Revising system specifications in temporal logic
• scientific article; zbMATH DE number 1318522

Cites work

• A two-level temporal logic for evolving specifications.
• Decidability results for metric and layered temporal logics
• scientific article; zbMATH DE number 3940713 (Why is no real title available?)
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 1182732 (Why is no real title available?)
• scientific article; zbMATH DE number 1536547 (Why is no real title available?)
• scientific article; zbMATH DE number 1418816 (Why is no real title available?)
• Object Specification Logic
• Prolegomena to a theory of mechanized formal reasoning
• The complexity of propositional linear temporal logics
• Theories of  -layered metric temporal structures: expressiveness and decidability

Cited in

(6)

• A two-level temporal logic for evolving specifications.
• scientific article; zbMATH DE number 1708004 (Why is no real title available?)
• Modelling evolvable systems: a temporal logic view
• scientific article; zbMATH DE number 1182732 (Why is no real title available?)
• Evolving Specification Engineering
• Evolutionary temporal logic for modelling many-lives argumentation networks

This page was built for publication: A two-level temporal logic for evolving specifications.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1853062)