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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
R. Alur, C. Courcoubetis, D.L. Dill, “Model Checking for Real-time Systems”, Proceedings of the Fifth Annual Symposium on Logic in Computer Science, pages 414–425, IEEE Computer Society Press, 1990.
R. Alur, C. Courcoubetis, D.L. Dill, “Model Checking for Probabilistic Real-time Systems”, In Proceedings of the 18th International Conference on Automata, Languages and Programming (ICALP’91), LNCS 510, pp 115–136, Berlin: Springer-Verlag, 1991.
J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, W. Yi: “UPPAAL: a Tool Suite for Automatic Verification of Real-time Systems”, In Hybrid Systems III (Verification and Control), Alur, Henzinger, Sontag (eds), LNCS 1066, pp 232–243, Berlin: Springer, 1996.
G.S. Blair, L. Blair, H. Bowman, A. G. Chetwynd, “Formal Specification of Distributed Multimedia Systems”, London: UCL Press, 1998.
L. Blair, G.S. Blair, “The Impact of Aspect-Oriented Programming on Formal Methods (Position Paper)”, presented at the Aspect-Oriented Programming Workshop at ECOOP’98, Brussels, July 1998.
L. Blair, G.S. Blair, A. Andersen, “Separating Functional Behaviour and Performance Constraints: Aspect-Oriented Specification”, Internal Report No. MPG-98–07, see link on http://www.comp.lancs.ac.uk/computing/users/Ib/vqos.html May 1998.
G.S. Blair, G. Coulson, M. Papathomas, P. Robin, “An Architecture for Next Generation Middleware”, To appear in Middleware’98, The Lake District, U.K., September 1998.
E. Boiten, H. Bowman, J. Derrick, M. Steen, “Issues in Multi-paradigm Viewpoint Specification”, Proceedings of Viewpoints’96, SIGSOFT FSE4, 1996.
E. Boiten, H. Bowman, J. Derrick, M. Steen, “Viewpoint Consistency in Z and LOTOS: A Case Study”, Proceedings of Formal Methods Europe (FME’97), 1997.
T. Bolognesi, E. Brinksma, “Introduction to the ISO Specification Language LOTOS”, Computer Networks and ISDN Systems, Vol. 14, No. 1, pp 25–59, North-Holland, Amsterdam, 1988.
H. Bowman, E.A. Boiten, J. Derrick, M.W.A. Steen, “Strategies for Consistency Checking based on Unification”, to appear in Science of Computer Programming, Dec 1998.
L. Drayton, A.G. Chetwynd, G.S. Blair, “An Introduction to LOTOS through a Worked Example”, Computer Communications (Special Issue on FDTs in Communications and Distributed Systems), Vol. 15, No. 2, pages 70–85, Butterworth-Heinemann, March 1992.
A. Finkelstein, G. Spanoudakis (eds), SIGSOFT ‘86 International Workshop on Multiple Perspectives in Software Development (Viewpoints ‘86), ACM Press, 1996.
H. Garavel, “An Overview of the Eucalyptus Toolbox”, Proceedings of the International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia), pp 76–88, June 1996, see http://www.inrialpes.fr/vasy/Publications/Garavel-96.html.
G.J. Holzmann, “Design and Validation of Computer Protocols”, Englewood Cliffs (NJ): Prentice-Hall, 1991.
T. Jones, L. Blair, G. Blair, “A Tool Suite for Multi-paradigm Specification”, Internal Report No. MPG-98-Ed**, see http://www.comp.lancs.ac.uk/computing/users/lb/vqos.html September 1998.
G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, J. Irwin, “Aspect-Oriented Programming”, PARC Technical Report, SPL97–008 P9710042, see http://www.parc.xerox.com/spl/projects/aop/reports.html February 1997.
A. Lakas, G. S. Blair, A. Chetwynd, “Specification and Verification of Real-Time Properties Using LOTOS and SQTL”, Proceedings of the 8th International Workshop on Software Specification and Design, pp 75–84, Paderborn, Germany, March 1996.
K.G. Larsen, P. Pettersson, W. Yi, “Diagnostic Model-Checking for Real-Time Systems”, Proceedings of the 4“’ DIMACS Workshop on Verification and Control of Hybrid Systems, New Brunswick, New Jersey, 22–24 October, 1995.
Lite: LOTOS Integrated Tool Environment, Tele-Informatics and Open Systems (TIOS) Group, University of Twente, The Netherlands, http://wwwtios.cs.utwente.nl/lotos/lite/
ITU Recommendation X.901–904, ISO/IEC 10746 1–4, “Open Distributed Processing — Reference Model”, Parts 1–4, July 1995.
S.Yovine, “Kronos: A Verification Tool for Real-time Systems”, In Springer International Journal of Software Tools for Technology Transfer, 1(1/2), October 1997.
P. Zave, M.A. Jackson, “Conjunction as Composition”, ACM Transactions on Software Engineering and Methodology“, II (4), pp 379–411, ACM Press, October 1993.
P. Zave, M.A. Jackson, “Where Do Operations Come From? A Multi-paradigm Specification Technique”, IEEE Transactions on Software Engineering, XXII(7), pp 508528, IEEE, July 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this paper
Cite this paper
Blair, L., Blair, G. (1999). Composition in Multi-Paradigm Specification Techniques. In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 1999. IFIP — The International Federation for Information Processing, vol 10. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35562-7_32
Download citation
DOI: https://doi.org/10.1007/978-0-387-35562-7_32
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5266-3
Online ISBN: 978-0-387-35562-7
eBook Packages: Springer Book Archive