A two-level temporal logic for evolving specifications

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

Research output: Contribution to journalArticle


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.
Original languageEnglish
Pages (from-to)167-172
Number of pages6
JournalInformation processing letters
Issue number3
Publication statusPublished - 16 Aug 2002

Fingerprint Dive into the research topics of 'A two-level temporal logic for evolving specifications'. Together they form a unique fingerprint.

  • Activities

    • 1 Participation in conference

    Chercheur invité par la Fundação para a Ciência e a Tecnologia (FCT)

    Pierre Schobbens (Organiser)

    15 Sep 199715 Feb 1998

    Activity: Participating in or organising an event typesParticipation in conference

    Cite this