An integrated approach to coordination description in distributed multimedia applications

This paper proposes an original integrated approach allowing coordination rules to be described for resource allocation in Distributed Multimedia Applications. Our approach has two major benefits. On the one hand, it allows the scalability and the dynamicity required for today's distributed systems. On the other hand, rather than bringing a new formalism and rather than making a dialect of an existing formal language we work on how two existing description techniques may be integrated to compositionally describe the whole system. An implementation of our approach is presented.

[1]  Simon M. Kaplan,et al.  Specifying Concurrent Languages and Systems with ???-Grammars , 1993, Graph-Grammars and Their Application to Computer Science.

[2]  Herbert Göttler,et al.  Attributed graph grammars for graphics , 1982, Graph-Grammars and Their Application to Computer Science.

[3]  Narciso Martí-Oliet,et al.  Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..

[4]  Robert E. Milne,et al.  The formal description technique LOTOS : By P.H.J. van Eijk, C.A. Vissers and M. Diaz, eds. North-Holland, Amsterdam, Netherlands, 1989, Price $102.50 (hardback), ISBN 0-444-87267-1. , 1990 .

[5]  Chris Hankin,et al.  Coordinatio Languages and Models , 2002, Lecture Notes in Computer Science.

[6]  Wolfgang Reisig Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[7]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[8]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[9]  Dieter Hogrefe,et al.  SDL : formal object-oriented language for communicating systems , 1997 .

[10]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[11]  José Meseguer,et al.  Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..

[12]  José Meseguer,et al.  Reflection and strategies in rewriting logic , 1996, WRLA.

[13]  Khalil Drira,et al.  Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA , 1999, FMOODS.

[14]  Daniel Le Métayer,et al.  Reasearch Directions in High-Level Parallel Programming Languages , 1991, Lecture Notes in Computer Science.

[15]  Robert E. Milne,et al.  The formal description technique Estelle : J.P. Diaz, J.P. Ansart, J.P. Courtiat, P. Azema and V. Chari, eds. North-Holland, Amsterdam, Netherlands, 1989, Prince $102.50 (hardback), ISBN 0-444-87132-2. , 1990 .

[16]  Michel Diaz,et al.  Formal Description Technique Estelle: Results of the Esprit Sedos Project , 1989 .

[17]  Daniel Le Métayer Describing Software Architecture Styles Using Graph Grammars , 1998, IEEE Trans. Software Eng..