Abstracting Complex Languages through Transformation and Composition
|
|
|
- Maria Thornton
- 5 years ago
- Views:
Transcription
1 Fakultät Informatik, Institut für Software- und Multimediatechnologie, Lehrstuhl Softwaretechnologie Abstracting Complex Languages through Transformation and Composition Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos and Richard F. Paige 08/10/2009, MoDELS 09, Denver, Colorado
2 Abstracting Complex Languages Stakeholders: Domain Expert 1: Telecommunications Device Configuration Mr. Concrete Domain Expert 2: Telecommunications Network Configuration Mrs. Abstract Language Engineer Johannes, Zschaler, Fernandez, Castillo, Kolovos, Paige: Abstracting Complex Languages through Transformation and Composition 1
3 A Complex Problem DSL!? How DMTF do I tackle this Standard! complexity??? config config config Config sw A DMTF Standard Document config Config sw B config Mr. Concrete Johannes, Zschaler, Fernandez, Castillo, Kolovos, Paige: Abstracting Complex Languages through Transformation and Composition 2
4 In the Language Engineering Lab Building the Concrete DSL DMTF Standard Document Domain Meta Model Defining Syntax minimal input EuGENia Johannes, Zschaler, Fernandez, Castillo, Kolovos, Paige: Abstracting Complex Languages through Transformation and Composition 3
5 In the Language Engineering Lab Building the Concrete DSL much more input ETL, QVT, MOF2Text, etc. Defining Semantics Model Transformations Johannes, Zschaler, Fernandez, Castillo, Kolovos, Paige: Abstracting Complex Languages through Transformation and Composition 4
6 Some Time Later complex simple Mr. Concrete Config Config Scripts Config Software Script Docs Config Script Johannes, Zschaler, Fernandez, Castillo, Kolovos, Paige: Abstracting Complex Languages through Transformation and Composition 5
7 Suddenly DMTF Standard Document simple complex! Abstract Domain Concepts Mrs. Abstract Johannes, Zschaler, Fernandez, Castillo, Kolovos, Paige: Abstracting Complex Languages through Transformation and Composition 6
8 In the Language Engineering Lab Building the Abstract DSL Abstract Domain Concepts Domain Meta Model 2 Defining Syntax minimal input EuGENia Johannes, Zschaler, Fernandez, Castillo, Kolovos, Paige: Abstracting Complex Languages through Transformation and Composition 7
9 In the Language Engineering Lab Building the Abstract DSL? ETL, QVT, MOF2Text, etc. Defining Semantics much more input Model Transformations Johannes, Zschaler, Fernandez, Castillo, Kolovos, Paige: Abstracting Complex Languages through Transformation and Composition 8
10 Our Assets Languages in the same domain One is an abstraction of the other Experts of the domain Can use tooling for the concrete language Specific class of model transformations Reoccurring mapping patterns can be reused Johannes, Zschaler, Fernandez, Castillo, Kolovos, Paige: Abstracting Complex Languages through Transformation and Composition 9
11 Abstract Language Building Abstract_Concept ---> Set_Of_Concrete_Concepts Model each abstract concept in the concrete DSL as model fragment Abstract Domain Concepts Annotate abstract DSL metamodel with mapping using mapping patterns minimal Router.cim ) Router Johannes, Zschaler, Fernandez, Castillo, Kolovos, Paige: Abstracting Complex Languages through Transformation and Composition 10
12 Implementation Annotated Metamodel Abstract DSL instance of Abstract DSL Instance c a b Concrete DSL Fragments meta level model level Simple! Concrete DSL Instance Simple! Config Config Script Script s Software Config Script Docs Config Script Johannes, Zschaler, Fernandez, Castillo, Kolovos, Paige: Abstracting Complex Languages through Transformation and Composition 11
13 Conclusion Case study based on Common Information Model (CIM) DMTF Standard Simplified construction of abstract languages Using Mapping Patterns 1. Element Mapping 2. Element Mapping with Variability 3. Attribute Mapping 4. Link Mapping Separation of concerns in model transformations Mapping separated from definition of concrete model fragment Use of concrete language tooling to define concrete model fragments Better integration of domain experts Prototype based on Epsilon and Reuseware See also: Johannes, Zschaler, Fernandez, Castillo, Kolovos, Paige: Abstracting Complex Languages through Transformation and Composition 12
14 Thank You The stakeholders in this presentation were modeled with the Reasonably Clever Mini-Mizer ( Johannes, Zschaler, Fernandez, Castillo, Kolovos, Paige: Abstracting Complex Languages through Transformation and Composition 13
Model Transformations for Embedded System Design and Virtual Platforms
1 Model Transformations for Embedded System Design and Virtual Platforms Nikos Matragkas, Ian Gray, Richard Paige, Dimitris Kolovos, Neil Audsley, Leandro Indrusiak Department of Computer Science The University
Reuse for the Reuse-Agnostic
Faculty of Computer Science, Institute of Software and Multimedia Technology, Software Technology Group Adding Modularity to Your Language of Choice http://reuseware.org Jakob Henriksson, Jendrik Johannes,
Eclipse Development Tools for Epsilon
Eclipse Development Tools for Epsilon Dimitrios S. Kolovos, Richard F. Paige, and Fiona A.C. Polack Department of Computer Science, University of York, Heslington, York, YO10 5DD, UK. {dkolovos,paige,fiona@cs.york.ac.uk
Transformational Design with
Fakultät Informatik, Institut für Software- und Multimediatechnik, Lehrstuhl für Softwaretechnologie Transformational Design with Model-Driven Architecture () Prof. Dr. U. Aßmann Technische Universität
Establishing and Maintaining Semantically Rich Traceability: A Metamodelling Approach
Establishing and Maintaining Semantically Rich Traceability: A Metamodelling Approach Nikolaos Matragkas Department of Computer Science University of York A thesis submitted for the degree of Doctor of
Model-Driven Iterative Development of 3D Web-Applications Using SSIML, X3D and JavaScript
Freiberg University of Mining and Technology The University of Resources. Since 1765. WEB3D 2012-17th International Conference on 3D Web Technology Model-Driven Iterative Development of 3D Web-Applications
53) Feature Models, Domain Models and Product Lines
Fakultät Informatik, Institut für Software- und Multimediatechnik, Lehrstuhl für Softwaretechnologie 53) Feature Models, Domain Models and Product Lines 1. Feature Models 2. Product Linie Configuration
31. Feature Models and MDA for Product Lines
Fakultät Informatik - Institut Software- und Multimediatechnik - Softwaretechnologie Prof. Aßmann - Softwaretechnologie II 31. Feature Models and MDA for Product Lines Prof. Dr. U. Aßmann Technische Universität
Design Patterns for Model Transformations: Current research and future directions
Design Patterns for Model Transformations: Current research and future directions K. Lano 1, S. Yassipour-Tehrani 1 1 Dept of Informatics, King s College London, Strand, London, UK Abstract. There is increasing
Part II Black-Box Composition Systems 20. Finding UML Business Components in a Component-Based Development Process
Fakultät Informatik - Institut Software- und Multimediatechnik - Softwaretechnologie Prof. Aßmann - CBSE Part II Black-Box Composition Systems 20. Finding UML Business Components in a Component-Based Development
Towards Automatic Generation of Web-based Modeling Editors
Towards Automatic Generation of Web-based Modeling Editors Manuel Wimmer 1, Irene Garrigós 2 and Sergio Firmenich 3,4 1 BIG, TU Wien, Austria wimmer@big.tuwien.ac.at 2 WaKe Research, University of Alicante,
Mapping FIXML to OO with Aspectual Code Generators
Mapping FIXML to OO with Aspectual Code Generators Steffen Zschaler, Sobhan Yassipour Tehrani Department of Informatics, King s College London szschaler@acm.org, sobhan.yassipour tehrani@kcl.ac.uk This
Instance Modeling Assisted by an Optional Meta Level
DRAFT Do not distribute Instance Modeling Assisted by an Optional Meta Level Riccardo Solmi Whole Factory srl solmi.riccardo@gmail.com Abstract We believe that programming is mainly a linguistic process
EMF Refactor: Specification and Application of Model Refactorings within the Eclipse Modeling Framework
EMF Refactor: Specification and Application of Model Refactorings within the Eclipse Modeling Framework Thorsten Arendt a, Florian Mantz b, Gabriele Taentzer a a Philipps-Universität Marburg, FB12 - Mathematics
Emergent Model-Driven Engineering Ecosystems by means of Patterns
Emergent Model-Driven Engineering Ecosystems by means of Patterns Antonio Cicchetti 1 Mälardalen University, IDT, Västerås, Sweden, antonio.cicchetti@mdh.se Abstract. In Model-Driven Engineering (MDE)
Building Model-Driven Engineering Traceability Classifications
Building Model-Driven Engineering Traceability Classifications Richard F. Paige, Gøran K. Olsen, Dimitrios S. Kolovos, Steffen Zschaler and Christopher Power Department of Computer Science, University
TRANSPARENT COMPONENTS FOR SOFTWARE SYSTEMS
Fakultät Informatik, Institut für Software- und Multimediatechnik, Lehrstuhl für Softwaretechnologie TRANSPARENT COMPONENTS FOR SOFTWARE SYSTEMS Paul Peschel Dresden, summer term 2014 Content Transparent
Implementing the Interactive Television Applications Case Study using Epsilon
Implementing the Interactive Television Applications Case Study using Epsilon Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, Fiona A.C. Polack Department of Computer Science The University of York
I3-D12 Typing composition of rule-based languages
I3-D12 Typing composition of rule-based languages Project title: Reasoning on the Web with Rules and Semantics Project acronym: REWERSE Project number: IST-2004-506779 Project instrument: EU FP6 Network
52. Staged Software Architectures with Staged Composition
52. Staged Software Architectures with Staged Composition Prof. Dr. Uwe Aßmann Technische Universität Dresden Institut für Software- und Multimediatechnologie Version 14-1.0, 12.07.14 1) Web programming
DSL Design. Overview of DSLE. DSL Design. DSL Desing. Domain specific languages
Overview of DSLE Model driven software enineerin in eneral Grammars, and meta-models Code eneration Model-driven enineerin Goal: Raisin the level of abstraction from the computin domain to the problem
Introduction to MDE and Model Transformation
Vlad Acretoaie Department of Applied Mathematics and Computer Science Technical University of Denmark rvac@dtu.dk DTU Course 02291 System Integration Vlad Acretoaie Department of Applied Mathematics and
MDD with OMG Standards MOF, OCL, QVT & Graph Transformations
1 MDD with OMG Standards MOF, OCL, QVT & Graph Transformations Andy Schürr Darmstadt University of Technology andy. schuerr@es.tu-darmstadt.de 20th Feb. 2007, Trento Outline of Presentation 2 Languages
Managing Model and Meta-Model Components with Export and Import Interfaces
Managing Model and Meta-Model Components with Export and Import Interfaces Daniel Strüber, Stefan Jurack, Tim Schäfer, Stefan Schulz, Gabriele Taentzer Philipps-Universität Marburg, Germany, {strueber,sjurack,timschaefer,schulzs,taentzer}
Proof-Carrying Model-Transformation Components
Proof-Carrying Model-Transformation Components Jeffrey Terrell, Steffen Zschaler, and Iman Poernomo King s College London, Department of Informatics, London, UK {jeffrey.terrell steffen.zschaler iman.poernome}@kcl.ac.uk
Applications Of Model Weaving Techniques
Applications Of Model Weaving Techniques Hugo Bruneliere, Jendrik Johannes INRIA, TUD 1 Context of this work The present courseware has been elaborated in the context of the MODELPLEX European IST FP6
Model transformations. Overview of DSLE. Model transformations. Model transformations. The 4-layer architecture
Overview of DSLE Model driven software engineering g in general Grammars, signatures and meta-models DSL Design Code generation Models increase the level of abstraction used for both hardware and software
Language engineering and Domain Specific Languages
Language engineering and Domain Specific Languages Perdita Stevens School of Informatics University of Edinburgh Plan 1. Defining languages 2. General purpose languages vs domain specific languages 3.
CSSE 490 Model-Based Software Engineering: Software Factories
CSSE 490 Model-Based Software Engineering: Software Factories Shawn Bohner Office: Moench Room F212 Phone: (812) 877-8685 Email: bohner@rose-hulman.edu Learning Outcomes: MBE Discipline Relate Model-Based
Praktikum Ingenieurmäßige Software-Entwicklung
Universität Karlsruhe (TH) Forschungsuniversität gegründet 1825 Praktikum Ingenieurmäßige Software-Entwicklung Palladio Component Model Part IV (PCM) Prof. Dr. R. H. Reussner (reussner@ipd.uka.de) Lehrstuhl
A conceptual framework for building good DSLs. Markus Voelter independent/itemis
DSL Design A conceptual framework for building good DSLs Markus Voelter independent/itemis voelter@acm.org www.voelter.de voelterblog.blogspot.de @markusvoelter +Markus Voelter based on material from a
Plan. Language engineering and Domain Specific Languages. Language designer defines syntax. How to define language
Plan Language engineering and Domain Specific Languages Perdita Stevens School of Informatics University of Edinburgh 1. Defining languages 2. General purpose languages vs domain specific languages 3.
Rigorous Identification and Encoding of Trace-Links in Model-Driven Engineering
sosym manuscript No. (will be inserted by the editor) Rigorous Identification and Encoding of Trace-Links in Model-Driven Engineering Richard F. Paige, Nikolaos Drivalos, Dimitrios S. Kolovos, Kiran J.
Incremental Model-to-Text Transformation
Incremental Model-to-Text Transformation Babajide Jimi Ogunyomi Doctor of Philosophy University of York Computer Science March, 2016 Abstract Model-driven engineering (MDE) promotes the use of abstractions
Update Transformations in the Small with the Epsilon Wizard Language
Vol. 6, No. 9, Special Issue. TOOLS EUROPE 2007, October 2007 Update Transformations in the Small with the Epsilon Wizard Language Dimitrios S. Kolovos Richard F. Paige Fiona A.C. Polack Louis M. Rose
The Epsilon Pattern Language
The Epsilon Pattern Language Dimitrios S. Kolovos and Richard F. Paige Department of Computer Science, University of York, Deramore Lane, York, YO10 5GH, UK. {dimitris.kolovos, richard.paige}@york.ac.uk
The Eclipse Modeling Framework and MDA Status and Opportunities
The Eclipse Modeling Framework and MDA Status and Opportunities David Frankel Consulting df@davidfrankelconsulting.com www.davidfrankelconsulting.com Portions adapted from the book Model Driven Architecture:
Models from Code or Code as a Model?
Models from Code or Code as a Model? Antonio Garcia-Dominguez 1 and Dimitrios S. Kolovos 2 1 School of Engineering and Applied Science, Aston University, UK a.garcia-dominguez@aston.ac.uk 2 Department
Model-driven Multi-Quality Auto-Tuning of Robotic Applications
Fakultät Informatik Institut für Software- und Multimediatechnik Lehrstuhl für Softwaretechnologie Model-driven Multi-Quality Auto-Tuning of Robotic Applications MORSE 2015 Christian Piechnick, Sebastian
Developing Web-Based Applications Using Model Driven Architecture and Domain Specific Languages
Proceedings of the 8 th International Conference on Applied Informatics Eger, Hungary, January 27 30, 2010. Vol. 2. pp. 287 293. Developing Web-Based Applications Using Model Driven Architecture and Domain
Design and Prototypical Implementation of a Pivot Model as Exchange Format for Models and Metamodels in a QVT/OCL Development Environment
Faculty of Computer Science, Institute for Software- and Multimedia-Technology, Chair for Software Technology Matthias Bräuer Design and Prototypical Implementation of a Pivot Model as Exchange Format
Modellierung operationaler Aspekte von Systemarchitekturen. Master Thesis presentation. October 2005 March Mirko Bleyh - Medieninformatik
Modellierung operationaler Aspekte von Systemarchitekturen Master Thesis presentation October 2005 March 2006 Agenda Goals Model-Driven Software Development Pro-active Infrastructure (PAI) Operational
DSM model-to-text generation: from MetaDepth to Android with EGL
DSM model-to-text generation: from MetaDepth to Android with EGL Rafael Ugaz Antwerp University (Belgium), rafaelugaz@gmail.com Abstract This article describes the process of a specific model-to-text transformation
Textual, executable, translatable UML
Textual, executable, translatable UML Gergely Dévai, Gábor Ferenc Kovács, and Ádám Ancsin Eötvös Loránd University, Faculty of Informatics, Budapest, Hungary, {deva,koguaai,anauaai@inf.elte.hu Abstract.
A Traceability-Driven Approach to Model Transformation Testing
A Traceability-Driven Approach to Transformation Testing Nicholas D. Matragkas, Dimitrios S. Kolovos, Richard F. Paige, and Athanasios Zolotas Department of Computer Science, University of York, Deramore
Towards Compositional Domain Specific Languages
Andreas Horst, Bernhard Rumpe Software Engineering RWTH Aachen University, Germany http://www.se-rwth.de/ 1 Introduction The deployment of Domain Specific Languages (DSL) and in particular Domain Specific
A reference process for model composition
A reference process for model composition Cédric Jeanneret EPFL Lausanne, Suisse cedric.jeanneret@epfl.ch Robert France Colorado State University Fort Collins, USA france@cs.colostate.edu Benoit Baudry
SCENARIO-BASED REQUIREMENTS MODELLING
SCENARIO-BASED REQUIREMENTS MODELLING A PROGRESS REPORT SUBMITTED TO THE UNIVERSITY OF MANCHESTER IN PARTIAL FULLFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE IN THE FUCALTY OF ENGINEERING
Efficient Monitoring of Multi-Disciplinary Engineering Constraints with Semantic Data Integration in the Multi-Model Dashboard Process
Efficient Monitoring of Multi-Disciplinary Engineering Constraints with Semantic Data Integration in the Multi-Model Dashboard Process Stefan Biffl 1 Dietmar Winkler 1 Richard Mordinyi 1 Stefan Scheiber
PLVGen Setup Guide v1.0
TECHNICAL REPORT Report No. UI-SE-MDSERG-2016-08 Date: April 30, 2017 PLVGen Setup Guide v1.0 Alireza Rouhi Bahman Zamani Department of Software Engineering University of Isfahan Hezar-Jerib Ave. Isfahan
Using Software Product Lines to Manage Model Families in Model-Driven Engineering
Using Software Product Lines to Manage Model Families in Model-Driven Engineering Orlando Avila-García Open Canarias, S.L. Santa Cruz de Tenerife, Spain orlando@opencanarias.com Antonio Estévez García
The Model Driven (R)evolution. Richard Mark Soley, Ph.D. Chairman and CEO Object Management Group, Inc.
The Model Driven (R)evolution Richard Mark Soley, Ph.D. Chairman and CEO Object Management Group, Inc. Modeling Changes Everything! Throw out those pesky objects! Toss away your silly compilers! No more
OnTrack: An Open Tooling Environment For Railway Verification
OnTrack: An Open Tooling Environment For Railway Verification Phillip James 1, Matthew Trumble 2, Helen Treharne 2, Markus Roggenbach 1, and Steve Schneider 2 1 Swansea University, UK 2 University of Surrey,
Meta-Modeling and Modeling Languages
member of Meta-Modeling and Modeling Languages Models and Modelling Model A reproduction of the part of reality which contains the essential aspects to be investigated. Modelling Describing and Representing
Modular Web Queries From Rules to Stores
Modular Web Queries From Rules to Stores Uwe Aßmann 2, Sacha Berger 1, François Bry 1, Tim Furche 1, Jakob Henriksson 2, and Jendrik Johannes 2 1 Institut für Informatik, Ludwig-Maximilians-Universität
Model Migration Case for TTC 2010
Model Migration Case for TTC 2010 Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, and Fiona A.C. Polack Department of Computer Science, University of York, UK. [louis,dkolovos,paige,fiona]@cs.york.ac.uk
AN AGILE MDA APPROACH FOR EXECUTABLE UML STRUCTURED ACTIVITIES
STUDIA UNIV. BABEŞ BOLYAI, INFORMATICA, Volume LII, Number 2, 2007 AN AGILE MDA APPROACH FOR EXECUTABLE UML STRUCTURED ACTIVITIES I. LAZĂR, B. PÂRV, S. MOTOGNA, I.-G. CZIBULA, AND C.-L. LAZĂR Abstract.
Model driven Engineering & Model driven Architecture
Model driven Engineering & Model driven Architecture Prof. Dr. Mark van den Brand Software Engineering and Technology Faculteit Wiskunde en Informatica Technische Universiteit Eindhoven Model driven software
Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects
Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects Dimitrios S. Kolovos 1, Nicholas Matragkas 2, Ioannis Korkontzelos 3, Sophia Ananiadou 3, and Richard Paige 1 1 Department
ETL: Epsilon Transformation Language. MISO - Uniandes
ETL: Epsilon Transformation Language MISO - Uniandes 1 References http://www.eclipse.org/epsilon/doc/book/ http://www.eclipse.org/epsilon/examples/ Examples available at the wiki 2 Models are first class
10 Thoughts 2 Demos * Discussions
Developing Embedded software with Language Workbenches Stuttgart, 20.09.2011 Markus Voelter Independent/itemis voelter@acm.org 10 Thoughts 2 Demos * Discussions 1 1 Embedded Development Two Classes in
Model-based Aspect Weaver Construction
Model-based Aspect Weaver Construction Suman Roychoudhury 1, Frédéric Jouault 2,1, and Jeff Gray 1 1 University of Alabama at Birmingham, Birmingham, AL 35294 {roychous, gray@cis.uab.edu 2 ATLAS group
SMML: Software Measurement Modeling Language
SMML: Software Modeling Language Beatriz Mora, Félix García, Francisco Ruiz, Mario Piattini Alarcos Research Group, Department of Computer Science, University of Castilla-La Mancha {Beatriz.Mora Felix.Garcia
A little History Domain Specific Languages Examples Tools Benefits A more theoretical View Programming and Modeling The LWES Project Bonus: Best
Domain Specific Languages Markus Voelter Independent/itemis voelter@acm.org A little History Domain Specific Languages Examples Tools Benefits A more theoretical View Programming and Modeling The LWES
Primitive Operators for the Concurrent Execution of Model Transformations Based on LinTra
Primitive Operators for the Concurrent Execution of Model Transformations Based on LinTra Loli Burgueño 1, Eugene Syriani 2, Manuel Wimmer 3, Jeff Gray 2, and Antonio Vallecillo 1 1 Universidad de Málaga,
Model Driven Engineering (MDE)
Model Driven Engineering (MDE) Yngve Lamo 1 1 Faculty of Engineering, Bergen University College, Norway 26 April 2011 Ålesund Outline Background Software Engineering History, SE Model Driven Engineering
On the Use of an Internal DSL for Enriching EMF Models
On the Use of an Internal DSL for Enriching EMF Models Filip Křikava Université Nice Sophia Antipolis, France I3S - CNRS UMR 7271 filip.krikava@i3s.unice.fr Philippe Collet Université Nice Sophia Antipolis,
Praktikum Ingenieurmäßige Software-Entwicklung
Universität Karlsruhe (TH) Forschungsuniversität gegründet 1825 Praktikum Ingenieurmäßige Software-Entwicklung Palladio Component Model Part V (PCM) Prof. Dr. R. H. Reussner (reussner@ipd.uka.de) Lehrstuhl
Automated Safety Analysis for Domain-Specific Languages
Automated Safety Analysis for Domain-Specific Languages Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, and Phillip J. Brooke Department of Computer Science, University of York {paige,
A Framework for Supporting the Workflow for Archaeo-related Sciences: Managing, Synchronizing and Analyzing Data
Ludwig-Maximilians-Universität München Institut für Informatik Lehrstuhl für Datenbanksysteme und Data Mining Presentation: Daniel Kaltenthaler A Framework for Supporting the Workflow for Archaeo-related
Joint Agile Delivery Phase 3
Joint Agile Delivery Phase 3 Frank Massoudian Edward Pershwitz 2017 TM Forum 1 Joint Agile Delivery Phase 3 Project Lead Champions Participants 2017 TM Forum 2 Catalyst Timeline Oct 10-13, 2016 Stockholm
Model Superimposition in Software Product Lines
Model Superimposition in Software Product Lines Sven Apel 1, Florian Janda 1, Salvador Trujillo 2, and Christian Kästner 3 1 Department of Informatics and Mathematics, University of Passau, Germany, {apel,janda04}@uni-passau.de
Software Architecture
Software Architecture Benjamin Satzger Distributed Systems Group TU Wien http://www.infosys.tuwien.ac.at/staff/ bsatzger Models Terms Unified Modeling Language (UML) Architecture Description Language (ADL)
A Visual Specification Language for Model-to-Model Transformations
A Visual Specification Language for Model-to-Model Transformations Esther Guerra Computer Science Department Universidad Carlos III de Madrid Madrid, Spain eguerra@inf.uc3m.es Juan de Lara School of Computer
ICSA 2017 Tutorial Runtime Modeling and Visualization -- Introduction to Palladio
DFG Priority Programme 1593 Design For Future - Managed Software Evolution ICSA 2017 Tutorial Runtime Modeling and Visualization -- Introduction to Palladio R. Heinrich ICSA 2017 Tutorial Introduction
Using SLE for creation of Data Warehouses
Using SLE for creation of Data Warehouses Yvette Teiken OFFIS, Institute for Information Technology, Germany teiken@offis.de Abstract. This paper describes how software language engineering is applied
Origin Tracking + Text Differencing = Textual Model Differencing
Origin Tracking + Text Differencing = Textual Model Differencing Riemer van Rozen 1(B) and Tijs van der Storm 2,3 1 Amsterdam University of Applied Sciences, Amsterdam, The Netherlands rozen@cwi.nl 2 Centrum
Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering
Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering Athanasios Zolotas 1, Nicholas Matragkas 2, Sam Devlin 1, Dimitrios S. Kolovos 1, and Richard F. Paige 1 1 Department
ON THE BENEFITS OF A DOMAIN-SPECIFIC LANGUAGE FOR MODELING METAHEURISTIC OPTIMIZATION ALGORITHMS
ON THE BENEFITS OF A DOMAIN-SPECIFIC LANGUAGE FOR MODELING METAHEURISTIC OPTIMIZATION ALGORITHMS Stefan Vonolfen (a), Stefan Wagner (b), Andreas Beham (c), Michael Affenzeller (d) (a)(b)(c)(d) Upper Austria
Re-Implementing Apache Thrift using Model-Driven Engineering Technologies: An Experience Report
Re-Implementing Apache Thrift using Model-Driven Engineering Technologies: An Experience Report Sina Madani and Dimitrios S. Kolovos Department of Computer Science, University of York, UK {sm1748, dimitris.kolovos}@york.ac.uk
AUTOMATED BEHAVIOUR REFINEMENT USING INTERACTION PATTERNS
MASTER THESIS AUTOMATED BEHAVIOUR REFINEMENT USING INTERACTION PATTERNS C.J.H. Weeïnk FACULTY OF ELECTRICAL ENGINEERING, MATHEMATICS AND COMPUTER SCIENCE SOFTWARE ENGINEERING EXAMINATION COMMITTEE dr.
Modelling in Enterprise Architecture. MSc Business Information Systems
Modelling in Enterprise Architecture MSc Business Information Systems Models and Modelling Modelling Describing and Representing all relevant aspects of a domain in a defined language. Result of modelling
Towards xmof: Executable DSMLs based on fuml www.modelexecution.org Tanja Mayerhofer, Philip Langer, Manuel Wimmer Business Informatics Group Institute of Software Technology and Interactive Systems Vienna
EMMSAD Workshop, , Amsterdam
Enterprise Meta Modeling Methods Combining a Stakeholder-Oriented and a Causality-Based Approach Robert Lagerström, Jan Saat, Ulrik Franke, Stephan Aier, Mathias Ekstedt EMMSAD Workshop, 09.06.2009, Amsterdam
Applying Model Driven Technologies in the Creation. of Domain Specific Modeling Languages
Applying Model Driven Technologies in the Creation Model Driven Development Language Editor Generator Abstraction Model Driven Development Refinement of Domain Specific Modeling Languages Bruce Trask Angel
Object Management Group Model Driven Architecture (MDA) MDA Guide rev. 2.0 OMG Document ormsc/
Executive Summary Object Management Group Model Driven Architecture (MDA) MDA Guide rev. 2.0 OMG Document ormsc/2014-06-01 This guide describes the Model Driven Architecture (MDA) approach as defined by
Small is Beautiful Building a flexible software factory using small DSLs and Small Models
Small is Beautiful Building a flexible software factory using small DSLs and Small Models Jos Warmer Partner, Ordina jos.warmer@ordina.nl 1 Modeling Maturity Levels MML 0: No specification MML 1: Textual
Sketch-based Metamodel Construction. Research Internship II Lucas Heer
Sketch-based Metamodel Construction Research Internship II Lucas Heer lucas.heer@student.uantwerpen.be 31.01.2018 Motivation 2 Motivation 3 Solution What if we start from instance models? 4 Solution 5
Software Industrialization
Software Industrialization A Perspective on MDA David Frankel Consulting df@davidfrankelconsulting.com www.davidfrankelconsulting.com Portions adapted from the book Model Driven Architecture: Applying
23. Action-Oriented Design Methods
Fakultät Informatik - Institut Software- und Multimediatechnik - Softwaretechnologie Prof. Aßmann - Softwaretechnologie II 23. Action-Oriented Design Methods Prof. Dr. Uwe Aßmann Technische Universität
Antonio Cianfrani. Access Control List (ACL) Part I
Antonio Cianfrani Access Control List (ACL) Part I Index ACL? How to configure Standard ACL Extended ACL Named ACL Limiting the vty access ACL (1/3) Control lists applied to traffic incoming in / outgoing
Language Extension and Composition with Language Workbenches
Language Extension and Composition with Language Workbenches Eelco Visser TU Delft E.Visser@tudelft.nl Markus Voelter Independent/itemis voelter@acm.org Different Worlds Programming Tools!= Modeling Tools
A Generic Approach for Compliance Assessment of Interoperability Artifacts
A Generic Approach for Compliance Assessment of Interoperability Artifacts Stipe Fustar Power Grid 360 11060 Parkwood Drive #2, Cupertino, CA 95014 sfustar@powergrid360.com Keywords: Semantic Model, IEC
Computation Independent Model (CIM): Platform Independent Model (PIM): Platform Specific Model (PSM): Implementation Specific Model (ISM):
viii Preface The software industry has evolved to tackle new approaches aligned with the Internet, object-orientation, distributed components and new platforms. However, the majority of the large information
Eugenia: Towards Disciplined and Automated Development of GMF-based Graphical Model Editors
Eugenia: Towards Disciplined and Automated Development of GMF-based Graphical Model Editors Dimitrios S. Kolovos 1, Antonio García-Domínguez 2, Louis M. Rose 1, Richard F. Paige 1 1 University of York
Dresden OCL2 in MOFLON
Dresden OCL2 in MOFLON 10 Jahre Dresden-OCL Workshop Felix Klar Felix.Klar@es.tu-darmstadt.de ES Real-Time Systems Lab Prof. Dr. rer. nat. Andy Schürr Dept. of Electrical Engineering and Information Technology
Managing Application Configuration Data with CIM
Managing Application Configuration Data with CIM Viktor Mihajlovski IBM Linux Technology Center, Systems Management Introduction The configuration of software, regardless whether
Dominique Blouin Etienne Borde
Dominique Blouin Etienne Borde dominique.blouin@telecom-paristech.fr etienne.borde@telecom-paristech.fr Institut Mines-Télécom Content Domain specific Languages in a Nutshell Overview of Eclipse Modeling
Model Migration Case for TTC 2010
Model Migration Case for TTC 2010 Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, and Fiona A.C. Polack Department of Computer Science, University of York, UK. [louis,dkolovos,paige,fiona]@cs.york.ac.uk
Energy Testing and Optimization of Mobile Applications
Fakultät Informatik Institut für Software- und Multimediatechnik - Lehrstuhl für Softwaretechnologie Energy Testing and Optimization of Mobile Applications Eclipse Testing Day 2013 Claas Wilke 25.09.2013