A two-level temporal logic for evolving specifications

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

doi:10.1016/S0020-0190(02)00289-2

A two-level temporal logic for evolving specifications

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

Faculte d'informatique

Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

Résumé

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 originale	Anglais
Pages (de - à)	167-172
Nombre de pages	6
journal	Information processing letters
Volume	83
Numéro de publication	3
Les DOIs	https://doi.org/10.1016/S0020-0190(02)00289-2
Etat de la publication	Publié - 16 août 2002

Accès au document

10.1016/S0020-0190(02)00289-2

Autres fichiers et liens

Link to publication in Scopus

Chercheur invité par la Fundação para a Ciência e a Tecnologia (FCT)
Pierre Schobbens (Organisateur)
15 sept. 1997 → 15 févr. 1998
Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

Contient cette citation

@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. {\textcopyright} 2002 Elsevier Science B.V. All rights reserved.",

author = "P.Y. Schobbens and G. Saake and A. Sernadas and C. Sernadas",

year = "2002",

month = aug,

day = "16",

doi = "10.1016/S0020-0190(02)00289-2",

language = "English",

volume = "83",

pages = "167--172",

journal = "Information processing letters",

publisher = "Elsevier",

number = "3",

}

TY - JOUR

T1 - A two-level temporal logic for evolving specifications

AU - Schobbens, P.Y.

AU - Saake, G.

AU - Sernadas, A.

AU - Sernadas, C.

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

IS - 3

ER -

A two-level temporal logic for evolving specifications

Résumé

Accès au document

Autres fichiers et liens

Empreinte digitale

Activités

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

Contient cette citation