Diagram Definition A Case Study with the UML Class Diagram MoDELS 2011, Wellington, NZ By Maged Elaasar 1,2 (Presenter) and Yvan Labiche.

Slides:



Advertisements
Similar presentations
Diagram Definition: Revised Submission
Advertisements

Diagram Definition: an Overview Third OMG/Eclipse Symposium 25 March 2012 Maged Elaasar, Senior Software Engineer.
Model Interchange Testing: a Process and a Case Study
Major Influences on the Design of ODM Dan Chang (IBM) Elisa Kendall (Sandpiper) MDSW 2004.
Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva
Profiles Construction Eclipse ECESIS Project Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,
The role of OCL in the Model Driven Architecture Jos Warmer Klasse Objecten
© 2008 by Borland Software Corp; made available under the EPL v1.0 | 17 March 2008 Introduction to the Graphical Modeling Framework Artem Tikhomirov, Borland.
Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 2, Modeling with UML, Part 4 UML 2 Metamodel.
© 2007 Pearson Education, Inc. Publishing as Pearson Addison-Wesley 1 Architectural Modeling Notations.
1 Model-driven development of SOA with Web services – using QVT technology Master thesis by Berge Stillingen Department of Informatics, University of Oslo.
Train Control Language Teaching Computers Interlocking By: J. Endresen, E. Carlson, T. Moen1, K. J. Alme, Haugen, G. K. Olsen & A. Svendsen Synthesizing.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
Component and Deployment Diagrams
The Role of Modeling in Systems Integration and Business Process Analysis © Sparx Systems Pty Ltd 2011 Ben Constable Sparx Systems.
Design Management: When Model Driven Engineering Embraces the Semantic Web NECSIS 2012, Gatineau, QC 27 June 2012 Maged Elaasar.
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
An Approach and Tool for Synchronous Refactoring of UML Diagrams and Models Using Model-to-Model Transformations Hafsteinn Þór Einarsson Helmut Neukirchen.
Model Transformations
1 An Analytical Evaluation of BPMN Using a Semiotic Quality Framework Terje Wahl & Guttorm Sindre NTNU, Norway Terje Wahl, 14. June 2005.
Workshop on Integrated Application of Formal Languages, Geneva J.Fischer Mappings, Use of MOF for Language Families Joachim Fischer Workshop on.
© 2007 Open Grid Forum OGF Modeling Activities DMTF Alliance Partner Symposium Portland, 2007 July 18 Ellen Stokes
Metadata Tools and Methods Chris Nelson Metanet Conference 2 April 2001.
Architecture Ecosystem Foundation (AEF) RFP aesig/ Draft RFP Presentation June 2010.
MDE Model Driven Engineering Xavier Blanc Université Pierre et Marie Curie
Introduction to MDA (Model Driven Architecture) CYT.
Agenda 1. Introduction 2. Overview of SU-MoVal 3. OCL-based Model Validation 4. QVT-based Transformations 5. Demo of SU-MoVal 6. Conclusion and Future.
Building Tools by Model Transformations in Eclipse Oskars Vilitis, Audris Kalnins, Edgars Celms, Elina Kalnina, Agris Sostaks, Janis Barzdins Institute.
What is MOF? The Meta Object Facility (MOF) specification provides a set of CORBA interfaces that can be used to define and manipulate a set of interoperable.
Validated Model Transformation Tihamér Levendovszky Budapest University of Technology and Economics Department of Automation and Applied Informatics Applied.
Presented by Nassib Awad
ISO/IEC CD and WD : Core Model and Model Mapping ISO/IEC JTC1/SC32/WG September 2005, Toronto SC32/WG2 Japan (Kanrikogaku Ltd) Masaharu.
IBM Software Group ® Overview of SA and RSA Integration John Jessup June 1, 2012 Slides from Kevin Cornell December 2008 Have been reused in this presentation.
Integrating Graphical and Textual Modelling Languages Luc Engelen and Mark van den Brand.
Dr. Darius Silingas | No Magic, Inc. Domain-Specific Profiles for Your UML Tool Building DSL Environments with MagicDraw UML.
® IBM Software Group © 2006 IBM Corporation Diagram Definition: Initial Submission Maged Elaasar, IBM ADTF, OMG June 2009, San Jose,
ModelPedia Model Driven Engineering Graphical User Interfaces for Web 2.0 Sites Centro de Informática – CIn/UFPe ORCAS Group Eclipse GMF Fábio M. Pereira.
Domain-Specific Model Verification with QVT By Maged Elaasar 1,2 Jointly with Lionel Briand 3, Yvan Labiche 1 1 Carleton University, Dep. of System and.
Sheet 1 DocEng’03, Grenoble, November 2003 Model Driven Architecture based XML Processing Ivan Kurtev, Klaas van den Berg University of Twente, the Netherlands.
® A Proposed UML Profile For EXPRESS David Price Seattle ISO STEP Meeting October 2004.
Modeling the ODP Computational Viewpoint with UML 2.0: The Templeman Library Example José Raúl Romero, Antonio Vallecillo Universidad de Málaga, Spain.
October 1st 2015 Alexis Fouché 1, Florian Noyrit 1, Sébastien Gérard 1, Maged Elaasar 2 SYSTEMATIC GENERATION OF STANDARD COMPLIANT TOOL SUPPORT OF DIAGRAMMATIC.
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.
® IBM Software Group A Metamodeling Approach to Pattern Specification Maged Elaasar 1,2, Dr. Lionel Briand 1, Dr. Yvan Labiche 1 1 Carleton University,
Session 1 What Is the UML? Written by Thomas A. Pender Published by Wiley Publishing, Inc. October 5, 2011 Presented by Kang-Pyo Lee.
Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 2, Modeling with UML: UML 2 Metamodel Note to Instructor: The material in this.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
A UML-Based Pattern Specification Technique Presented by Chin-Yi Tsai IEEE TRANSACTION ON SOFTWARE ENGINEERING, VOL. 30, NO. 3, MARCH 2004 Robert B. France,
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,
Defects of UML Yang Yichuan. For the Presentation Something you know Instead of lots of new stuff. Cases Instead of Concepts. Methodology instead of the.
SysML v2 Formalism Requirements Formalism WG September 15, 2016.
Language = Syntax + Semantics + Vocabulary
SysML 2.0 Requirements for Visualization
Subgroup Chair: Robert Shapiro (Global360) Baseline Proposal:
SysML 2.0 Requirements for Visualization
SysML 2.0 Formalism Requirements and Potential Language Architectures
Course Outcomes of Object Oriented Modeling Design (17630,C604)
SysML 2.0 Formalism: Requirement Benefits, Use Cases, and Potential Language Architectures Formalism WG December 6, 2016.
SysML v2 Formalism: Requirements & Benefits
Syntactic Requirements
Diagram Interchange Proposal
SysML 2.0 Concept and Needs for Visualization
Chapter 2, Modeling with UML, Part 4 UML 2 Metamodel
Bussines process modeling using BPMN
MID: A MetaCASE Tool for a Better Reuse of Visual Notations
ETSI TC MTS TDL SC meeting Reports
ETSI TC MTS TDL SC meeting Reports
ETSI TC MTS TDL SC meeting Reports
Software Architecture & Design
Presentation transcript:

Diagram Definition A Case Study with the UML Class Diagram MoDELS 2011, Wellington, NZ By Maged Elaasar 1,2 (Presenter) and Yvan Labiche 1 1 Carleton University, Dep. of System and Computer Engineering, Ottawa, Canada 2 IBM Canada Ltd., Rational Software, Ottawa Lab, Canada

2 2 Outline  The Need for Diagram Definition (Problem Statement)  Existing Diagram Definition Approaches (Related Works)  Diagram Definition Specification (Background)  UML Class Diagram Definition Case Study (Contribution)  Interchanging an Example Class Diagram (Experiment)  Limitations and Future Work

3 3 The Need for Diagram Definition  Graphical modeling languages are defined with their: –Abstract syntax: formally using MOF –Concrete graphical syntax: informally using text and (example) figures  Formal diagram definition is needed –Enables interchange of modeling diagrams among tools –Enables consistent rendering of diagrams by tools –Enables consistent interpretation of diagrams by users

4 4 Existing Diagram Definition Approaches Diagran Interchange Metamodel Diagram Interchange Rules for a language Graphical syntax Mapping (rendering rules) Target Language Diagram Interchange (DI) v1.0 FixedInformal Informal (mixed with interchange rules) Any (mainly UML) Graphical Modeling Framework (GMF) ExtensibleFormal (using code)Formal (inflexible)Any XML Process Definition Language (XPDL) Merged with abstract syntax Given by abstract syntax No need for mapping BPMN Diagram Definition (DD) v1.0 ExtensibleFormal (using metamodel) Formal (flexible)Any

5 5 Diagram Definition (DD) Specification  DD defines two standard metamodels –Diagram Interchange (DI): enables defining the diagram interchange syntax –Diagram Graphics (DG): enables defining the concrete graphical syntax

6 6 MOF DI AS M3 spec M2 spec M1 user AS DI ModelDiagram Abstract Syntax Diagram Syntax CS Mapping Specification Graphics Concrete Syntax CS Mapping Model (interchanged) Mapping Language MOF View (rendered) Controller (executed) Instantiates Specializes References AS: Abstract Syntax CS : Concrete Syntax DG DD Spec Language Spec DI : Diagram Interchange DG: Diagram Graphics Diagram Definition Architecture

7 7 Diagram Interchange (DI)  Defines diagram interchange syntax (what users can control)  Examples: diagram layout, appearance options, notational options  Provides basic primitives that can be extended for each language

8 8 Diagram Graphics (DG)  Defines concrete graphical syntax (what language specifications control)  Examples: shape and line notations for each abstract syntax element  Provides extensive 2D graphics primitives (similar to SVG)

9 9 UML Class Diagram Definition: a Case Study  We validated the DD architecture on UML DI UML M2 UML DI UML CS Mapping DG  We used a subset of the UML class diagram –Three classifiers: Class, Interface and Datatype –Three relations: Association, Generalization and InterfaceRealization

10 UML Diagram Interchange  Metamodel design principles: –Avoid interchanging specification-controlled info –Avoid interchanging purely stylistic info (e.g., colors) –Interchange simple layout info (bounds / waypoints relative to diagram) –Interchange overlapping order (using ordered collections) –Keep the inheritance hierarchy small (mixed bags of optional properties)

11 UML Concrete Syntax Mapping UML DI Elements to Graphics Map all diagram to graphics Map all diagram elements to graphics Map a shape to a group {a graphic, labels and compartments} Map an edge to a group {a poly line and labels} Map a compartment to a group {rectangle and nested elements} Map a label to a text with appropriate string

12 UML Concrete Syntax Mapping: UML Elements to Strings Define signature of an element Define signature of a property Define signature of an interface

13 UML Concrete Syntax Mapping: UML Element to Graphics Map a class a rectangle Map an interface to a rectangle Map an interface to a circle Define an interface realization line style Define an interface realization line marker Map an interface realization to a poly line

14 Diagram Definition Export Testing Architecture What tools provide today Diagram Model Tool-Specific Format Standard Format UML DI Model UML Model Export DG Model Concrete Syntax Mapping SVG Image Rendering To Graphics RSA Tool M2M Transformation M2M Transformation M2M Transformation M2T Transformation

15 Interchanging an Example Class Diagram: an Experiment RSA Diagram Exported Diagram

16 Limitations and Future Works  No normative mapping from DG to SVG (needed to bootstrap DD)  Mapping language is textual (need a simpler graphical mapping language)  Mapping is unidirectional (abstract/diagram syntax -> concrete syntax)

17 Conclusion  Diagram definition is needed for consistent interchange and interpretation  Diagram definition (DD) v1.0 is a new specification to address this need.  We validated DD with a case study involving a subset of UML class diagram –Defined UML DI metamodel –Defined a mapping from UML DI metamodel to DG metamodel  Defined a tool architecture for testing DD (export)  Carried an experiment for interchanging an example class diagram successfully

18 Thank You Questions? Maged Elaasar,