A property reference model and associated tools for system life-cycle management

Abstract To develop or to improve a system requires to specify very early the user waits and the requirements which this system will have to answer throughout its life. So, languages of representation and mechanisms of validation and of check are necessary to describe and manage the reality complexity then to ensure the resultant system performs well its role and reach its objectives with a minimum level of risk. The concept of property is so often evoked. This article proposes a model allowing the representation and the manipulation of property concept as well as a reference repository of properties.

[1]  Elyes Lamine Définition d'un modèle de propriété et proposition d'un langage de spécification associé : LUSP , 2001 .

[2]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[3]  Z. Manna,et al.  Tools and rules for the practicing verifier , 1990 .

[4]  Leslie Lamport,et al.  "Sometime" is sometimes "not never": on the temporal logic of programs , 1980, POPL '80.

[5]  E. Lamine,et al.  Unified Property Specification Language for Industrial Systems Analysis: LUSP , 2000 .

[6]  Bernhard Thomé,et al.  Systems engineering: principles and practice of computer-based systems engineering , 1993 .

[7]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[8]  G. Hutzler Du Jardin des Hasards aux Jardins de Données : une approche artistique et Multi-Agent des Interfaces Homme/Systèmes Complexes , 2000 .

[9]  Judea Pearl,et al.  Reasoning with Cause and Effect , 1999, IJCAI.

[10]  Zohar Manna,et al.  How to cook a temporal proof system for your pet language , 1983, POPL '83.

[11]  Patrick Lamboley Proposition d'une méthode formelle d'automatisation de systèmes de production à l'aide de la méthode B , 2001 .

[12]  Thomas A. Henzinger,et al.  Temporal Proof Methodologies for Timed Transition Systems , 1994, Inf. Comput..

[13]  Claude Feliot,et al.  Modélisation de systèmes complexes : intégration et formalisation de modèles , 1997 .

[14]  J. Pearl Causality: Models, Reasoning and Inference , 2000 .