Activities per year
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.
Pierre Schobbens (Organiser)
15 Sep 1997 → 15 Feb 1998
Activity: Participating in or organising an event types › Participation in conference
Schobbens, P. Y., Saake, G., Sernadas, A., & Sernadas, C. (2002). A two-level temporal logic for evolving specifications. Information processing letters, 83(3), 167-172. https://doi.org/10.1016/S0020-0190(02)00289-2