A two-level temporal logic for evolving specifications

Authors:
P. Y. Schobbens;G. Saake;A. Sernadas;C. Sernadas
Affiliations:
Institut d'Informatique, Rue Grandgagnage, 21, 5000 Namur, Belgium;Otto-von-Guericke-Universität Magdeburg, Fakultät für Informatik, Postfach 4120, D-39016 Magdeburg, Germany;Secção de Ciência da Computação, Departamento de Matemática, Instituto Superior Técnico, Av. Rovisco Pais, 1049-001, Lisboa, Portugal;Secção de Ciência da Computação, Departamento de Matemática, Instituto Superior Técnico, Av. Rovisco Pais, 1049-001, Lisboa, Portugal
Venue:
Information Processing Letters
Year:
2002

Citing 11
Cited 1

The complexity of propositional linear temporal logics

Journal of the ACM (JACM)
Improving Software Productivity

Computer
An institution of object behaviour

Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
TROLL: a language for object-oriented specification of information systems

ACM Transactions on Information Systems (TOIS)
Evolving logical specification in information systems

Logics for databases and information systems
Seven Myths of Formal Methods

IEEE Software
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects

ICTL '94 Proceedings of the First International Conference on Temporal Logic
Object-Oriented Specification of Databases: An Algebraic Approach

VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Dynamically Changing Behavior: An Agent-Oriented View to Modeling Intelligent Information Systems

ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Extending Temporal Logic for Capturing Evolving Behaviour

ISMIS '97 Proceedings of the 10th International Symposium on Foundations of Intelligent Systems
The Glory of the Past

Proceedings of the Conference on Logic of Programs

Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal

Data & Knowledge Engineering

Quantified Score

Hi-index	0.91

Visualization

Abstract

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.