Sheet 1 MDAFA 2003 A Synthesis-based Approach to Transformations in an MDA Software Development Process Ivan Kurtev, Klaas van den Berg University of Twente.

Slides:



Advertisements
Similar presentations
Profiles Construction Eclipse ECESIS Project Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,
Advertisements

1Model Driven Architecture – 3. März 2008 – Siegfried Nolte 1.UML – What is it and what is it good for ? 2.MDA – What is it and what is it good for ? 3.MDA.
SOA and MDA Hand-in-Glove or Square-Peg, Round-Hole? David Piper Principal Consultant.
Presented by: Thabet Kacem Spring Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.
ECE 8443 – Pattern Recognition ECE 3163 – Signals and Systems Objectives: Review Resources: Wiki: State Variables YMZ: State Variable Technique Wiki: Controllability.
Mastering Object-Oriented Analysis and Design with UML Module 4: Analysis and Design Overview.
IBM Business Consulting Services © Copyright IBM Corporation 2006 Unified Process March 27, 2006 Chris Armstrong.
7 July 2003 MDA presentation Dennis Wagelaar 1 Model-Driven Architecture The current state of affairs.
Applying meta- modelling techniques for automatic generation of collaborative modelling systems Jesús Gallardo Casero Escuela Superior de Informática UCLM.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
Creating Architectural Descriptions. Outline Standardizing architectural descriptions: The IEEE has published, “Recommended Practice for Architectural.
Sheet 1© 2005 Lentedagen, 30 March-1 April 2005 IPA Lentedagen on Software Architecture Model Transformations in MDA Ivan Kurtev.
Mining Metamodels From Instance Models: The MARS System Faizan Javed Department of Computer & Information Sciences, University of Alabama at Birmingham.
MDA as Approach to Manage Variability in Software Product Families
NIEM-UML Profile Justin Stekervetz, NIEM PMO
International Telecommunication Union ITU-T Study Group 17, Moscow, 30 March – 8 April 2005 New Recommendations on ODP Arve Meisingset Rapporteur Q15.
HL7 UK 2003 (c) Abies Ltd Modelling Clinical Information Using UML Tim Benson Abies Ltd
MDA Guide Version CYT. 2 Outline OMG Vision and Process Introduction to MDA How is MDA Used? MDA Transformations Other MDA Capabilities Using the.
Model Transformations
Ontology Development Kenneth Baclawski Northeastern University Harvard Medical School.
Workshop on Integrated Application of Formal Languages, Geneva J.Fischer Mappings, Use of MOF for Language Families Joachim Fischer Workshop on.
Metadata Tools and Methods Chris Nelson Metanet Conference 2 April 2001.
UML based dependability modeling, analysis and synthesis Proposers: TU Budapest: A. Pataricza, Gy. Csertán, I. Majzik, D. Varró PDCC Pisa: L. Simoncini,
MDE Model Driven Engineering Xavier Blanc Université Pierre et Marie Curie
Model transformation with a dedicated imperative language IRISA Rennes (France) - Triskell team Jean-Marc Jézéquel Didier Vojtisek Jean-Philippe Thibault.
Introduction to MDA (Model Driven Architecture) CYT.
Sheet 1 / 21© in Bonn - 21 March 2006 Identification of Crosscutting in Software Design Klaas van den Berg – University.
Alignment of ATL and QVT © 2006 ATLAS Nantes Alignment of ATL and QVT Ivan Kurtev ATLAS group, INRIA & University of Nantes, France
On the Representation of Intangible Objects such as Software in a Measurement Context Miguel Lopez Valérie Paulus Grégory Seront Simon Alexandre.
METACASE. WHAT THIS PRESENTATION IS ABOUT  What’s META MODELING?  What’s METACASE?  METAEDIT+ 5.1 EVALUTION PROGRAM  Diagram and its kinds.
UML Profiles Eclipse ECESIS Project The UML Profile technology SOFTEAM 144 Ave des Champs Elysées Paris, France
IVOA Registry videocon 2004/05/13-14 Gerard Lemson1 Model based schema.
Model-Driven Analysis Frameworks for Embedded Systems George Edwards USC Center for Systems and Software Engineering
Metamodel Layer Model Layer Instance Layer CCTSXML Schema CCTS Model XML Schema Instance XML Instance XML Instance Metamodel Mapping Model Mapping Instance.
1 Workshop on Business-Driven Enterprise Application Design & Implementation Cristal City, Washington D.C., USA, July 21, 2008 How to Describe Workflow.
Naam An Ontology-Based Metalanguage with Explicit Instantiation Alfons Laarman Committee: Dr. Ivan Kurtev Dr. Ir. Klaas van den Berg Arda Goknil, Msc.
Elizabeth Furtado, Vasco Furtado, Kênia Sousa, Jean Vanderdonckt, Quentin Limbourg KnowiXML: A Knowledge-Based System Generating Multiple Abstract User.
On the Role of Abstract Platform in Model Driven Development* Marten van Sinderen Centre for Telematics and Information Technology, University of Twente,
Dr. Darius Silingas | No Magic, Inc. Domain-Specific Profiles for Your UML Tool Building DSL Environments with MagicDraw UML.
Verification of behavioural elements of UML models using B Truong, Ninh-Thuan and Souquieres, Jeanine In Proceedings of the 2005 ACM Symposium on.
XASTRO Metamodel. CCSDS SAWG2 Presentation Outline XASTRO-1 Metamodel XASTRO-2 Metamodel Alignment with Model Driven Architecture.
MDA – Model Driven Architecture Olivier Riboux. Overview What is MDA? The Challenges MDA addresses Developing in the MDA Benefits / Conclusion Case Study:
Sheet 1 DocEng’03, Grenoble, November 2003 Model Driven Architecture based XML Processing Ivan Kurtev, Klaas van den Berg University of Twente, the Netherlands.
STASIS Open WorkshopPage 1 Modelling Interoperability: The Modelling Framework of BREIN STASIS Open Workshop BOC Asset Management.
1 Technical & Business Writing (ENG-715) Muhammad Bilal Bashir UIIT, Rawalpindi.
XASTRO-2 Presentation CCSDS SAWG th November 2004.
Sheet 1XML Technology in E-Commerce 2001Lecture 0 XML Technology in E-Commerce Klaas van den Berg & Ivan Kurtev 2000/2001 – trimester 3.
Class Diagrams. Terms and Concepts A class diagram is a diagram that shows a set of classes, interfaces, and collaborations and their relationships.
1 IBM Software Group ® Mastering Object-Oriented Analysis and Design with UML 2.0 Module 4: Analysis and Design Overview.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
MDAFA 2004 Presentation1Dennis Wagelaar Context-Driven Model Refinement Dennis Wagelaar Vrije Universiteit Brussel.
Model Driven Performance Analysis University College London James Skene –
Sheet 1 Forum on Specification and Design Languages (FDL), Frankfurt, September 2003 UML to XML-Schema Transformation: a Case Study in Managing Alternative.
Design Pattern Support based on principles of model driven development Zihao Zhao.
Michael Radloff, Martin Schultz 12th International Conference BPM 2014 Modeling Concepts for Internal Controls in Business Processes – an Empirically Grounded.
Model Driven Architecture MDA SE-548 Lale Doğan
Sheet 1MDAFA2004 Linköping, June 2004 A Language for Model Transformations in the MOF Architecture Ivan Kurtev, Klaas van den Berg University of Twente,
Dublin, 22/ Link Model Ontology Mathias Kadolsky.
Page 1 Hitachi Ltd. – FhI FOKUS TTCN-3 User Conference, June 2005 MDA based approach for generation of TTCN-3 test specifications Hideto Ogawa, Hitachi.
CHESS Methodology and Tool Federico Ciccozzi MBEES Meeting Sälen, January 2011 January 2011.
MACS 2005 First International Workshop on the Modeling and Analysis of Concerns in Software Concern Management for Constructing Model Compilers -- Towards.
Implementing Language Extensions with Model Transformations
Design of Transmission Pipeline Modelling Language
Evaluating Compuware OptimalJ as an MDA tool
UML profiles.
Introduction.
Constructing MDA-based Application Using Rational XDE for .NET
Ivan Kurtev, Klaas van den Berg Software Engineering Group
Implementing Language Extensions with Model Transformations
ER Example Expressed as IMM Core Instance Specifications
Presentation transcript:

Sheet 1 MDAFA 2003 A Synthesis-based Approach to Transformations in an MDA Software Development Process Ivan Kurtev, Klaas van den Berg University of Twente

Sheet 2 MDAFA 2003 Outline Alternative Transformations in MDA; Synthesis-based Software Development Applied to MDA Transformations; Example: Transforming UML class models to XML schemas; Alternative Space Analysis Activity; –Construction of Transformation Space; –Reduction of Transformation Space;

Sheet 3 MDAFA 2003 Basic MDA Concepts Models: –CIM, PIM, PSM; Transformations –The MDA Pattern (from “MDA Guide”)

Sheet 4 MDAFA 2003 Alternatives in MDA Transformations

Sheet 5 MDAFA 2003 Example: UML to XML Schema Transformation

Sheet 6 MDAFA 2003 The Problem with Alternatives Generation and Selection Problem 1: Lack of support for identification of alternative transformations –Transformation to the desired model may not always be obvious and trivial; Problem 2: Selection among Alternatives –Alternatives differ in their Quality properties such as Extensibility, Adaptability, Performance; Alternative Transformations Analysis must be addressed explicitly in the MDA software development process!

Sheet 7 MDAFA 2003 Alternatives Analysis in Current Software Development Processes: RUP

Sheet 8 MDAFA 2003 RUP: Analysis and Design Workflow

Sheet 9 MDAFA 2003 RUP: Activities, Steps and Artifacts

Sheet 10 MDAFA 2003 Synthesis-based Software Development Process Unified Process does not address the alternatives analysis problem; Synthesis-based Software Development Process; Activities in Synthesis-based Process: –Technical Problem Analysis; –Solution Domain Analysis; –Alternative Space Analysis; We focus on the third activity: Alternative Space Analysis;

Sheet 11 MDAFA 2003 MDA Transformational Problem

Sheet 12 MDAFA 2003 Example We aim at deriving an Extensible XML schema. New specializations of ExamItem are expected. UML Source Model

Sheet 13 MDAFA 2003 Two of many Alternative XML Schemas <element name=’examItem’ type=’examItemType’ abstract=’true’/> ……………….. ……. <element name=’multipleChoice’ type=’multipleChoiceType’ substitutionGroup=’examItem’/>

Sheet 14 MDAFA 2003 Alternative Space Analysis as part of the Synthesis Process Workflow of the Alternative Space Analysis Activity Alternative Space Analysis Activity

Sheet 15 MDAFA 2003 Set of dimensions: one dimension for every (relevant) element from the source model; A coordinate set for every dimension; Step 1: Constructing Transformation Space 4 x 4 x 5=80 alternatives CT – Complex Type E – Element MG – Model Group AG – Attribute Group Der – Derivation Subst – Substitution Cont – Containment Ref – Reference (Derived from XML Schema Meta-model)

Sheet 16 MDAFA 2003 Step 2: Reducing Transformation Space after selection: (ExamItem.E or ExamItem.CT) and (Open.E or Open.CT) ExamItem_Open.E or ExamItem_Open.Ref 20 alternatives 12 alternatives after exclusion:

Sheet 17 MDAFA 2003 In this example the Quality Model is the model of Extensibility; Model elements are: –Extensible (Exts); –Inextensible (InExts); Our technique allows merging of quality properties with a transformation space; Step 3: Reducing Transformation Space based on Quality Requirements

Sheet 18 MDAFA 2003 Set of Alternative Transformations After applying some reduction steps and taking into account the quality properties, two alternative transformations from the space are selected: N…ExamItemOpenExamItem_Open… 1 EEESubst 2 EECTDer Dimension Alternative Transformation Coordinate

Sheet 19 MDAFA 2003 We presented an Activity of Alternative Space Analysis as a part of Synthesis-based Software Development Process for MDA transformations; Transformation Space: –Is NOT a transformer; –Is NOT a transformation specification; Not all alternatives in the Transformation Space are explicitly generated; Conclusions

Sheet 20 MDAFA 2003 Study the full synthesis-based process; Experiments with more complex mappings (not only 1:1 as in the example); Experiments with more complex quality models; Tool support; Future Work