A Specification Language for Distributed Components Implemented in GCM/ProActive

Authors:
Antonio Cansado;Denis Caromel;Ludovic Henrio;Eric Madelaine;Marcela Rivera;Emil Salageanu
Affiliations:
INRIA Sophia-Antipolis, Université de Nice Sophia-Antipolis, CNRS, France;INRIA Sophia-Antipolis, Université de Nice Sophia-Antipolis, CNRS, France;INRIA Sophia-Antipolis, Université de Nice Sophia-Antipolis, CNRS, France;INRIA Sophia-Antipolis, Université de Nice Sophia-Antipolis, CNRS, France;INRIA Sophia-Antipolis, Université de Nice Sophia-Antipolis, CNRS, France;INRIA Sophia-Antipolis, Université de Nice Sophia-Antipolis, CNRS, France
Venue:
The Common Component Modeling Example
Year:
2007

Citing 4
Cited 2

Asynchronous and deterministic objects

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Theory of Distributed Objects

A Theory of Distributed Objects
Model-checking Distributed Components: The Vercors Platform

Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioural models for hierarchical components

SPIN'05 Proceedings of the 12th international conference on Model Checking Software

CoCoTA --- Common Component Task

The Common Component Modeling Example
Active Objects and Distributed Components: Theory and Implementation

Formal Methods for Components and Objects

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.