HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [34 references]  Display  Hide  Download

Contributor : Régine Laleau Connect in order to contact the contributor
Submitted on : Tuesday, May 15, 2007 - 4:40:33 PM
Last modification on : Tuesday, October 19, 2021 - 4:06:44 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 11:19:04 PM


Publisher files allowed on an open archive


  • HAL Id : hal-00145961, version 1



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 Systems Modeling, Springer Verlag, 2005, 4 (3), pp.236-257. ⟨hal-00145961⟩



Record views


Files downloads