a graphical specification environment for gcm component-based applications
DESCRIPTION
A graphical specification environment for GCM component-based applications. INRIA – I3S – CNRS – University of Nice-Sophia Antipolis EPC OASIS Oleksandra Kulankhina Internship supervisor: Eric Madelaine. Background: modeling tools for component-based software Grid Component Model (GCM). - PowerPoint PPT PresentationTRANSCRIPT
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