A two-level temporal logic for evolving specifications

P.Y. Schobbens, G. Saake, A. Sernadas, C. Sernadas

Résultats de recherche: Contribution à un journal/une revueArticleRevue par des pairs


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. © 2002 Elsevier Science B.V. All rights reserved.
langue originaleAnglais
Pages (de - à)167-172
Nombre de pages6
journalInformation processing letters
Numéro de publication3
Les DOIs
Etat de la publicationPublié - 16 août 2002

Empreinte digitale

Examiner les sujets de recherche de « A two-level temporal logic for evolving specifications ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation