Requirements for a Temporal B
Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems : Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems

Dominique Méry 1
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Abstract Machines Notation (AMN) is the notation of the B method for specifying systems and it is supported by tools providing editing, navigating, animating and proving facilities. AMN permits us to state invariance properties, based on safety conditions, but there are applications, such as telecom services or distributed systems, where fairness and eventuality properties must also be considered. We define a way to extend the B method expressivity by defining a semantics over traces, in the same spirit as the temporal logic of actions does and we provide a semantical framework for defining a extended B method that can exploit the B environments facilities. We analyse requirements for developing effective temporal facilities extending the scope of B and we found our experiment on case studies related to telecommunications services, which provide a framework for getting requirements on the expressivity of the description language for service properties.
Type de document :
Communication dans un congrès
A. Galloway & K. Taguchi. Integrated Formal Methods - IFM'99, 1999, York, UK, Springer Verlag, 20 p, 1999
Liste complète des métadonnées

https://hal.inria.fr/inria-00108066
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 15:40:43
Dernière modification le : mardi 24 avril 2018 - 13:36:33

Identifiants

  • HAL Id : inria-00108066, version 1

Collections

Citation

Dominique Méry. Requirements for a Temporal B
Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems : Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. A. Galloway & K. Taguchi. Integrated Formal Methods - IFM'99, 1999, York, UK, Springer Verlag, 20 p, 1999. 〈inria-00108066〉

Partager

Métriques

Consultations de la notice

111