State-Based versus Event-Based Specifications for Information Systems: a Comparison of B and EB3

Abstract : This paper compares two formal methods, B and eb3, for specifying information systems. These two methods are chosen as examples of the state-based paradigm and the event-based paradigm, respectively. The paper considers four viewpoints: functional behavior expression, validation, verification, and evolution. Issues in expressing event ordering constraints, data integrity constraints, and modularity are thereby considered. A simple case study is used to illustrate the comparison, namely, a library management system. Two equivalent specifications are presented using each method. The paper concludes that B and eb3 are complementary. The former is better at expressing complex ordering and static data integrity constraints, whereas the latter provides a simpler, modular, explicit representation of dynamic constraints that are closer to the user's point of view, while providing loosely coupled definitions of data attributes. The generality of these results from the state-based paradigm and the event-based paradigm perspective are discussed.
Type de document :
Article dans une revue
Software and System Modeling Journal, 2005, 4 (3), pp.236-257
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00145961
Contributeur : Régine Laleau <>
Soumis le : mardi 15 mai 2007 - 16:40:33
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28
Document(s) archivé(s) le : mardi 6 avril 2010 - 23:19:04

Fichier

SoSym05FraikinFrappierLaleau.p...
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00145961, version 1

Collections

Citation

Benoît Fraikin, Marc Frappier, Régine Laleau. State-Based versus Event-Based Specifications for Information Systems: a Comparison of B and EB3. Software and System Modeling Journal, 2005, 4 (3), pp.236-257. 〈hal-00145961〉

Partager

Métriques

Consultations de la notice

188

Téléchargements de fichiers

279