✦ LIBER ✦

A two-level temporal logic for evolving specifications

✍ Scribed by P.Y. Schobbens; G. Saake; A. Sernadas; C. Sernadas

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 70 KB
Volume: 83
Category: Article
ISSN: 0020-0190
DOI: 10.1016/s0020-0190(02)00289-2

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

Deriving Liveness Goals from Temporal Lo

Deriving Liveness Goals from Temporal Logic Specifications

✍ C. CALEIRO; G. SAAKE; A. SERNADAS 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 729 KB

A propositional temporal logic is briefly introduced and its use for reactive systems specification is motivated and illustrated. G-automata are proposed as a new operational semantics domain designed to cope with fairness/liveness properties. G-automata are a class of labelled transition systems wi

Using temporal logic specifications to d

Using temporal logic specifications to debug parallel programs

✍ M. Frey; A. Weininger 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 312 KB

A higher level of behavioural specificat

A higher level of behavioural specification: An example in interval temporal logic

✍ R.D. Dowsing; R. Elliott 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 991 KB

Using temporal logics of knowledge for s

Using temporal logics of knowledge for specification and verification—a case study

✍ Clare Dixon 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 201 KB

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temp

A Temporal Semantics for Basic Logic

✍ Stefano Aguzzoli; Matteo Bianchi; Vincenzo Marra 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 259 KB

A Temporal Logic for Supporting Historic

A Temporal Logic for Supporting Historical Databases

✍ Shichao Zhang 📂 Article 📅 2000 🏛 Springer-Verlag 🌐 English ⚖ 149 KB