Presentation is loading. Please wait.

Presentation is loading. Please wait.

A graphical specification environment for GCM component-based applications INRIA – I3S – CNRS – University of Nice-Sophia Antipolis EPC OASIS Oleksandra.

Published byAllen Dickerson Modified over 8 years ago

Similar presentations

Presentation on theme: "A graphical specification environment for GCM component-based applications INRIA – I3S – CNRS – University of Nice-Sophia Antipolis EPC OASIS Oleksandra."— 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 software Grid Component Model (GCM) BindingServer interfaceClient interface

3 Background: modeling tools for component-based software GCM Architecture in VerCors 3 GCM: Hierarchical model Composite component Primitive component GCM: Separation of concerns: functional (business logic) and non-functional (control) aspects Membrane Content

4 Background: modeling tools for component-based software The aspects of the project 4 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

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

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 6

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

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

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

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

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

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 12

13 Obeo Designer Principles 13 Create graphical editors Code generation UML Diagrams Editors A set of Eclipse plugins for graphical editors creation Based 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

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

15 New VerCors prototype: implementation of existing features 15

16 New VerCors prototype: integration with UML Diagrams 16

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

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 18

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 19

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=VerCorshttp://www-sop.inria.fr/oasis/index.php?page=VerCors Obeo Designer homepage: http://www.obeodesigner.comhttp://www.obeodesigner.com Obeo Designer community homepage: http://www.obeonetwork.com/group/obeo- designerhttp://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 http://hal.inria.fr/docs/00/76/10/73/PDF/RR8167.pdf 20

Download ppt "A graphical specification environment for GCM component-based applications INRIA – I3S – CNRS – University of Nice-Sophia Antipolis EPC OASIS Oleksandra."

Similar presentations

Integration of MBSE and Virtual Engineering for Detailed Design

Integration of MBSE and Virtual Engineering for Detailed Design
Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,

Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,
IAAnalyzer: Towards a Model-Driven Modeling and Analysis Framework for C ONNECT(ors) Massimo Tivoli, University of L’Aquila (UNIVAQ)

IAAnalyzer: Towards a Model-Driven Modeling and Analysis Framework for C ONNECT(ors) Massimo Tivoli, University of L’Aquila (UNIVAQ)
Introducing Formal Methods, Module 1, Version 1.1, Oct., 1998 1 Formal Specification and Analytical Verification L 5.

Introducing Formal Methods, Module 1, Version 1.1, Oct., Formal Specification and Analytical Verification L 5.
WebRatio BPM: a Tool for Design and Deployment of Business Processes on the Web Stefano Butti, Marco Brambilla, Piero Fraternali Web Models Srl, Italy.

WebRatio BPM: a Tool for Design and Deployment of Business Processes on the Web Stefano Butti, Marco Brambilla, Piero Fraternali Web Models Srl, Italy.
Eric MADELAINE1 E. Madelaine, Antonio Cansado, Emil Salageanu OASIS Team, INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis OSCAR meeting, Valparaiso,

Eric MADELAINE1 E. Madelaine, Antonio Cansado, Emil Salageanu OASIS Team, INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis OSCAR meeting, Valparaiso,
Session 2: task 3.2 GCM, Kracow, June 27 2006 l Current status of GCM Denis Caromel (10 mn each talk) l Wrapping CCA Components as GCM Components Maciej.

Session 2: task 3.2 GCM, Kracow, June l Current status of GCM Denis Caromel (10 mn each talk) l Wrapping CCA Components as GCM Components Maciej.
Recall The Team Skills 1. Analyzing the Problem (with 5 steps) 2. Understanding User and Stakeholder Needs 3. Defining the System 4. Managing Scope 5.

Recall The Team Skills 1. Analyzing the Problem (with 5 steps) 2. Understanding User and Stakeholder Needs 3. Defining the System 4. Managing Scope 5.
UML CASE Tool. ABSTRACT Domain analysis enables identifying families of applications and capturing their terminology in order to assist and guide system.

UML CASE Tool. ABSTRACT Domain analysis enables identifying families of applications and capturing their terminology in order to assist and guide system.
WebRatio BPM: a Tool for Design and Deployment of Business Processes on the Web Stefano Butti, Marco Brambilla, Piero Fraternali Web Models Srl, Italy.

WebRatio BPM: a Tool for Design and Deployment of Business Processes on the Web Stefano Butti, Marco Brambilla, Piero Fraternali Web Models Srl, Italy.
HAS. Patterns The use of patterns is essentially the reuse of well established good ideas. A pattern is a named well understood good solution to a common.

HAS. Patterns The use of patterns is essentially the reuse of well established good ideas. A pattern is a named well understood good solution to a common.
Using the Vanderbilt Generic Modeling Environment (GME) to Address SOA QoS Sumant Tambe Graduate Intern, Applied Research, Telcordia Technologies Inc.

Using the Vanderbilt Generic Modeling Environment (GME) to Address SOA QoS Sumant Tambe Graduate Intern, Applied Research, Telcordia Technologies Inc.
Optimisation of behaviour of component-based distributed systems INRIA - I3S - CNRS – University of Nice Sophia-Antipolis EPC SCALE Galyna Zholtkevych.

Optimisation of behaviour of component-based distributed systems INRIA - I3S - CNRS – University of Nice Sophia-Antipolis EPC SCALE Galyna Zholtkevych.
Deriving AO Software Architectures using the AO-ADL Tool Suite Luis Fernández, Lidia Fuentes, Mónica Pinto, Juan A. Valenzuela Universidad de Málaga

Deriving AO Software Architectures using the AO-ADL Tool Suite Luis Fernández, Lidia Fuentes, Mónica Pinto, Juan A. Valenzuela Universidad de Málaga
1/151/15 ENT Metamodel Implementation & Applications ENT metamodel, prototype implementation Component substitutability checking, ENT based component comparison.

1/151/15 ENT Metamodel Implementation & Applications ENT metamodel, prototype implementation Component substitutability checking, ENT based component comparison.
Safe composition of distributed adaptable components A distributed component model Behavioural specification and verification Ludovic Henrio and Eric Madelaine.

Safe composition of distributed adaptable components A distributed component model Behavioural specification and verification Ludovic Henrio and Eric Madelaine.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 7 Slide 1 System models l Abstract descriptions of systems whose requirements are being.

©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 7 Slide 1 System models l Abstract descriptions of systems whose requirements are being.
System models Abstract descriptions of systems whose requirements are being analysed Abstract descriptions of systems whose requirements are being analysed.

System models Abstract descriptions of systems whose requirements are being analysed Abstract descriptions of systems whose requirements are being analysed.
Copyright © IBM Corp., 2008. All rights reserved; made available under the EPL v1.0 | March 20, 2008 | Short Talk Standards based systems management: An.

Copyright © IBM Corp., All rights reserved; made available under the EPL v1.0 | March 20, 2008 | Short Talk Standards based systems management: An.
INRIA Sophia-Antipolis, Oasis team INRIA Rhône-Alpes, Vasy team Feria–IRIT/LAAS, SVF team Toulouse GET - ENST Paris, LTCI team FIACRE Models and Tools.

INRIA Sophia-Antipolis, Oasis team INRIA Rhône-Alpes, Vasy team Feria–IRIT/LAAS, SVF team Toulouse GET - ENST Paris, LTCI team FIACRE Models and Tools.

Similar presentations

Ads by Google