Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
The Z notation: a reference manual
The Z notation: a reference manual
An axiomatic basis for computer programming
Communications of the ACM - Special 25th Anniversary Issue
A Formal Analysis of the CORBA Security Service
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Formal Specification of CORBA Services using Object-Z
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
A Specification of the Soar Cognitive Architecture in Z
A Specification of the Soar Cognitive Architecture in Z
A formal framework for middleware behavioural specification
ACM SIGSOFT Software Engineering Notes
The design of the TAO real-time object request broker
Computer Communications
Hi-index | 0.00 |
The complexity of middleware leads to complex Application Programming Interfaces (APIs) and semantics, supported by configurable components in the middleware. Those components are selected to provide the desired semantics. Yet, incorrect configuration can lead to faulty middleware executions, detected late in the development cycle.We use formals methods to tackle this problem. They allow us to find appropriate composition of middleware components and the use of their APIs, and to detect valid or faulty sequences. To provide reusable results, we modeled a canonical middleware architecture using Z.We propose a validation scenario to verify middleware's invariants. We define invariants to exhibit inconsistent usage of these APIs. The specification has been checked with the Z/EVES [13] theorem prover.