200 likes | 360 Views
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).
E N D
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 softwareGrid Component Model (GCM) Client interface Binding Server interface
Background: modeling tools for component-based softwareGCM Architecture in VerCors Composite component GCM: Hierarchical model GCM: Separation of concerns: functional (business logic) and non-functional (control) aspects Membrane Primitive component Content
Background: modeling tools for component-based softwareThe aspects of the project 1 2 3 The GCM implementation : • ADL generation • Component factory Formalization and semantics: mathematical formulas and proofs The Editor for the GCM Architecture specification: VerCors
Motivation Formalization 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.
Motivation Implementation 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
Agenda • Background • Motivation • Formal Model extension • Examples of constraints • The new VerCors prototype creation • Contributions and future work
Agenda • Background • Motivation • Formal Model extension • Examples of constraints • The new VerCors prototype creation • Contributions and future work
Examples of new constraints • Subtyping constraint • Separation of concerns Control level constraint
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
Obeo Designer Principles Code generation uses A set of Eclipse plugins for graphical editors creation Create graphical editors Based on Based on UML Diagrams Editors • Obeo: • Startup project from the NantesUniversity • Commercial project • The free version Sirius is going to be released in September 2013 • Strong community
Obeo Designer Principles Exploit the Models Describe the Graphical Designer Define the Domain Model
Agenda • Background • Motivation • Formal Model extension • Examples of constraints • The new VerCors prototype creation • Contributions and future work
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
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
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éaAmeur-Boulifa, LudovicHenrio, Eric Madelaine, Alexandra Savu, Behavioural Semantics for Asynchronous Components : http://hal.inria.fr/docs/00/76/10/73/PDF/RR8167.pdf