1 From UML (Fondue) to COOPN An iterative approach applying MDA techniques.

Slides:



Advertisements
Similar presentations
Copyright © 2006 Data Access Technologies, Inc. Open Source eGovernment Reference Architecture Approach to Semantic Interoperability Cory Casanave, President.
Advertisements

Profiles Construction Eclipse ECESIS Project Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,
Modeling Services Model Interoperability Xavier Blanc – University Paris VI.
The role of OCL in the Model Driven Architecture Jos Warmer Klasse Objecten
1 UML ++ Mohamed T IBRAHIM University of Greenwich -UK.
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.
Automated Test Design ™ © 2011 Conformiq, Inc. CONFORMIQ DESIGNER On ES v1.2.1 Stephan Schulz MBT Working Meeting/MTS#56, Göttingen.
Software Modeling SWE5441 Lecture 3 Eng. Mohammed Timraz
Unified Modeling Language
Jan 23, Ron McFadyen1 SSD for a samplePOS Use Case Figure 13.1 Input Events invoke a system operation of the same name same idea as in object-oriented.
Amit, Keyur, Sabhay and Saleh Model Driven Architecture in the Enterprise.
1 Meta Modeling Tool Transformation from COOPN to COOPN using MDA.
7 July 2003 MDA presentation Dennis Wagelaar 1 Model-Driven Architecture The current state of affairs.
Institute For Software Integrated Systems Vanderbilt University Applications of Model Integrated Computing to The Synchronous Language Signal Ethan Jackson.
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.
Whole Platform Tesi di Dottorato di: RICCARDO SOLMI Università degli Studi di Bologna Facoltà di scienze matematiche, fisiche e naturali Corso di Dottorato.
1 From UML (Fondue) to COOPN. Luis Pedro2 Outline Transformation Approach COOPN2 Meta Model TOC for Models2005 paper.
CPN’04 UML and Petri Nets for Test Case Generation University of Geneva D.Buchs, L.Lúcio, L.Pedro.
ACM/JETT Workshop - August 4-5, 2005 UML Modeling using MagicDraw UML for Java Programmers.
HL7 UK 2003 (c) Abies Ltd Modelling Clinical Information Using UML Tim Benson Abies Ltd
CASE Tools And Their Effect On Software Quality Peter Geddis – pxg07u.
An Approach and Tool for Synchronous Refactoring of UML Diagrams and Models Using Model-to-Model Transformations Hafsteinn Þór Einarsson Helmut Neukirchen.
Model Transformations
Metadata Tools and Methods Chris Nelson Metanet Conference 2 April 2001.
1 UML and Petri Nets for Test Case Generation From Fondue to CO-OPN: (my) first iteration.
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.
Unified Modeling Language, Version 2.0
Alignment of ATL and QVT © 2006 ATLAS Nantes Alignment of ATL and QVT Ivan Kurtev ATLAS group, INRIA & University of Nantes, France
2nd TTCN-3 User Conference, June The TTCN-3 Metamodel – A Basis for Tool Integration Ina Schieferdecker TU Berlin/Fraunhofer Fokus Hajo Eichler,
METACASE. WHAT THIS PRESENTATION IS ABOUT  What’s META MODELING?  What’s METACASE?  METAEDIT+ 5.1 EVALUTION PROGRAM  Diagram and its kinds.
Object-Oriented Analysis and Design An Introduction.
Object Management Group (OMG) Specifies open standards for every aspect of distributed computing Multiplatform Model Driven Architecture (MDA)
ISO/IEC CD and WD : Core Model and Model Mapping ISO/IEC JTC1/SC32/WG September 2005, Toronto SC32/WG2 Japan (Kanrikogaku Ltd) Masaharu.
SaveUML System design. System overview Possible...
111 Protocols CS 4311 Wirfs Brock et al., Designing Object-Oriented Software, Prentice Hall, (Chapter 8) Meyer, B., Applying design by contract,
Ernest Micklei, PhilemonWorks.com UMLX: a pragmatic solution to documenting design Ernest Micklei
Sheet 1 DocEng’03, Grenoble, November 2003 Model Driven Architecture based XML Processing Ivan Kurtev, Klaas van den Berg University of Twente, the Netherlands.
The Unified Modeling Language (UML)
CIS 895 – MSE Project KDD-Research Entity Search Tool (KREST) Presentation 3 Eric Davis
Lab 5 CPIT 250 System Analysis and Design.
CIM LAB MEETING Presentation on UML Rakesh Mopidevi Kwangyeol Ryu.
1 UML Modeling of Spacecraft Onboard Instruments Takahiro Yamada, JAXA/ISAS April 2005.
ModTransf A Simple Model to Model Transformation Engine Cédric Dumoulin.
1 Unified Modeling Language, Version 2.0 Chapter 2.
CSCI 3428: Software Engineering Tami Meredith UML Unified Modeling Language.
UML Profile BY RAEF MOUSHEIMISH. Background Model is a description of system or part of a system using well- defined language. Model is a description.
UML Course Instructor: Rizwana Noor. Overview  Modeling  What is UML?  Why UML?  UML Diagrams  Use Case  Components  Relationships  Notations.
21/1/ Analysis - Model of real-world situation - What ? System Design - Overall architecture (sub-systems) Object Design - Refinement of Design.
Yu, et al.’s “A Model-Driven Development Framework for Enterprise Web Services” In proceedings of the 10 th IEEE Intl Enterprise Distributed Object Computing.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
Object Oriented Programming and Data Abstraction Earl Huff Rowan University.
Sheet 1 Forum on Specification and Design Languages (FDL), Frankfurt, September 2003 UML to XML-Schema Transformation: a Case Study in Managing Alternative.
Sheet 1MDAFA2004 Linköping, June 2004 A Language for Model Transformations in the MOF Architecture Ivan Kurtev, Klaas van den Berg University of Twente,
Systems Analysis and Design With UML 2
Syntactic Requirements
Web Application Modeling
Model-Driven Ontology Engineering
Modelling Clinical Information Using UML
Towards Automatic Model Synchronization from Model Transformation
Evaluating Compuware OptimalJ as an MDA tool
The Tropos visual modeling language A meta-model.
Constructing MDA-based Application Using Rational XDE for .NET
Enabling UCM-based transformations
Protocols CS 4311 Wirfs Brock et al., Designing Object-Oriented Software, Prentice Hall, (Chapter 8) Meyer, B., Applying design by contract, Computer,
Graphical Modeling of INFOD applications
PASSI (Process for Agent Societies Specification and Implementation)
Software Architecture & Design
Presentation transcript:

1 From UML (Fondue) to COOPN An iterative approach applying MDA techniques

Luis Pedro2 Outline Motivation and general approach Some background  Fondue Specification  The MDA approach Some steps towards the transformation  Relationship between Fondue “components” and COOPN “components” Tools, tools and another process diagram Status report

Luis Pedro3 Some Background Fondue  What it provides Concept Model: Defines the static structure of the information in the system Behavior Model: Defines the Input and Output communication of the system  Uses UML for notation (parts of different UML diagrams Concept Model  Class Diagram Environment Model  Collaboration Diagram Protocol Model  State Diagram Operation Model  (OCL)  Describes operations by operation schemas which specify operations by pre- and post conditions using OCL  The Fondue process can be outlined by a UML class diagram showing usage dependencies between the models

Luis Pedro4 Some Backgroud (2) Fondue - ebanking example  Environment Model (messages from the user) > eBanking User loginUserName loginPasswd loginChallenge createPayment giveDetailsBeneficiary modifyPaiment deletePayment

Luis Pedro5 Some Background (3) Fondue - ebanking example  Environment Model (messages from the system) > eBanking User sendChallengeNumber errorUserName errorPasswd errorChallenge errorUserBlocked errorPaymentCreation errorPaymentModification

Luis Pedro6 Some Background (4) Fondue - ebanking example  Concept Model > eBanking User userName : String Passwd : Passwd Name : String loginTentativeNumber : Int userState: bool eUser id : CardId expirationDate: Date ChallengeCard position : ChallengeId anserPosition: String ChallengeCardElement position 1 table *0.. 1 > HasSessionId

Luis Pedro7 Some Background (5) MDA - Model Driven Architecture  How models defined in one language can be transformed into models in other languages Language L 1 Transformation tool Transformation definition Language L 2 Is written in Is used by Is written in

Luis Pedro8 Some steps towards transformation Describe CO-OPN as a MOF Model  Use UML notation to define CO-OPN Meta Model  Get XMI[UML]  Convert XMI[UML] to XMI[MOF]  Generate JMI from XMI[MOF]  Use generated JMI to add and browse CO- OPN repositories

Luis Pedro9 Some steps towards transformation Fondue is already described as a MOF Model

Luis Pedro10 Some steps towards transformation Iteration describing COOPN in early stages

Luis Pedro11 Some steps towards transformation Environment model  1 CO-OPN Context  Operations  methods of the context  Output messages  Gates input output Directly from the Metamodels

Luis Pedro12 Some steps towards transformation Concept Model  1 Class  1 CO-OPN Class Name  Name Attributes  Places Access methods: put, get, read  Method put_a(x):: a y -> a x; Gate get_a(x):: a x -> a x; Gate read_a(x)::a x:: -> a x; Associations as classes With source and target values Instantiation of AADT Bag For each class put get Directly from the Metamodels

Luis Pedro13 Some steps towards transformation Concept Model  1 Class  1 CO-OPN Class Name  Name Attributes  Places Access methods: put, get, read  Method put_a(x):: a y -> a x;  Gate get_a(x):: a x -> a x;  Gate read_a(x)::a x:: -> a x; put get Directly from the Metamodels

Luis Pedro14 Some steps towards transformation Operation Model  Transform Fondue pre and post-conditions using OCL Operation Schemas  (synchronization rules, algebraic equations) No standard approach available! Parse OCL and define clear transformation rules

Luis Pedro15 Tools, tools and another process diagram Create(Draw) COOPN Meta Model  MagicDraw Export as XMI[UML]  MagicDraw Convert XMI[UML] to XMI[MOF]  Uml2mof MDR-StandAlone package: jmi.jar; jmiutils.jar; mdrapi.jar; mof.jar; nbmdr.jar; openide-util.jar UML Standard definition: UML_Standard_Profile.xml MagicDraw UML 9.0 Netbeans XMI Writer 1.0

Luis Pedro16 Tools, tools and another process diagram Create Fondue Model  Together + Fondue pluggin Use JMI to load both Fondue and COOPN meta repositories  Any Java IDE (e.g. IDEA) Add rules to perform transformation

Luis Pedro17 Tools, tools and another process diagram XMI [FondueMM ] FondueMM XML[MOF] Fondue Model COOPN Model XMI [COOPNMM ] COOPN XML[MOF] Load by MDR Parse Using JMI Transformation tool Language L 1 Transformation definition Language L 2

Luis Pedro18 Status report All set of SW in place COOPN Meta Model  UML sketches  XML generation Fondue in Mac OS X Sample SW to browse Fondue modules

Luis Pedro19 Task list Prepare some documentation Continue the COOPN Meta Model Proof of concept: small application to browse a COOPN model using MetaModel  COOPN builder module Formalization of transformation rules

Luis Pedro20 The end Questions... Comments