1 / 20

A graphical specification environment for GCM component-based applications

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).

taipa
Download Presentation

A graphical specification environment for GCM component-based applications

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. 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

  2. Background: modeling tools for component-based softwareGrid Component Model (GCM) Client interface Binding Server interface

  3. 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

  4. 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

  5. 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.

  6. 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

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

  8. Formal model extension : ADL -> ADL-V2

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

  10. Examples of new constraints • Subtyping constraint • Separation of concerns Control level constraint

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

  12. 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

  13. 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

  14. Obeo Designer Principles Exploit the Models Describe the Graphical Designer Define the Domain Model

  15. New VerCors prototype: implementation of existing features

  16. New VerCorsprototype: integration with UML Diagrams

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

  18. 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

  19. 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

  20. 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

More Related