A Specification Language for Distributed Components Implemented in GCM/ProActive

This chapter is based on a component model for distributed components called GCMfor Grid Component Model. We present here this component model, its reference implementation based on the Java middleware ProActive, our specification language, JDC, adapted to distributed software components, and the associated specification platform: Vercors. From the specification of components and their behaviour, our aim is to both verify properties of this behaviour and generate code for real GCM components.

[1]  David de Frutos-Escrig,et al.  Formal Techniques for Networked and Distributed Systems – FORTE 2004 , 2004, Lecture Notes in Computer Science.

[2]  Andreas Podelski,et al.  ACSAR: Software Model Checking with Transfinite Refinement , 2007, SPIN.

[3]  Radu Mateescu,et al.  An overview of CADP 2001 , 2001 .

[4]  Rabéa Ameur-Boulifa,et al.  Parameterized Models for Distributed Java Objects , 2004, FORTE.

[5]  Eric Madelaine,et al.  Model-checking Distributed Components: The Vercors Platform , 2006, FACS.

[6]  Xavier Leroy,et al.  Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004 , 2004, POPL.

[7]  Denis Caromel,et al.  A theory of distributed objects - asynchrony, mobility, groups, components , 2005 .

[8]  Thierry Coupaye,et al.  An Open Component Model and Its Support in Java , 2004, CBSE.

[9]  Ludovic Henrio,et al.  Verification of Distributed Hierarchical Components , 2006, FACS.

[10]  Ludovic Henrio,et al.  Behavioural Models for Hierarchical Components , 2005, SPIN.

[11]  Denis Caromel,et al.  A Theory of Distributed Objects , 2005 .

[12]  Pavlína Vareková,et al.  Component Substitutability via Equivalencies of Component-Interaction Automata , 2007, FACS.

[13]  Denis Caromel,et al.  Asynchronous and deterministic objects , 2004, POPL.

[14]  Denis Caromel,et al.  ProActive: an integrated platform for programming and running applications on Grids and P2P systems , 2006 .

[15]  Jan Kofron,et al.  Model Checking of Component Behavior Specification: A Real Life Experience , 2006, Electron. Notes Theor. Comput. Sci..