Composition in Multi-Paradigm Specification Techniques
Lynne Blair, Gordon Blair
Computing Department, Lancaster University, Bailrigg, Lancaster, LA1 4YR
e-mail: lb@comp.lancs.ac.uk, telephone: +44 (1524) 65201 x94899
Abstract
This paper addresses the issue of composition in a multi-paradigm environment. Our work focuses on the application domain of distributed multimedia systems and, in addition to considering quality of service properties, we also explore dynamic quality of service management functions based on the concepts of monitors and controllers. We advocate the use of a multi-paradigm specification technique which, to suit our chosen application domain, consists of LOTOS, real-time temporal logic and timed automata specifications. We illustrate our approach by giving an example of a simple phone system, extended with dynamic QoS management capabilities.