Sciweavers

Share
FMOODS
2007

Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking

10 years 2 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distributed programming can quickly comprehend the small and intuitive interfaces that these systems typically feature. However, if these users make incorrect assumptions about how the infrastructure services work, a mismatch between the infrastructure and its client applications occurs, which may manifest itself in erroneous client behaviour. We propose a framework for automatically model checking distributed event-based systems in order to discover mismatch between the infrastructure and its clients. Using the SIENA event service as an example, we implemented and evaluated our framework by customizing the Bandera/Bogor tool pipeline. Two realistic Java applications are implemented to test and evaluate the framework.
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where FMOODS
Authors L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel
Comments (0)
books