Behavioural specification of middleware systems

the number of open specifications of middleware systems and middleware services is increasing. despite their complexity, they are traditionally described through apis (the operation signatures) and informal prose (the behaviour). this fact often leads to ambiguities, whilst making difficult a better understanding of what is actually described. in this paper, we adopt software architecture principles for structuring middleware specifications together with lotos for formalising their behaviour. the adoption of software architecture principles makes explicit structural aspects of the middleware. meanwhile, the formalisation enables us to check behavioural properties of the middleware. in order to illustrate our approach, we present a lotos specification of the well known object-oriented middleware corba.