State-based versus event-based specifications for information systems: a comparison of B and eb 3 |
| |
Authors: | Benoît Fraikin Marc Frappier Régine Laleau |
| |
Affiliation: | (1) GRIL, Département d’informatique, Université de Sherbrooke, Sherbrooke, Québec, Canada, J1K 2R1;(2) Laboratoire LACL, IUT de Fontainebleau – Département Informatique, Université Paris 12, Route Hurtault, 77300 Fontainebleau, France |
| |
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. |
| |
Keywords: | State-based paradigm Event-based paradigm font-variant:small-caps" >eb3 B Process algebra Information system Formal specification |
本文献已被 SpringerLink 等数据库收录! |
|