Formal specification of CORBA services: experience and lessons learned
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A formal specification of the CORBA event service
Fourth International Conference on Formal methods for open object-based distributed systems IV
Safe 'composability' of middleware services
Communications of the ACM - Adaptive middleware
Managing Complexity: Middleware Explained
IT Professional
IEEE Internet Computing
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
Patterns, frameworks, and middleware: their synergistic relationships
Proceedings of the 25th International Conference on Software Engineering
Formal Specification of CORBA Services using Object-Z
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
A Software Architecture-Based Approach for Formalising Middleware Behaviour
Electronic Notes in Theoretical Computer Science (ENTCS)
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
| Hi-index | 0.00 |
This paper presents a LOTOS framework for the specification of middleware systems. The framework consists of a library of basic middleware components and some guidelines on how to compose them. The components of the framework facilitate the formal specification of different middleware systems.