Hüseyin Ergin University of Alabama Software Modeling Lab Software Engineering Group Department of Computer Science College of Engineering.

Slides:



Advertisements
Similar presentations
Eugene Syriani and Huseyin Ergin University of Alabama Software Modeling Lab Software Engineering Group Department of Computer Science College of Engineering.
Advertisements

McGill University School of Computer Science Ph.D. Student in the Modelling, Simulation and Design Lab GraBaTS08 Eugene Syriani Hans Vangheluwe.
Huseyin Ergin Advisor: Eugene Syriani University of Alabama Software Modeling Lab Software Engineering Group Department of Computer Science College of.
Huseyin Ergin and Eugene Syriani University of Alabama Software Modeling Lab Software Engineering Group Department of Computer Science College of Engineering.
Budapest University of Technology and EconomicsDagstuhl 2004 Department of Measurement and Information Systems 1 Towards Automated Formal Verification.
ANTLR in SSP Xingzhong Xu Hong Man Aug Outline ANTLR Abstract Syntax Tree Code Equivalence (Code Re-hosting) Future Work.
Higher-Order Transformation Eugene SyrianiandHans Vangheluwe.
AToMPM Solution for the IMDB Case Study Huseyin Ergin and Eugene Syriani.
Huseyin Ergin and Eugene Syriani. PROBLEM Development of model transformation is still an error-prone and hard task. One reason is the lack of a development.
Eugene Syriani Jeff Gray University of Alabama Software Engineering Group Department of Computer Science College of Engineering.
Introduction Complex Engineered Systems
Hüseyin Ergin Dr. Eugene Syriani Dr. Jeff Gray Dr. Nicholas Kraft Dr. Richard Borie Advisor : Committee Members :
McGill University School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab MPM’09 Explicit Transformation Modelling Thomas.
Formal Techniques in Software Engineering Universiteit AntwerpenIntroduction 1.1 Formal Techniques in Software Engineering 3de BAC Informatica Chapter.
Department of Computer Science Business Information Systems 1 Model Interchange between ARIS and Eclipse EMF Heiko Kern and Stefan Kühne {kern,
Automated Analysis and Code Generation for Domain-Specific Models George Edwards Center for Systems and Software Engineering University of Southern California.
Model checking dynamic states in GROOVE Arend Rensink Formal Methods and Tools University of Twente.
30 March 2005, IPA lentedagen, BredaGraph-Based State Spaces1 Graph Transformation for Model Transformation Arend Rensink University of Twente.
Object-Oriented Theories for Model Driven Architecture Tony Clark, King’s College, UK. Andy Evans, University of York, UK. Robert France, Colorado University,
Mining Metamodels From Instance Models: The MARS System Faizan Javed Department of Computer & Information Sciences, University of Alabama at Birmingham.
Huseyin Ergin Advisor: Dr. Eugene Syriani University of Alabama Software Modeling Lab Software Engineering Group Department of Computer Science College.
Semantic Web Research: Visual Modelling of OWL-S Services Computer Science Annual Workshop September 2004 Charlie Abela, James Scicluna Department of Computer.
McGill University Proposal Exam School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.
Proposal of Huseyin Ergin University of Alabama Department of Computer Science College of Engineering Committee Members :Dr. Eugene Syriani (advisor) Dr.
Behaviour-Preserving Model Transformation Arend Rensink, University of Twente IPA Spring Days, 18 April 2012.
Web Explanations for Semantic Heterogeneity Discovery Pavel Shvaiko 2 nd European Semantic Web Conference (ESWC), 1 June 2005, Crete, Greece work in collaboration.
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.
Verification of Translation Model Transformations Levi Lúcio †, Bentley James Oakes, and Hans Vangheluwe †,‡ † School of Computer Science, McGill University,
Studying Model Transformation Chains for Model Driven Engineering Levi Lúcio, McGill University.
Graph Data Management Lab, School of Computer Science gdm.fudan.edu.cn XMLSnippet: A Coding Assistant for XML Configuration Snippet.
AToM 3 : A Tool for Multi- Formalism and Meta-Modelling Juan de Lara (1,2) Hans Vangheluwe (2) (1) ETS Informática Universidad Autónoma de Madrid Madrid,
Software Design Patterns for Information Visualization 薛乃榮 Q NCBCI LAB.
Introduction to MDA (Model Driven Architecture) CYT.
1 MDWE'2008, Toulouse, France, September 30, 2008 A Comparative Analysis of Transformation Engines for User Interface Development Juan Manuel González.
A REFACTORING TOOL FOR DESIGN PATTERNS WITH MODEL TRANSFORMATIONS Zekai Demirezen Yasemin Topaloğlu Ege University Department of Computer Engineering
Assessing the Suitability of UML for Modeling Software Architectures Nenad Medvidovic Computer Science Department University of Southern California Los.
Alignment of ATL and QVT © 2006 ATLAS Nantes Alignment of ATL and QVT Ivan Kurtev ATLAS group, INRIA & University of Nantes, France
Formalizing the Asynchronous Evolution of Architecture Patterns Workshop on Self-Organizing Software Architectures (SOAR’09) September 14 th 2009 – Cambrige.
POSTECH DP & NM Lab. (1)(1) POWER Prototype (1)(1) POWER Prototype : Towards Integrated Policy-based Management Mi-Joung Choi
Validated Model Transformation Tihamér Levendovszky Budapest University of Technology and Economics Department of Automation and Applied Informatics Applied.
Model-Driven Analysis Frameworks for Embedded Systems George Edwards USC Center for Systems and Software Engineering
INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND TECHNOLOGY, P.P , MARCH An ANFIS-based Dispatching Rule For Complex Fuzzy Job Shop Scheduling.
Levi Lúcio School of Computer Science McGill University Canada (with Joachim Denil, Sadaf Mustafiz, Hans Vangheluwe, Bart Meyers, Maris Jukss and Raphael.
1 Workshop on Business-Driven Enterprise Application Design & Implementation Cristal City, Washington D.C., USA, July 21, 2008 How to Describe Workflow.
University of Paderborn Software Engineering Group Prof. Dr. Wilhelm Schäfer Towards Verified Model Transformations Holger Giese 1, Sabine Glesner 2, Johannes.
A language to describe software texture in abstract design models and implementation.
L10 - April 12, 2006copyright Thomas Pole , all rights reserved 1 Lecture 10: Software Assets and Text: Ch. 8: Language Anatomy and Ch 9: Families.
1 Graph-Based State Spaces Arend Rensink, University of Twente CamPaM 2012 April 2012Graph-Based State Spaces.
IAT 814 Introduction to Visual Analytics Symbols vs Perceptual Science Sep 11, 2013IAT 8141.
University of Toronto Department of Computer Science Lifting Transformations to Product Lines Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro,
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model CS 5381 Juan C. González Authors: Paola Inverardi.
Visualization Four groups Design pattern for information visualization
Cooperative Computing & Communication Laboratory A Survey on Transformation Tools for Model-Based User Interface Development Robbie Schäfer – Paderborn.
An Unstructured Semantic Mesh Definition Suitable for Finite Element Method Marek Gayer, Hannu Niemistö and Tommi Karhela
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.
Requirement Engineering with URN: Integrating Goals and Scenarios Jean-François Roy Thesis Defense February 16, 2007.
1 An Execution-Driven Simulation Tool for Teaching Cache Memories in Introductory Computer Organization Courses Salvador Petit, Noel Tomás Computer Engineering.
SE Seminar – IS Department Mazor Maya & Yuval Efrat December 2010 Griss, M.L.; Favaro, J.; d'Alessandro, M.;
George Edwards Computer Science Department Center for Systems and Software Engineering University of Southern California
Model Driven Architecture MDA SE-548 Lale Doğan
Aspect-oriented Code Generation Approaches Abid Mehmood & Dayang N. A. Jawawi Department of Software Engineering Faculty of Computer Science and Information.
 Construction and Validation of Effective Modelling Domains A Thesis Outline Sagar Sen November 6, 2009.
Design Pattern-Driven Development of Model Transformations
Enterprise Data Model Enterprise Architecture approach Insights on application for through-life collaboration 2018 – E. Jesson.
Model-Driven Analysis Frameworks for Embedded Systems
Implementing Language Extensions with Model Transformations
Internet of Things A Process Calculus Approach
Design of Transmission Pipeline Modelling Language
Automated Analysis and Code Generation for Domain-Specific Models
Implementing Language Extensions with Model Transformations
Presentation transcript:

Hüseyin Ergin University of Alabama Software Modeling Lab Software Engineering Group Department of Computer Science College of Engineering

OUTLINE  Introduction to Model Transformation  Components of a Model Transformation Language – Transformation Rules – Scheduling  Design Patterns  Model Transformation Design Patterns  Conclusion & Future work 2

MODELS & MODEL TRANSFORMATION In MDE, models are first class citizens. – A model captures some characteristics of the system and provides knowledge about it. Each model conforms to a metamodel. – Metamodel is the essence of a modeling language. Model transformation: An automated manipulation of models according to a specific intent [1]. – Intent is the description of the goal behind the model transformation and the reason for using it. 3 [1]: Amrani, M., Dingel, J., Lambers, L., Lucio, L., Salay, R., Selim, G., Syriani, E., and Wimmer, M. (2012) Towards a model transformation intent catalog.

ILLUSTRATION 4

COMPONENTS OF MODEL TRANSFORMATION: TRANSFORMATION RULES Transformation rule is the smallest unit of a model transformation. A description that: – Takes element from source language – Transforms them to elements in target language Usually represented as LHS, RHS and optional NACs. NAC LHS RHS 5

COMPONENTS OF MODEL TRANSFORMATION: SCHEDULING Basically the order in which the rules will be applied. In ideal case [1] : 6 [1]: Syriani, E. & Vangheluwe, H. A Modular Timed Model Transformation Language, Journal on Software and Systems Modeling, 2011, 11, 1-28

ILLUSTRATION A model transformation to find the equivalent resistance Rule 1 for serial resistors: Rule 2 for parallel resistors: Scheduling: – Apply one by one in a loop until no more match is found. 7

DESIGN PATTERNS Everyone knows design patterns! They help us do things quick, painless and effective. Why are they so useful? – Well studied on more and more systems. – Proved to be the optimized solution to a specific problem. – Mostly derived from real time problems. 8

MODEL TRANSFORMATION DESIGN PATTERNS There are common solutions to common model transformation problems. This leads us to find design patterns for model transformation. Some published works and design patterns in the literature. [Agrawal2005, Iacob2008] Some of the patterns are: – The mapping pattern – The refinement pattern – The node abstraction pattern – The flattening pattern 9

THE MAPPING PATTERN Goal: – One-to-one relations between elements from source and target metamodels. Motivation: – This can be used when source and target models express more or less the same semantics, but in different syntax. Structure: – The rules generally have single element from source metamodel in LHS and from target metamodel in RHS. – Scheduling is straight forward, order is not important. (there may be exceptions) Example: – Model transformation from JSON formatted data to XML formatted data. 10

CONCLUSION & FUTURE WORK ? Model transformation has two important components: – Transformation rules – Scheduling We can easily design a model transformation. Design patterns can be applied to model transformation. As future work: – Existing design patterns for model transformations will be reviewed in details. – New design patterns will be identified either from existing model transformations or from real world. – A catalogue will be created for model transformation design patterns. 11

REFERENCES [Agrawal2005] Agrawal, A. (2005) Reusable Idioms and Patterns in Graph Transformation Languages. International Workshop on Graph-Based Tools, Rome, March, ENTCS, 127, pp Elsevier. [Iacob2008] Iacob, M.-E., Steen, M. W. A., and Heerink, L. (2008) Reusable Model Transformation Patterns. Proceedings of the Enterprise Distributed Object Computing Conference Workshops, Munich, September, pp IEEE Computer Society. 12