This research is supported by NSF CAREER award CCF-1052616 A WYSISYG Approach forConfiguring Model Layout using Model Transformations Yu SunUniversity.

Slides:



Advertisements
Similar presentations
Diagram Definition: an Overview Third OMG/Eclipse Symposium 25 March 2012 Maged Elaasar, Senior Software Engineer.
Advertisements

Profiles Construction Eclipse ECESIS Project Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,
Verification of DSMLs Using Graph Transformation: A Case Study with Alloy Zekai Demirezen 1, Marjan Mernik 1,2, Jeff Gray 1, Barrett Bryant 1 1 Department.
Architecture Representation
This research is supported by NSF CAREER award CCF A Demonstration-based Approach to Support Live Transformations in a Model Editor Yu SunUniversity.
This research is supported by NSF CAREER award CCF MT-Scribe: A Flexible Tool to Support Model Evolution Yu SunUniversity of Alabama at Birmingham.
Programming Distributed Systems Lab Institute of Computer Science University of Augsburg Universitätsstraße 14, D Augsburg Tel.: (+49) 821/ ,
McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab MPM’09 Explicit Transformation Modelling Thomas.
Software Reuse Building software from reusable components Objectives
Design Patterns for Metamodel Design Domain-Specific Modeling Workshop Portland, Oregon October 23, 2011 Hyun Cho and Jeff Gray University of Alabama Department.
Adaptive Database Application Modeling API Final Project Report SOURENA NASIRIAMINI CS 491 6/2/2005.
Improving UML Class Diagrams using Design Patterns Semantics Shahar Maoz Work in Progress.
Creating Architectural Descriptions. Outline Standardizing architectural descriptions: The IEEE has published, “Recommended Practice for Architectural.
A Domain-specific Modeling Approach to the Development of Online Peer Assessment Yongwu Miao and Rob Koper Educational Technology Expertise Centre Open.
Bridging the Gap between Practitioners and E-learning Standards: A Domain-specific Modeling Approach Yongwu Miao, Tim Sodhi, Francis Brouns, Peter Sloep,
CS 290C: Formal Models for Web Software Lecture 6: Model Driven Development for Web Software with WebML Instructor: Tevfik Bultan.
Institute for Software Research©2001, University of California, Irvine Product-Line Architectures André van der Hoek Institute for Software Research University.
Programming by Example using Least General Generalizations Mohammad Raza, Sumit Gulwani & Natasa Milic-Frayling Microsoft Research.
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
An Information Theory based Modeling of DSMLs Zekai Demirezen 1, Barrett Bryant 1, Murat M. Tanik 2 1 Department of Computer and Information Sciences,
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 18 Slide 1 Software Reuse.
Huseyin Ergin and Eugene Syriani. PROBLEM (DIDN’T CHANGE) Development of model transformation is still an error-prone and hard task. One reason is the.
Tutorial 4: Using CSS for Page Layout. 2 Objectives Session 4.1 Explore CSS layout Compare types of floating layouts Examine code for CSS layouts View.
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.
Yu SunUniversity of Alabama at Birmingham PAR Works Jeff Gray University of Alabama Montpellier, France July 3rd, 2013 This research is supported.
Yu Sun 1, Zekai Demirezen 1, Marjan Mernik 2, Jeff Gray 1, Barret Bryant 1 1 Department of Computer and Information Sciences, University of Alabama at.
XML in Development of Distributed Systems Tooling Programming Runtime.
Assessing the Suitability of UML for Modeling Software Architectures Nenad Medvidovic Computer Science Department University of Southern California Los.
Interoperability in Information Schemas Ruben Mendes Orientador: Prof. José Borbinha MEIC-Tagus Instituto Superior Técnico.
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.
Key Challenges for Modeling Language Creation by Demonstration Hyun Cho, Jeff Gray Department of Computer Science University of Alabama Jules White Bradley.
Building Tools by Model Transformations in Eclipse Oskars Vilitis, Audris Kalnins, Edgars Celms, Elina Kalnina, Agris Sostaks, Janis Barzdins Institute.
2nd TTCN-3 User Conference, June The TTCN-3 Metamodel – A Basis for Tool Integration Ina Schieferdecker TU Berlin/Fraunhofer Fokus Hajo Eichler,
Unit Testing for Domain-Specific Languages 1 Hui Wu, 1 Jeff Gray and 2 Marjan Mernik 1 University of Alabama at Birmingham, USA
Diagram Definition A Case Study with the UML Class Diagram MoDELS 2011, Wellington, NZ By Maged Elaasar 1,2 (Presenter) and Yvan Labiche.
FI-CORE Data Context Media Management Chapter Release 4.1 & Sprint Review.
© Fraunhofer IESE Domain-specific Modeling as an Enabling Technology for SMEs Christian Schäfer
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
1 Geospatial and Business Intelligence Jean-Sébastien Turcotte Executive VP San Francisco - April 2007 Streamlining web mapping applications.
SysML Reference Model Definition Model Based System Development in the Joint Strike Missile project Svein-Erik Søgård KDS/Missile Division.
Hybrid Transformation Modeling Integrating a Declarative with an Imperative Model Transformation Language Pieter Van Gorp
How to Organize the Systems Selection Process Using the SCOR Framework Pittiglio Rabin Todd & McGrath April 12, 2000 David Kennedy, Principal.
Dr. Darius Silingas | No Magic, Inc. Domain-Specific Profiles for Your UML Tool Building DSL Environments with MagicDraw UML.
Contact Profile (1/2) Yu Sun, University of Alabama at Birmingham Hyun Cho, University of Alabama Jeff Gray, University of Alabama Jules White, Virginia.
Unit 4 Object-Oriented Design Patterns NameStudent Number CAI XIANGHT082182A KYAW THU LINHT082238Y LI PENGFEIHT082220L NAUNG NAUNG LATTHT082195L PLATHOTTAM.
Using Several Ontologies for Describing Audio-Visual Documents: A Case Study in the Medical Domain Sunday 29 th of May, 2005 Antoine Isaac 1 & Raphaël.
Geoffrey Duval (ISAE-SUPAERO) Naples, October 1 st, 2012.
Semantics for DSL Group Members: Ritu Arora, Diyang Chu, Zekai Demirezen, Jeff Gray, Jacob Gulotta, Luis Pedro, Arturo Sanchez, Greg Sullivan,Ximing Yu.
Transformation and Testing Group Members: Petra Brosch Jeff Gray Maribel Hudson Philip Langer Qichao Liu Matteo Risoldi Johannes Schoenboeck Yu Sun.
The Business Choreography Language (BCL) A Domain-Specific Language for Global Choreographies Institute for Software Technology and Interactive Systems.
1 Model-based Aspect Weaver Construction Suman Roychoudhury Frédéric Jouault Jeff Gray {roychous, jouault, cis.uab.edu This project is supported.
Application Ontology Manager for Hydra IST Ján Hreňo Martin Sarnovský Peter Kostelník TU Košice.
Model Transformations Require Formal Semantics Yu Sun 1, Zekai Demirezen 1, Tomaz Lukman 2, Marjan Mernik 3, Jeff Gray 1 1 Department of Computer and Information.
Model Transformation for End-Users
Computing Systems: Next Call for Proposals Dr. Panagiotis Tsarchopoulos Computing Systems ICT Programme European Commission.
DS(M)Ls for End-Users and Domain Experts? Panel on Creating DSLs Models in Software Engineering Workshop Zurich, Switzerland June 3, 2012 Jeff Gray University.
Concepts and Realization of a Diagram Editor Generator Based on Hypergraph Transformation Author: Mark Minas Presenter: Song Gu.
Towards A QoS Modeling and Modularization Framework for Component-based Systems Sumant Tambe* Akshay Dabholkar Aniruddha Gokhale Amogh Kavimandan (Presenter)
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.
Model Transformation By Demonstration Yu Sun, Jules White, Jeff Gray This work funded in part by NSF CAREER award CCF CIS Dept. – University of.
Design Pattern Support based on principles of model driven development Zihao Zhao.
Software Engineering Lecture 7
Daniel Amyot and Jun Biao Yan
Templatized Model Transformation: Enabling Reuse in Model Transformations Amogh Kavimandan and Aniruddha Gokhale Dept. of EECS, Vanderbilt University,
ETSI TC MTS TDL SC meeting Reports
Execute your Processes
ETSI TC MTS TDL SC meeting Reports
ETSI TC MTS TDL SC meeting Reports
Ponder policy toolkit Jovana Balkoski, Rashid Mijumbi
Presentation transcript:

This research is supported by NSF CAREER award CCF A WYSISYG Approach forConfiguring Model Layout using Model Transformations Yu SunUniversity of Alabama at Birmingham Jeff GrayUniversity of Alabama Philip LangerJohannes Kepler University Linz Manuel WimmerVienna University of Technology Jules WhiteVirginia Tech The 10th Workshop on Domain-Specific Modeling Reno, Nevada, USA October 17 th, 2010

Model Transformation  Model transformation has been well-supported in different modeling tools Metamodel1Metamodel2 Model1Model2 Exogenous Model Transformation Endogenous Model Transformation Metamodel1 ModelModel’

Layout Configuration in Model Transformation  The configuration layout is often ignored in model transformations

Challenges from Ignoring Layout Configuration  Poor readability  Loss of implicit semantic context  Reduction in a user’s mental map

Using Automatic Layout Algorithms  Automatic layout arrangement functionality is available in a number of modeling tools  Remove overlaps  Group elements  Implicit semantic issues  Limitations  Not all semantics issues  Does not support mantel maps  Hard to customize

Specify Layout in Model Transformation Rules  Creates potential crosscutting and tangled concerns  Not convenient to test and debug  Challenging to learn model transformation languages curr.setX(); curr.setY(); site_gw.setSize(); site_gw.setY();

The Desired Approach to Configure Layout in MT  Enable users to flexibly customize the layout in MT and to realize the desired implicit semantics and mental maps  The layout configuration can be clearly separated from the original MT  Easy to test and debug the result  Easy to learn and use

Solution: Layout Configuration By Demonstration  An extension to Model Transformation By Demonstration  A model transformation approach to enable users to implement model transformations without using model transformation languages and knowing metamodel definitions  Demonstrate layout configuration on a concrete example in a WYSIWYG way, and generate the transformation pattern to carry out the layout configuration automatically

Demo: Scaling SRN Model  Stochastic Reward Nets (SRNs) model can be used for the evaluation of reliability for complex systems  A SRN model needs to be scaled up to adapt the addition of new events and types

Overview of MTBD

Layout Extension to MTBD Demonstrate Layout Configuration

Extending MTBD to Configure Layout  Using Absolute Coordinates  Set X as Current  Set Y as Current  Automatically retrieve the value and generate a command attached to the transformation pattern

Extending MTBD to Configure Layout  Using Relative Coordinates  Set X relative to Leftmost  Set X relative to Rightmost  Set Y relative to Uppermost  Set Y relative to Bottommost  Automatically retrieve the relative value and generate a command attached to the transformation pattern

Summary  Users can customize the layout configuration to realize desired semantics and mental maps  Layout can be separated from the original transformation by performing the demonstration separately  WYSIWYG style helps to test and debug the configuration  No model transformation is used, easy to learn and use

Future Work  Realize more types of customization  Relative to certain model element(s)  Relative to a certain substructure of a model  Relative to the inside of the model boundary  Configure the Font, Size, Color, etc.

Thank You  Questions and Comments?  Additional questions  Model Transformation By Demonstration This research is supported by NSF CAREER award CCF