![Page 1: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/1.jpg)
A graphical specification environment for GCM
component-based applications
INRIA – I3S – CNRS – University of Nice-Sophia AntipolisEPC OASIS
Oleksandra KulankhinaInternship supervisor: Eric Madelaine
![Page 2: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/2.jpg)
Background: modeling tools for component-based softwareGrid Component Model (GCM)
Binding Server interfaceClient interface
![Page 3: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/3.jpg)
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
![Page 4: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/4.jpg)
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
![Page 5: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/5.jpg)
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
![Page 6: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/6.jpg)
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
![Page 7: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/7.jpg)
Agenda
• Background• Motivation• Formal Model extension• Examples of constraints• The new VerCors prototype creation• Contributions and future work
7
![Page 8: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/8.jpg)
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
![Page 9: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/9.jpg)
Agenda
• Background• Motivation• Formal Model extension• Examples of constraints• The new VerCors prototype creation• Contributions and future work
9
![Page 10: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/10.jpg)
Examples of new constraints• Subtyping constraint
Nnn
Mmm
Lll
ServerMSignatureClientMSignature
BindingsServerClient
)()(
),(
• Separation of concernsControl level constraint
)()(ClientelControlLev
ServerelControlLev
10
![Page 11: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/11.jpg)
11
Agenda
• Background• Motivation• Formal Model extension• Examples of constraints• The new VerCors prototype creation• Contributions and future work
![Page 12: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/12.jpg)
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
![Page 13: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/13.jpg)
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
![Page 14: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/14.jpg)
Obeo Designer Principles
Define the Domain Model
Describe the Graphical Designer
Exploit the Models
14
![Page 15: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/15.jpg)
New VerCors prototype: implementation of existing features
15
![Page 16: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/16.jpg)
New VerCors prototype: integration with UML Diagrams
16
![Page 17: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/17.jpg)
Agenda
• Background• Motivation• Formal Model extension• Examples of constraints• The new VerCors prototype creation• Contributions and future work
17
![Page 18: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/18.jpg)
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
![Page 19: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/19.jpg)
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
![Page 20: A graphical specification environment for GCM component-based applications](https://reader036.vdocument.in/reader036/viewer/2022062521/568166e7550346895ddb2716/html5/thumbnails/20.jpg)
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