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
A formal framework for middleware behavioural specification
ACM SIGSOFT Software Engineering Notes
Formal Modeling of a Generic Middleware to Ensure Invariant Properties
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A Software Architecture-Based Approach for Formalising Middleware Behaviour
Electronic Notes in Theoretical Computer Science (ENTCS)
A LOTOS framework for middleware specification
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Hi-index | 0.00 |
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interface definition language (IDL) and informal prose. This may lead to ambiguous descriptions.This paper proposes an abstract specification of components using the formal specification language Object-Z. The usage of Object-Z enables system designers and programmers to create, understand and maintain specifications of complex interfaces and their interaction. In connection with tool support, the proposed method is integrated into design methods for practical purposes. It give practitioners a better understanding of the design process and fosters the usefulness of formal methods.