Sketch-based Metamodel Construction. Research Internship II Lucas Heer
|
|
- Melinda Gibbs
- 5 years ago
- Views:
Transcription
1 Sketch-based Metamodel Construction Research Internship II Lucas Heer
2 Motivation 2
3 Motivation 3
4 Solution What if we start from instance models? 4
5 Solution 5
6 Solution 6
7 Solution 7
8 Research goal Examine current state of research Identify challenges Analyze existing solutions using concrete test cases Compare solutions and find open questions 8
9 Existing approaches Name Year Implemented Readily available Scribbler 2013 (Standalone) No MLCBD 2012 (Visio plugin) No metabup (EMF plugin) FlexiSketch (Android App) Model Workbench (Standalone) No 9
10 Resources (1) Scribbler: [1] Vogel, Martin, Tim Warnecke, and Christian Bartelt. "Scribbler: From Collaborative Sketching to Formal Domain Specific Models and Back Again." MoDELS [2] Vogel, Martin, et al. "Scribbler - Drawing models in a creative and collaborative environment: From hand-drawn sketches to domain specific models and vice versa." Proceedings of the Fifeenth Australasian User Interface ConferenceVolume 150. Australian Computer Society, Inc., MLCBD: [1] Cho, Hyun, Jef Gray, and Eugene Syriani. "Creating visual domain-specific modeling languages from end-user demonstration." Modeling in Sofware Engineering (MISE), 2012 ICSE Workshop on. IEEE, metabup: [1] López-Fernández, Jesús J. "An agile process for the example-driven development of modelling languages and environments." (PhD Thesis, 2017). [2] López-Fernández, Jesús J., et al. "Example-driven meta-model development." Sofware & Systems Modeling Vol. 14 Issue 4 (2015):
11 Resources (2) FlexiSketch: [1] Wüest, Dustin, Norbert Seyf, and Martin Glinz. "Flexisketch: A mobile sketching tool for sofware modeling." International Conference on Mobile Computing, Applications, and Services. Springer, Berlin, Heidelberg, [2] Wüest, Dustin, Norbert Seyf, and Martin Glinz. "Flexisketch team: Collaborative sketching and notation creation on the fly." Sofware Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on. Vol. 2. IEEE, Model Workbench: [1] Roth, Bastian, Matthias Jahn, and Stefan Jablonski. "On the way of bottom-up designing textual domain-specific modelling languages." Proceedings of the 2013 ACM workshop on Domain-specific modeling. ACM, [2] Roth, B., M. Jahn, and S. Jablonski. "A Method for Directly Deriving a Concise Meta Model from Example Models." Proceedings of PATTERNS 2013 (2013):
12 Example: metabup Step 1: Draw example models 12
13 Example: metabup Step 2: Transform to text model 13
14 Example: metabup Step 2: Transform to text model (MM) 14
15 Example: metabup Step 3: Derive metamodel 15
16 Challenges 1) Sketch recognition 2) Metamodel inference 3) Evolution 4) Integration 16
17 Challenges
18 Evaluation Evaluate tools based on challenges in multiple dimensions Define test cases and criteria for each dimension 18
19 Evaluation Unconstrained input Tool Language type Input Entites and relationships Textual annotations Spatial relationships Scribbler Visual Freehand No No MLCBD Visual Editor (draw) FlexiSketch Visual Freehand No No metabup Visual Editor Model Workbench Textual Visual Editor (text) (textual) 19
20 Evaluation Metamodel generation Tool Metamodel generation Advanced constructs Automation Scribbler Manual - Manual MLCBD Implicit - Semi FlexiSketch Implicit - Full metabup Explicit Inheritance Abstract classes Compositions Full Model Workbench Explicit Inheritance Abstract classes Semi 20
21 Evaluation Co-evolution Tool Forward evolution Backward evolution Classification Scribbler No Manual None MLCBD Manual No None FlexiSketch None metabup Non-breaking Resolvable Unresolvable Model Workbench Non-breaking Breaking 21
22 Evaluation Tool support Tool Scribbler MLCBD FlexiSketch metabup Model Workbench Implementatio n Java Application MS Visio Plugin Android App Java Application EMF Plugin Java EE Application EMF - - EMF metadepth Self-contained Industrial user study Case study User study User study -?? Limited Good? ClientServer - Client-Server - Client-Server Integration Usability Scalability Collaboration 22
23 Analysis Unconstrained input Scribbler MLCBD metabup FlexiSketch Metamodel generation 0 Co-evolution Tool support 0: 1: 2: 3: No support Weak Good Advanced 23
24 Open research questions Concrete abstract syntax rigid Co-evolution mostly rudimentary Gap between metamodel design and usage phases Immature tools with little experience Semantics 24
25 How agile is it really? 25
26 Open research questions Concrete abstract syntax rigid Co-evolution mostly rudimentary Gap between metamodel design and usage phases Immature tools with little experience Semantics 26
27 Future work 27
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
More informationA Model-Driven Framework for Domain Specific Process Design and Governance
A Model-Driven Framework for Domain Specific Process Design and Governance Adrian Mos 1, Mario Cortes-Cornax 1, José Miguel Pérez-Álvarez1,2, María Teresa Gómez-López 2 1 Xerox Research Center, 6 Chemin
More informationEnhancing Xtext for General Purpose Languages
Enhancing Xtext for General Purpose Languages Adolfo Sánchez-Barbudo Herrera Department of Computer Science, University of York, UK. asbh500@york.ac.uk Abstract. Xtext is a popular language workbench conceived
More informationInstance Specialization a Pattern for Multi-level Meta Modelling
Instance Specialization a Pattern for Multi-level Meta Modelling Matthias Jahn, Bastian Roth and Stefan Jablonski Chair for Applied Computer Science IV: Databases and Information Systems University of
More informationModel-checking with the TimeLine formalism
Model-checking with the TimeLine formalism Andrea Zaccara University of Antwerp Andrea.Zaccara@student.uantwerpen.be Abstract A logical model checker can be an effective tool for verification of software
More informationTowards Generating Domain-Specific Model Editors with Complex Editing Commands
Towards Generating Domain-Specific Model Editors with Complex Editing Commands Gabriele Taentzer Technical University of Berlin Germany gabi@cs.tu-berlin.de May 10, 2006 Abstract Domain specific modeling
More informationAutomatized Generating of GUIs for Domain-Specific Languages
Automatized Generating of GUIs for Domain-Specific Languages Michaela Bačíková, Dominik Lakatoš, and Milan Nosáľ Technical University of Košice, Letná 9, 04200 Košice, Slovakia, (michaela.bacikova, dominik.lakatos,
More informationStatic analysis and testing of executable DSL specification
Static analysis and testing of executable DSL specification Qinan Lai 1, Andy Carpenter 1 1 School of Computer Science, the University of Manchester, Manchester, UK {laiq,afc}@cs.man.ac.uk Keywords: Abstract:
More informationDiverSE s Seminar about Software Language Engineering
DiverSE s Seminar about Software Language Engineering May 28 th, 2015 Rennes, France http://people.irisa.fr/benoit.combemale/sleseminar2015 THE DIVERSE TEAM DiverSE s Seminar about SLE - May 28 th, 2015-2
More informationSecond OMG Workshop on Web Services Modeling. Easy Development of Scalable Web Services Based on Model-Driven Process Management
Second OMG Workshop on Web Services Modeling Easy Development of Scalable Web Services Based on Model-Driven Process Management 88 solutions Chief Technology Officer 2003 Outline! Introduction to Web Services!
More informationTowards 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
More informationIntroduction to Dependable Systems: Meta-modeling and modeldriven
Introduction to Dependable Systems: Meta-modeling and modeldriven development http://d3s.mff.cuni.cz CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics 3 Software development Automated software
More informationKey Properties for Comparing Modeling Languages and Tools: Usability, Completeness and Scalability
Key Properties for Comparing Modeling Languages and Tools: Usability, Completeness and Scalability Timothy C. Lethbridge Department of Electrical Engineering and Computer Science, University of Ottawa
More informationA Prototype for Guideline Checking and Model Transformation in Matlab/Simulink
A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink Holger Giese, Matthias Meyer, Robert Wagner Software Engineering Group Department of Computer Science University of Paderborn
More informationType 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
More informationEFFICIENT INTEGRATION OF SEMANTIC TECHNOLOGIES FOR PROFESSIONAL IMAGE ANNOTATION AND SEARCH
EFFICIENT INTEGRATION OF SEMANTIC TECHNOLOGIES FOR PROFESSIONAL IMAGE ANNOTATION AND SEARCH Andreas Walter FZI Forschungszentrum Informatik, Haid-und-Neu-Straße 10-14, 76131 Karlsruhe, Germany, awalter@fzi.de
More informationDeveloping 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
More informationA UML 2 Profile for Variability Models and their Dependency to Business Processes
A UML 2 Profile for Variability Models and their Dependency to Business Processes Birgit Korherr and Beate List Women s Postgraduate College for Internet Technologies Institute of Software Technology and
More informationMeta-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
More informationAADL Graphical Editor Design
AADL Graphical Editor Design Peter Feiler Software Engineering Institute phf@sei.cmu.edu Introduction An AADL specification is a set of component type and implementation declarations. They are organized
More informationEnterprise Multimedia Integration and Search
Enterprise Multimedia Integration and Search José-Manuel López-Cobo 1 and Katharina Siorpaes 1,2 1 playence, Austria, 2 STI Innsbruck, University of Innsbruck, Austria {ozelin.lopez, katharina.siorpaes}@playence.com
More informationCompositional Model Based Software Development
Compositional Model Based Software Development Prof. Dr. Bernhard Rumpe http://www.se-rwth.de/ Seite 2 Our Working Groups and Topics Automotive / Robotics Autonomous driving Functional architecture Variability
More informationThe TTC 2011 Reengineering Challenge Using MOLA and Higher-Order Transformations
The TTC 2011 Reengineering Challenge Using MOLA and Higher-Order Transformations Agris Sostaks, Elina Kalnina, Audris Kalnins, Edgars Celms, and Janis Iraids Institute of Computer Science and Mathematics,
More informationSeMFIS: A Tool for Managing Semantic Conceptual Models
Workshop on Graphical Modeling Language Development July 3, 2012 Kgs. Lyngby, Denmark SeMFIS: A Tool for Managing Semantic Conceptual Models Hans-Georg Fill Co-sponsored by the Austrian Science Fund: Grant
More informationChristian Doppler Laboratory
Christian Doppler Laboratory Software Engineering Integration For Flexible Automation Systems AutomationML Models (in EMF and EA) for Modelers and Software Developers Emanuel Mätzler Institute of Software
More informationThe etrice Eclipse Project Proposal
The etrice Eclipse Project Proposal Dipl.-Ing. Thomas Schütz, Protos Software GmbH Eclipse Embedded Day 2010, Stuttgart Agenda Motivation Scope of etrice ROOM Language Codegenerators Middleware Realization
More informationBLU AGE 2009 Edition Agile Model Transformation
BLU AGE 2009 Edition Agile Model Transformation Model Driven Modernization for Legacy Systems 1 2009 NETFECTIVE TECHNOLOGY -ne peut être copiésans BLU AGE Agile Model Transformation Agenda Model transformation
More informationDomain-Specific Languages Language Workbenches
Software Engineering with and Domain-Specific Languages Language Workbenches Peter Friese Itemis peter.friese@itemis.de Markus Voelter Independent/itemis voelter@acm.org 1 Programming Languages C# Erlang
More informationEvaluation of Commercial Web Engineering Processes
Evaluation of Commercial Web Engineering Processes Andrew McDonald and Ray Welland Department of Computing Science, University of Glasgow, Glasgow, Scotland. G12 8QQ. {andrew, ray}@dcs.gla.ac.uk, http://www.dcs.gla.ac.uk/
More informationSoftware Architecture in Action. Flavio Oquendo, Jair C Leite, Thais Batista
Software Architecture in Action Flavio Oquendo, Jair C Leite, Thais Batista Motivation 2 n In this book you can learn the main software architecture concepts and practices. n We use an architecture description
More informationLanguage 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.
More informationLanguage 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
More informationMulti-Level Modelling in the Modelverse
Multi-Level Modelling in the Modelverse Simon Van Mierlo 1, Bruno Barroca 2, Hans Vangheluwe 1,2, Eugene Syriani 3, Thomas Kühne 4 1 University of Antwerp, Belgium {simon.vanmierlo,hans.vangheluwe}@uantwerpen.be
More informationPlan. 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.
More informationMotivating Ontology-Driven Information Extraction
Motivating Ontology-Driven Information Extraction Burcu Yildiz 1 and Silvia Miksch 1, 2 1 Institute for Software Engineering and Interactive Systems, Vienna University of Technology, Vienna, Austria {yildiz,silvia}@
More informationStart Up Benoît Langlois / Thales Global Services Eclipse (EMFT) EGF 2011 by Thales; made available under the EPL v1.
www.thalesgroup.com Start Up Benoît Langlois / Thales Global Services 2 / Introduction EGF Architecture Concepts & Practice EGF Portfolios 3 / Introduction EGF Architecture Concepts & Practice EGF Portfolios
More informationOrccad, a Model Driven Architecture and Environment for Real-Time Control. Soraya Arias Florine Boudin Roger Pissard-Gibollet Daniel Simon
1 Orccad, a Model Driven Architecture and Environment for Real-Time Control Soraya Arias Florine Boudin Roger Pissard-Gibollet Daniel Simon 2 Orccad : status and motivations Model: Control design oriented
More informationAn Evaluation of Multi-Level Modeling Frameworks for Extensible Graphical Editing Tools
An Evaluation of Multi-Level Modeling Frameworks for Extensible Graphical Editing Tools Kosaku Kimura 1 and Kazunori Sakamoto 2 1 Fujitsu Laboratories, Japan 2 National Institute of Informatics, Japan
More informationA Formal V&V Framework for UML Models Based on Model Transformation Techniques
A Formal V&V Framework for UML Models Based on Model Transformation Techniques Soon-Kyeong Kim and David Carrington Information Technology and Electrical Engineering The University of Queensland, St. Lucia,
More informationThe Case for Meta-modeling Frameworks Specialisation
The Case for Meta-modeling Frameworks Specialisation S. Temate 1, L. Broto 1, and D. Hagimont 1 1 IRIT/ENSEEIHT, 2 rue Charles Camichel - BP 7122 31071 Toulouse cedex 7 (France) Abstract Domain Specific
More informationRuntime Models as Interfaces for Adapting Software Systems
Runtime Models as Interfaces for Adapting Software Systems Seminar on Software Engineering for Self-Adaptive Systems Schloss Dagstuhl, October 24-29, 2010 Thomas Vogel System Analysis and Modeling Group
More informationUsing Scala for building DSL s
Using Scala for building DSL s Abhijit Sharma Innovation Lab, BMC Software 1 What is a DSL? Domain Specific Language Appropriate abstraction level for domain - uses precise concepts and semantics of domain
More informationDomain-Specific Languages for Digital Forensics
Domain-Specific Languages for Digital Forensics Jeroen van den Bos Centrum Wiskunde & Informatica Nederlands Forensisch Instituut jeroen@infuse.org Abstract. Due to strict deadlines, custom requirements
More informationThe Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks
The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks Sara Perez-Soler, Esther Guerra, Juan de Lara, Francisco Jurado 2017 Presented by Laura Walsh 1 Overview 1. Background &
More informationarxiv: v1 [cs.pl] 21 Jan 2013
A DSL for Mapping Abstract Syntax Models to Concrete Syntax Models in ModelCC Luis Quesada, Fernando Berzal, and Juan-Carlos Cubero Department Computer Science and Artificial Intelligence, CITIC, University
More informationModelling Languages: (mostly) Concrete (Visual) Syntax. Hans Vangheluwe
Modelling Languages: (mostly) Concrete (Visual) Syntax Hans Vangheluwe Antwerp 26 August 2014 2 3 4 5 6 Causal Block Diagrams (syntax) 7 Causal Block Diagrams (semantics) 8 Operational Semantics 9 Causal
More informationModeling Systems Using Design Patterns
Modeling Systems Using Design Patterns Jaroslav JAKUBÍK Slovak University of Technology Faculty of Informatics and Information Technologies Ilkovičova 3, 842 16 Bratislava, Slovakia jakubik@fiit.stuba.sk
More informationThe Implications of Optimality Results for Incremental Model Synchronization for TGGs Holger Giese, Stephan Hildebrandt
The Implications of Optimality Results for Incremental Model Synchronization for TGGs Bi-directional transformations (BX) Theory and Applications Across Disciplines (13w5115) December 1-6, 2013 Holger
More informationModel-Independent Differences
Model-Independent Differences Patrick Könemann Technical University of Denmark, Informatics and Mathematical Modelling Richard Petersens Plads, DK-2800 Kgs. Lyngby, Denmark pk@imm.dtu.dk Abstract Computing
More informationIntroduction to Model Driven Engineering using Eclipse. Frameworks
Introduction to Model Driven Engineering using Eclipse Model Driven Development Generator s Bruce Trask Angel Roman MDE Systems Abstraction Model Driven Development Refinement 1 Part I Agenda What is Model
More informationAutomatic Generation of Graph Models for Model Checking
Automatic Generation of Graph Models for Model Checking E.J. Smulders University of Twente edwin.smulders@gmail.com ABSTRACT There exist many methods to prove the correctness of applications and verify
More informationTowards Tool Support For Agile Modeling: Sketching Equals Modeling
Towards Tool Support For Agile Modeling: Sketching Equals Modeling Thomas Buchmann Chair of Applied Computer Science I, University of Bayreuth Bayreuth, Germany thomas.buchmann@uni-bayreuth.de ABSTRACT
More informationProposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML
Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML Tetsuro Katayama Department of Computer Science and Systems Engineering, Faculty of Engineering, Miyazaki University
More informationThe three element types, connected by relations, can form sentences of sorts.
Archi Overview ArchiMate ArchiMate is built from three types of elements: elements that act (active elements) elements that represent the behavior of those elements that act (behavioral elements) elements
More information5 Object Oriented Analysis
5 Object Oriented Analysis 5.1 What is OOA? 5.2 Analysis Techniques 5.3 Booch's Criteria for Quality Classes 5.4 Project Management and Iterative OOAD 1 5.1 What is OOA? How to get understanding of what
More informationIntroduction to EGF. Benoît Langlois / Thales Global Services.
www.thalesgroup.com Introduction to EGF Benoît Langlois / Thales Global Services 2 / Agenda Introduction EGF Architecture Concepts & Practice EGF Portfolios 3 / Agenda Introduction EGF Architecture Concepts
More informationSoftware Language Engineering of Architectural Viewpoints
Software Language Engineering of Architectural Viewpoints Elif Demirli and Bedir Tekinerdogan Department of Computer Engineering, Bilkent University, Ankara 06800, Turkey {demirli,bedir}@cs.bilkent.edu.tr
More informationExpressing Feature-Based Variability in Structural Models
Expressing Feature-Based Variability in Structural Models Iris Groher 1, Markus Voelter 2 1 Siemens AG, CT SE 2, Munich, Germany 2 Independent Consultant, Goeppingen, Germany iris.groher.ext@siemens.com,
More informationModel Driven Ontology: A New Methodology for Ontology Development
Model Driven Ontology: A New Methodology for Ontology Development Mohamed Keshk Sally Chambless Raytheon Company Largo, Florida Mohamed.Keshk@raytheon.com Sally.Chambless@raytheon.com Abstract Semantic
More informationA DEMONSTRATION-BASED APPROACH FOR DOMAIN-SPECIFIC MODELING LANGUAGE CREATION HYUN CHO
A DEMONSTRATION-BASED APPROACH FOR DOMAIN-SPECIFIC MODELING LANGUAGE CREATION by HYUN CHO DR. JEFF GRAY, COMMITTEE CHAIR DR. BARRET BRYANT DR. JEFFREY CARVER DR. MARJAN MERNIK DR. RANDY SMITH DR. EUGENE
More informationImplementing the Unifying Meta-Model for Enterprise Modeling and Model-Driven Development: An Experience Report
Implementing the Unifying Meta-Model for Enterprise Modeling and Model-Driven Development: An Experience Report Iyad Zikra Department of Computer and Systems Sciences, Stockholm University Forum 100, SE-164
More informationVerifying Modelling Languages using Lightning: a Case Study
Verifying Modelling Languages using Lightning: a Case Study Loïc Gammaitoni, Pierre Kelsen, and Fabien Mathey University of Luxembourg Abstract. The formal language Alloy was developed to provide fully
More information02291: System Integration
02291: System Integration Hubert Baumeister hub@imm.dtu.dk Spring 2012 Contents 1 General Information 1 2 Overview 3 3 Introduction to UML 11 4 Summary 16 1 General Information System Integration Type
More informationContributions to the Study of Semantic Interoperability in Multi-Agent Environments - An Ontology Based Approach
Int. J. of Computers, Communications & Control, ISSN 1841-9836, E-ISSN 1841-9844 Vol. V (2010), No. 5, pp. 946-952 Contributions to the Study of Semantic Interoperability in Multi-Agent Environments -
More informationUsing Component-oriented Process Models for Multi-Metamodel Applications
Using Component-oriented Process Models for Multi-Metamodel Applications Fahad R. Golra Université Européenne de Bretagne Institut Télécom / Télécom Bretagne Brest, France Email: fahad.golra@telecom-bretagne.eu
More informationSoftware Engineering from a
Software Engineering from a modeling perspective Robert B. France Dept. of Computer Science Colorado State University USA france@cs.colostate.edu Softwaredevelopment problems Little or no prior planning
More informationMaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation
MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation Lei Li 1, John Hosking 1 and John Grundy 1,2 1 Department of Computer
More informationSoftware 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)
More informationWhole Platform Foundation. The Long Way Toward Language Oriented Programming
Whole Platform Foundation The Long Way Toward Language Oriented Programming 2008 by Riccardo Solmi made available under the Creative Commons License last updated 22 October 2008 Outline Aim: Engineering
More informationQuantifying and Assessing the Merge of Cloned Web-Based System: An Exploratory Study
Quantifying and Assessing the Merge of Cloned Web-Based System: An Exploratory Study Jadson Santos Department of Informatics and Applied Mathematics Federal University of Rio Grande do Norte, UFRN Natal,
More informationThe GEMOC Initiative On the Globalization of Modeling Languages
The GEMOC Initiative On the Globalization of Modeling Languages Benoit Combemale (Inria & Univ. Rennes 1) http://people.irisa.fr/benoit.combemale benoit.combemale@irisa.fr @bcombemale SOFTWARE COLUMN SECTION
More informationA Visual Tool for Supporting Developers in Ontology-based Application Integration
A Visual Tool for Supporting Developers in Ontology-based Application Integration Tobias Wieschnowsky 1 and Heiko Paulheim 2 1 SAP Research tobias.wieschnowsky@sap.com 2 Technische Universität Darmstadt
More informationFlight Systems are Cyber-Physical Systems
Flight Systems are Cyber-Physical Systems Dr. Christopher Landauer Software Systems Analysis Department The Aerospace Corporation Computer Science Division / Software Engineering Subdivision 08 November
More informationJQueryScapes: customizable Java code perspectives
JQueryScapes: customizable Java code perspectives [Forum Demonstration Proposal] Lloyd Markle, Kris De Volder Department of Computer Science University of British Columbia Vancouver, BC, Canada 604-822-1290
More informationA Methodology and Framework to Simplify Usability Analysis of Mobile Applications
2009 IEEE/ACM International Conference on Automated Software Engineering A Methodology and Framework to Simplify Usability Analysis of Mobile Applications Florence Balagtas-Fernandez Media Informatics
More informationTowards Transformations from BPMN to Heterogeneous Systems. Tobias Küster and Axel Heßler
Towards Transformations from BPMN to Heterogeneous Systems Tobias Küster and Axel Heßler BPMN is the new standard modelling notation for all kinds of business processes, and many tools provide a transformation
More informationComposition and concurrent execution of heterogeneous domain-specific models
Composition and concurrent execution of heterogeneous domain-specific models A work part of the GEMOC initiative Benoit Combemale Associate Professor, University of Rennes 1 Research Scientist, INRIA benoit.combemale@irisa.fr
More informationFlexible Deep Modeling with Melanee
Stefanie Betz, Ulrich Reimer (Hrsg.): Modellierung 2016 Workshopband, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik, Bonn 2016 117 Flexible Deep Modeling with Melanee Colin Atkinson and
More informationDresden 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
More information3rd Lecture Languages for information modeling
3rd Lecture Languages for information modeling Agenda Languages for information modeling UML UML basic concepts Modeling by UML diagrams CASE tools: concepts, features and objectives CASE toolset architecture
More informationMERGING BUSINESS VOCABULARIES AND RULES
MERGING BUSINESS VOCABULARIES AND RULES Edvinas Sinkevicius Departament of Information Systems Centre of Information System Design Technologies, Kaunas University of Lina Nemuraite Departament of Information
More informationSemantic Exploitation of Engineering Models: An Application to Oilfield Models
Semantic Exploitation of Engineering Models: An Application to Oilfield Models Laura Silveira Mastella 1,YamineAït-Ameur 2,Stéphane Jean 2, Michel Perrin 1, and Jean-François Rainaud 3 1 Ecole des Mines
More informationTowards End-User Adaptable Model Versioning: The By-Example Operation Recorder
Towards End-User Adaptable Model Versioning: The By-Example Operation Recorder Petra Brosch, Philip Langer, Martina Seidl, and Manuel Wimmer Institute of Software Technology and Interactive Systems Vienna
More informationMetaprogrammable Toolkit for Model-Integrated Computing
Metaprogrammable Toolkit for Model-Integrated Computing Akos Ledeczi, Miklos Maroti, Gabor Karsai and Greg Nordstrom Institute for Software Integrated Systems Vanderbilt University Abstract Model-Integrated
More informationAn Evaluation of Domain-Specific Language Technologies for Code Generation
An Evaluation of Domain-Specific Language Technologies for Code Generation Christian Schmitt, Sebastian Kuckuk, Harald Köstler, Frank Hannig, Jürgen Teich Hardware/Software Co-Design, System Simulation,
More informationDSM 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
More informationA UML 2 Profile for Variability Models and their Dependency to Business Processes
A UML 2 Profile for Variability Models and their Dependency to Business Processes Birgit Korherr and Beate List Women s Postgraduate College for Internet Technologies Institute of Software Technology and
More informationKermeta tutorial. How to create a metamodel. François Tanguy, Didier Vojtisek. Abstract
Kermeta tutorial How to create a metamodel François Tanguy, Didier Vojtisek Abstract This tutorial is part of a serie of tutorials that explain step by step one of the aspect of Kermeta. This one will
More informationOn the link between Architectural Description Models and Modelica Analyses Models
On the link between Architectural Description Models and Modelica Analyses Models Damien Chapon Guillaume Bouchez Airbus France 316 Route de Bayonne 31060 Toulouse {damien.chapon,guillaume.bouchez}@airbus.com
More informationThe Edapt Solution for the Reengineering Case
The Edapt Solution for the Reengineering Case Markus Herrmannsdoerfer Institut für Informatik, Technische Universität München Boltzmannstr. 3, 85748 Garching b. München, Germany herrmama@in.tum.de Abstract.
More informationCreating Domain-Specific Modeling Languages with OPM/D A Meta-modeling approach
Creating Domain-Specific Modeling Languages with OPM/D A Meta-modeling approach Arieh Bibliowicz 1 and Dov Dori 1 1 Technion, Israel Institute of Technology, Haifa, Israel vainolo@tx.techion.ac.il, dori@ie.technion.ac.il
More informationUML is still inconsistent!
Department of Computer Science Institute for Software and Multimedia Engineering, Software Technology Group UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 Superstructure Claas
More informationDeveloping CASE tools which support integrated development notations
Revised version in Proceedings of the 6th Workshop on the Next Generation of CASE Tools, Finland, June 1995. Developing CASE tools which support integrated development notations John C. Grundy and John
More informationOntology-based Model Transformation
Ontology-based Model Transformation Stephan Roser Advisor: Bernhard Bauer Progamming of Distributed Systems Institute of Computer Science, University of Augsburg, Germany [roser,bauer]@informatik.uni-augsburg.de
More informationModel-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
More informationSemantic Specifications for Domain-Specific Modeling Languages
Semantic Specifications for Domain-Specific Modeling Languages Gabor Simko Institute for Software Integrated Systems Vanderbilt University Nashville, TN Abstract. While there is a generic agreement that
More informationImproving Adaptive Hypermedia by Adding Semantics
Improving Adaptive Hypermedia by Adding Semantics Anton ANDREJKO Slovak University of Technology Faculty of Informatics and Information Technologies Ilkovičova 3, 842 16 Bratislava, Slovak republic andrejko@fiit.stuba.sk
More informationRethinking the Semantic Annotation of Services
Rethinking the Semantic Annotation of Services Nikos Loutas, Vassilios Peristeras, Konstantinos Tarabanis {firstname.lastname}@deri.org kat@uom.gr Copyright 2009. All rights reserved. Outline Motivation
More informationbflow* Toolbox - an Open-Source Modeling Tool
bflow* Toolbox - an Open-Source Modeling Tool Christian Böhme 1, Jörg Hartmann 1, Heiko Kern 1, Stefan Kühne 1, Ralf Laue 2, Markus Nüttgens 3, Frank J. Rump 4, and Arian Storch 2 1 Business Information
More informationCapturing JUnit Behavior into Static Programs
Degree Project Capturing JUnit Behavior into Static Programs Asher Siddiqui 2010-05-11 Subject: Computer Science Level: Master Course code: DA4004 Abstract In this research paper, it evaluates the benefits
More information