On the Formal Verification of Middleware Behavioral Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Distributed applications require specific middlewaresupport for semantics and run-time constraints for a widerange of hardware or software configurations. However,their full specifications and existing implementations showthey share functional notions and run-time mechanisms.Thus, distribution infrastructures could be prototyped froma given set of middleware components. Generic middlewareproposes patterns to describe distribution models;configurable middleware constructs to abide to run-timeconstraints. We have introduced the schizophrenic middlewareconcept as a comprehensive solution to rapidlyimplement different distribution models. PolyORB, ourimplementation of a schizophrenic middleware, supportsCORBA, SOAP, the Ada 95 Distributed System Annexand Message Oriented Middleware distribution models. Inthis paper, we describe existing generic and configurablemiddleware; we introduce PolyORB's key concepts anddesign; then we compare our platform design to existinggeneric and configurable middleware, and discuss theirrespective use to prototype specific distribution models.