A two-level temporal logic for evolving specifications

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

Research output: Contribution to journalArticle

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. © 2002 Elsevier Science B.V. All rights reserved.
Original languageEnglish
Pages (from-to)167-172
Number of pages6
JournalInformation processing letters
Volume83
Issue number3
DOIs
Publication statusPublished - 16 Aug 2002

Fingerprint

Temporal logic
Temporal Logic
Specification
Specifications
Linear Temporal Logic
Information systems
Axiom
Compatibility
Linear Time
Information Systems
Lifetime
Mutation
Interval

Cite this

Schobbens, P.Y. ; Saake, G. ; Sernadas, A. ; Sernadas, C. / A two-level temporal logic for evolving specifications. In: Information processing letters. 2002 ; Vol. 83, No. 3. pp. 167-172.
@article{8395795ea66a4ab8854c867c951147bf,
title = "A two-level temporal logic for evolving specifications",
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. {\circledC} 2002 Elsevier Science B.V. All rights reserved.",
author = "P.Y. Schobbens and G. Saake and A. Sernadas and C. Sernadas",
note = "Copyright 2008 Elsevier B.V., All rights reserved.",
year = "2002",
month = "8",
day = "16",
doi = "10.1016/S0020-0190(02)00289-2",
language = "English",
volume = "83",
pages = "167--172",
journal = "Information processing letters",
issn = "0020-0190",
publisher = "Elsevier",
number = "3",

}

A two-level temporal logic for evolving specifications. / Schobbens, P.Y.; Saake, G.; Sernadas, A.; Sernadas, C.

In: Information processing letters, Vol. 83, No. 3, 16.08.2002, p. 167-172.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A two-level temporal logic for evolving specifications

AU - Schobbens, P.Y.

AU - Saake, G.

AU - Sernadas, A.

AU - Sernadas, C.

N1 - Copyright 2008 Elsevier B.V., All rights reserved.

PY - 2002/8/16

Y1 - 2002/8/16

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0037119067&partnerID=8YFLogxK

U2 - 10.1016/S0020-0190(02)00289-2

DO - 10.1016/S0020-0190(02)00289-2

M3 - Article

VL - 83

SP - 167

EP - 172

JO - Information processing letters

JF - Information processing letters

SN - 0020-0190

IS - 3

ER -