• Save
An Approach for Constructing a Domain Definition Metamodel with ATL
Upcoming SlideShare
Loading in...5
×
 

An Approach for Constructing a Domain Definition Metamodel with ATL

on

  • 432 views

Presentation at the 1st International Workshop on Model Transformation with ATL, 2009.07, Nantes, France

Presentation at the 1st International Workshop on Model Transformation with ATL, 2009.07, Nantes, France

Statistics

Views

Total Views
432
Views on SlideShare
432
Embed Views
0

Actions

Likes
0
Downloads
0
Comments
0

0 Embeds 0

No embeds

Accessibility

Upload Details

Uploaded via as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

An Approach for Constructing a Domain Definition Metamodel with ATL An Approach for Constructing a Domain Definition Metamodel with ATL Presentation Transcript

  • An Approach for Constructinga Domain Definition Metamodel with ATL Vanea Chiprianov Yvon Kermarrec Patrick D. Alff
  • Agenda• Context – Telecommunications Services Issues – A Simple Graphical Telecommunications Specific Modeling Language• Enlarging the Domain Definition Metamodel – Model Transformations – Reduction Rules – Preliminary Performance Results• Conclusion and Future Work – Lessons Learned – Towards Collaborative Work and Checking Properties on Models
  • Telecommunications Services Issues• Long concept-to-market time.• Large and complex systems constituted of services distributed over technological spaces and vendor domains.• Numerous interactions between services.• Lack of computer-aided tools for service designers.
  • A Simple Graphical Telecommunications Specific Modeling Language [1] Bezivin, J.: In search of a basic principle for model driven engineering. Novatica Grammarware /Modelware (from [1]) Journal 2 (2004) 21{24
  • A Simple Graphical Telecommunications Specific Modeling Language Domain Definition Meta-Model (UML) Prototype (TOPCASED)
  • A Simple Graphical Telecommunications Specific Modeling Language Concrete Graphical/ Graphical (Topcased) (Topcased)/ Textual Textual (TCS) (TCS) n DSL Syntax tio ini D ef x ta Syn Direct Mapping L DS (TOPCASED) Domain Definition Meta-Model (UML) Prototype (TOPCASED)
  • A Simple Graphical Telecommunications Specific Modeling Language Concrete Graphical/ Graphical (Topcased) (Topcased)/ Textual Textual (TCS) (TCS) n DSL Syntax tio ini D ef x ta yn Direct Mapping LS DS (TOPCASED) Domain Definition General Meta-Model (UML) Code Generation Purpose Programming Prototype Language (TOPCASED) ATL (Eclipse M2M) Templates (OpenArchitectureWare)
  • A Simple Graphical Telecommunications Specific Modeling Language Abstract Syntax/VPN Prototypical Metamodel
  • A Simple Graphical Telecommunications Specific Modeling Language Concrete Graphical Syntax/VPN Representation
  • A Simple Graphical Telecommunications Specific Modeling Language Semantics/Code Generation
  • A Simple Graphical Telecommunications Specific Modeling Language Semantics/Code Generation
  • A Simple Graphical Telecommunications Specific Modeling Language Semantics/Code Generation
  • A Simple Graphical Telecommunications Specific Modeling Language Semantics/Code Generation
  • A Simple Graphical Telecommunications Specific Modeling Language Concrete Graphical/ Graphical (Topcased) (Topcased)/ Textual Textual (TCS) (TCS) n DSL Syntax tio ini D ef x ta yn Direct Mapping LS DS (TOPCASED) Domain Definition General Meta-Model (UML) Code Generation Purpose Programming Prototype Language (TOPCASED) ATL (Eclipse M2M) Templates (OpenArchitectureWare)
  • Agenda• Context – Telecommunications Services Issues – A Simple Graphical Telecommunications Specific Modeling Language• Enlarging the Domain Definition Metamodel – Model Transformations – Reduction Rules – Preliminary Performance Results• Conclusion and Future Work – Lessons Learned – Towards Collaborative Work and Checking Properties on Models
  • Enlarging the Domain Definition Metamodel Concrete Network Graphical/ Graphical Abstraction (Topcased) (Topcased)/ Layer Textual Textual (TCS) (TCS) n DSL Syntax tio Mo ini de D ef lR x ed ta uc tio yn Direct Mapping ATL n LS (Eclipse M2M) DS (TOPCASED) Domain Definition General Domain Domain Analysis Meta-Model (UML) Specialists Code Generation Purpose Programming Prototype Language FODA (TOPCASED) FAST ATL (Eclipse M2M) Templates (OpenArchitectureWare)
  • Model TransformationsmodelsMeta-metamodelsMetaModels conformant to Model Transformations transform
  • Model TransformationsmodelsMeta-metamodelsMetaModels conformant to LargeHierarchy transform
  • Model Transformations LargeHierarchy
  • Model Transformations• Sag – Service Atom Generator – A class with at least one method• LdSag – Least Derived Sag – An Sag which does not have an Sag amongst its ancestors
  • Model TransformationsmodelsMeta-metamodelsMetaModels conformant to SmallHierarchy transform
  • Model Transformations Package Package B E F attributes attributes attributes operations operations operations M1( ) M3( ) M10( ) classes M4( ) classes classes dst dst src src C G H dst src Association attributes attributes attributes operations operations operations M2( ) M11( ) M12( ) Generalization classes classes classes SmallHierarchy
  • Reduction RulesmodelsMeta-metamodelsMetaModels conformant to HierarchyReduction transform
  • Reduction Rules• moveAssocDownHierarchy: – Move association relations down in the hierarchy (i.e.; towards the more derived classes) to the ldSag
  • Model TransformationsassociationldSag LargeHierarchy
  • Reduction Rules UML Metamodel [2] [2] OMG UML, Superstructure, Version 2.2, February 2009
  • Reduction Rules
  • Model Transformations pstargetLdSag LargeHierarchy
  • Reduction Rules
  • Reduction Rules
  • Model Transformations psldSag targetLdSag LargeHierarchy
  • Reduction Rules
  • Model Transformations Package Package B E F attributes attributes attributes operations operations operations M1( ) M3( ) M10( ) classes M4( ) classes classes dst dst src src C G H dst src Association attributes attributes attributes operations operations operations M2( ) M11( ) M12( ) Generalization classes classes classes SmallHierarchy
  • Performance Results Dell Latitude E4300, Intel Core2 Duo CPU P9300 @ 2.26GHz 1.58GHz, 3.45Go RAM, Microsoft XP SP3
  • Enlarging the Domain Definition Metamodel Concrete Network Graphical/ Graphical Abstraction (Topcased) (Topcased)/ Layer Textual Textual (TCS) (TCS) n DSL Syntax tio Mo ini de D ef lR x ed ta uc tio yn Direct Mapping ATL n LS (Eclipse M2M) DS (TOPCASED) Domain Definition General Domain Domain Analysis Meta-Model (UML) Specialists Code Generation Purpose Programming Prototype Language FODA (TOPCASED) FAST ATL (Eclipse M2M) Templates (OpenArchitectureWare)
  • Agenda• Context – Telecommunications Services Issues – A Simple Graphical Telecommunications Specific Modeling Language• Enlarging the Domain Definition Metamodel – Model Transformations – Reduction Rules – Preliminary Performance Results• Conclusion and Future Work – Lessons Learned – Towards Collaborative Work and Checking Properties on Models
  • Lessons Learned• High level of abstraction• Expressive code• Code modularization and change management• Performance• Tool support• Functional programming style• Factorization limits
  • Conclusion• Reduced concept-to-market time – Improved productivity of service designers through use of a specific modeling language.• Bridged gaps between technological spaces and vendor domains – Use of platform independent models.
  • A Model Driven Approach
  • Towards Collaborative Work and Checking Properties on Models• Design Rationale Systems• Behavioral modeling• Checking properties
  • More details• Chiprianov, V. and Kermarrec, Y.: Model-based DSL Frameworks: A Simple Graphical Telecommunications Specific Modeling Language, in Actes des 5èmes journées sur l’Ingénierie Dirigée par les Modèles, Nancy, 25th-26th March 2009.• Chiprianov, V. and Kermarrec, Y. and Patrick D. Alff: An Approach for Constructing a Domain Definition Metamodel with ATL, in Model Transformation with ATL, First International Workshop, Nantes (to be published), 8th-9th July 2009.• Chiprianov, V. and Kermarrec, Y. and Patrick D. Alff: A Model-Driven Approach for Telecommunications Network Services Definition, in 15th Eunice Summer School, Barcelona (to be published), 7th -9th September 2009.