A graphical specification environment for GCM

component-based applications

INRIA – I3S – CNRS – University of Nice-Sophia AntipolisEPC OASIS

Oleksandra KulankhinaInternship supervisor: Eric Madelaine

Background: modeling tools for component-based softwareGrid Component Model (GCM)

Binding Server interfaceClient interface

Background: modeling tools for component-based softwareGCM Architecture in VerCors

3

GCM: Hierarchical modelComposite component

Primitive component

GCM: Separation of concerns: functional (business logic)andnon-functional (control) aspects

Membrane

Content

Background: modeling tools for component-based softwareThe aspects of the project

4

fCompInterc

Bindings

Comp

ContMembrCItf

SItfCname

Mmm

Lll

Kkk

Jjj

Iii

Re,

,

,

,,

,

Membr

Compos

Formalization and semantics: mathematical formulas and proofs

The Editor for the GCM Architecture specification: VerCors

The GCM implementation :- ADL generation- Component factory

1 2 3

MotivationFormalization issues:

• The existing formal model does not contain the Membrane

• There is no properly defined set of constraints for the GCM Architecture. The well-formed component definition does not consider the membrane.

5

MotivationImplementation issues:

• The technology of VerCors (Topcased) is not maintained: cannot be ran on the latest Eclipse versions

• The behavior (e.g. finite state machines) of Components cannot be specified in VerCors

6

Agenda

• Background• Motivation• Formal Model extension• Examples of constraints• The new VerCors prototype creation• Contributions and future work

7

Formal model extension : ADL -> ADL-V2

ContMembrCItf

SItfJj

j

Iii

,,

,CnameCompos

CompRefInterc

Bindings

Comp

Mmm

Lll

Kkk

,

,

,Membr

Jjj

Iii

Lll

Kkk

CItfSItf

Bindings

Comp

,

,

,Cont

8

Agenda

• Background• Motivation• Formal Model extension• Examples of constraints• The new VerCors prototype creation• Contributions and future work

9

Examples of new constraints• Subtyping constraint

Nnn

Mmm

Lll

ServerMSignatureClientMSignature

BindingsServerClient

)()(

),(

• Separation of concernsControl level constraint

)()(ClientelControlLev

ServerelControlLev

10

11

Agenda

• Background• Motivation• Formal Model extension• Examples of constraints• The new VerCors prototype creation• Contributions and future work

Last Experiments with Eclipse Papyrus

Result:• A simple editor was implemented and integrated in Eclipse Papyrus. It

allows creation of primitive components, bindings and interfaces.

Limitations:• The development is extremely time-consuming• The Papyrus project is unstable• It is unclear if it is possible to link our model with UML one: we did

not succeed

12

Obeo Designer Principles

13

Create graphical editors

Code generation

UML Diagrams Editors

A set of Eclipse plugins for graphical editors creation

Based onBased

on

uses

Obeo:• Startup project from the Nantes University• Commercial project• The free version Sirius is going to be released

in September 2013• Strong community

Obeo Designer Principles

Define the Domain Model

Describe the Graphical Designer

Exploit the Models

14

New VerCors prototype: implementation of existing features

15

New VerCors prototype: integration with UML Diagrams

16

Agenda

• Background• Motivation• Formal Model extension• Examples of constraints• The new VerCors prototype creation• Contributions and future work

17

Contributions (intermediate !)

The formal part:• The GCM formal model was extended. It includes the membrane now• The set of consistency constraints for the GCM Architecture was

defined and formalized

The implementation part:• The VerCors Prototype was created in Obeo Designer. Most of the

features of the old version of VerCors were implemented• The UML Diagrams were integrated in the VerCors prototype

18

Ongoing work

Short term:• Implement the diagrams validation in the new VerCors prototype in

Obeo Designer; express rules using Acceleo• Implement the ADL-V2 file generation• Check scalability: develop a significant use-case

Longer term• Create the VerCors prototype in the free version of Obeo Designer

19

Thank you!Oleksandra Kulankhina

A graphical specification environment for GCM component-based applications

References:• VerCors platform homepage: http://www-sop.inria.fr/oasis/index.php?page=VerCors• Obeo Designer homepage: http://www.obeodesigner.com• Obeo Designer community homepage:

http://www.obeonetwork.com/group/obeo-designer• Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine, Alexandra Savu, Behavioural

Semantics for Asynchronous Components : http://hal.inria.fr/docs/00/76/10/73/PDF/RR8167.pdf 20