Welcome to EXE th International Workshop on Executable Modeling October 14, 2018, Copenhagen, Denmark. Organizers:
|
|
|
- Holly Jones
- 5 years ago
- Views:
Transcription
1 Welcome to EXE th International Workshop on Executable Modeling October 14, 2018, Copenhagen, Denmark Tanja Mayerhofer TU Wien, Austria Jeff Gray University of Alabama, USA Organizers: Philip Langer EclipseSource, Austria Ed Seidewitz Model Driven Solutions, USA Erwan Bousse TU Wien, Austria
2 Aim of the Workshop Highlight potentials and challenges of executable modeling Assess and advance the state-of-the-art in executable modeling Bring together researchers and practitioners working in executable modeling Exchange recent results, ideas, opinions, and experiences Coordinate research efforts
3 Topics Engineering methods for executable modeling languages Model execution tools Automation techniques for the development of model execution tools Evolution in the context of executable modeling Verification of semantic conformance Case studies and experience reports on the successful or failed adoption of executable modeling Tracing model executions and analyzing model execution traces Customization of executable modeling languages and model execution tools Composition, extension, and reuse of executable modeling languages and model execution tools Integration of executable modeling languages and programming languages Semantics-aware model transformations and code generation Scalability of model execution and execution-based model analysis Execution of partial and underspecified models Model execution in the presence of non-determinism and concurrency Surveys and benchmarks of different approaches for the development of executable modeling languages, model execution, and execution-based model analysis
4 Program 9:15 10:30 Session 1: Invited Industry Talks (Chair: Tanja Mayerhofer) Managing Build Configuration Complexity in Industrial Embedded Systems Elena Strabykina and Mattias Mohlin (HCL Technologies, Products and Platforms) Why Executable Models are a Requirement for our Customers Taylor Riche (National Instruments) UML Precise Semantics Standards at OMG: Executing on the Vision Ed Seidewitz (Model Driven Solutions) 10:30 11:00 Coffee Break
5 Program 11:00 12:35 Session 2: Paper Presentations (Chair: Erwan Bousse) Execution of UTP test cases using fuml Marc-Florian Wendland and Niels Hoppe A generic solution for weaving business code into executable models Eric Cariou, Olivier Le Goaer, Lea Brunschwig and Franck Barbier On executable models that are integrated with program code Marco Konersmann EmbeddedMontiArc: Textual modeling alternative to Simulink (Tool Demonstration) Evgeny Kusmenko, Jean-Marc Ronck, Bernhard Rumpe and Michael von Wenckstern 12:35 14:00 Lunch Break
6 Program 14:00 15:30 Session 3: Keynote (Chair: Jeff Gray) Model Execution: Past, Present and Future Benoit Combemale 15:30 16:00 Coffee Break
7 Program 16:00 17:30 Session 4: Live Tool Demonstrations & Workshop Closing (Chair: Ed Seidewitz) Execution of UTP test cases using fuml Marc-Florian Wendland and Niels Hoppe PauWare (A generic solution for weaving business code into executable models) Eric Cariou, Olivier Le Goaer, Lea Brunschwig and Franck Barbier Codeling (On executable models that are integrated with program code) Marco Konersmann Papyrus for xtuml Cortland Starrett, Robert Mulvey, Keith Brown and Levi Starrett WebGME Dynamic Systems Studio (WebGME-DSS) Patrik Meijer and Tamas Kecskes LieberLieber Embedded Engineer Bernhard Wally
8 Statistics Acceptance Rate 4 4 Rejected Accepted
9 Program Committee Francis Bordeleau Andrei Chiş Federico Ciccozzi Tony Clark Peter Clarke Benoit Combemale Jonathan Corley Julien Deantoni Thomas Degueule Davide Di Ruscio Juergen Dingel Nicolas Hili Nicholas Matragkas Marjan Mernik Zoltan Micskei Domenik Pavletic Ernesto Posse Taylor Riche Bran Selic Cortland Starrett Jérémie Tatibouët Massimo Tis Simon Van Mierlo Andreas Wortmann Thanos Zolotas Thank you!
10 Publication of Resources Proceedings Will be published on CEUR soon: Presentations Will be made available at Please send a copy of your slides to exe@modelexecution.org
11 Questions?
DiverSE 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
The 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
A generic solution for weaving business code into executable models
A generic solution for weaving business code into executable models Eric Cariou, Olivier Le Goaer, Léa Brunschwig, Franck Barbier University of Pau / LIUPPA, France Interests of model execution Introduction
Towards Language-Oriented Modeling
Towards Language-Oriented Modeling Benoit Combemale (Univ. Rennes 1, IRISA, DiverSE team) http://people.irisa.fr/benoit.combemale benoit.combemale@irisa.fr @bcombemale Complex Software-Intensive Systems
Why and Where do we need Executable modeling?
Why and Where do we need Executable modeling? Presented by Francis Bordeleau francis.bordeleau@ericsson.com EXE 2015 Workshop, Ottawa (Canada) Sept. 27 th, 2015 Page 2 Outline context Personal background
EXECUTABLE MODELING WITH FUML AND ALF IN PAPYRUS: TOOLING AND EXPERIMENTS
EXECUTABLE MODELING WITH FUML AND ALF IN PAPYRUS: TOOLING AND EXPERIMENTS Sahar Guermazi*, Jérémie Tatibouet*, Arnaud Cuccuru*, Ed Seidewitz +, Saadia Dhouib*, Sébastien Gérard* * CEA LIST - LISE lab +
A Generic Framework for Realizing Semantic Model Differencing Operators
A Generic Framework for Realizing Semantic Model Differencing Operators Philip Langer, Tanja Mayerhofer, and Gerti Kappel Business Informatics Group, Vienna University of Technology, Vienna, Austria {langer,mayerhofer,gerti}@big.tuwien.ac.at
CISC836: Models in Software Development: Methods, Techniques and Tools
CISC836: Models in Software Development: Methods, Techniques and Tools Topic 3: Expressing Software Models Expressing SW models: Overview 1. Examples of software modeling languages 1. UML (for modeling
Execution Framework of the GEMOC Studio (Tool Demo)
Execution Framework of the GEMOC Studio (Tool Demo) Erwan Bousse TU Wien, Austria bousse@big.tuwien.ac.at Tanja Mayerhofer TU Wien, Austria mayerhofer@big.tuwien.ac.at Thomas Degueule Inria, France thomas.degueule@inria.fr
Unifying Software Reuse
Unifying Software Reuse Jörg Kienzle Software Composition and Reuse Laboratory (SCORE) School of Computer Science McGill University Montreal, Canada Email: Joerg.Kienzle@mcgill.ca 1 How Did We Get Here?
OMG SPECIFICATION DEVELOPMENT USING PAPYRUS (AND OTHER ECLIPSE TOOLING)
OMG SPECIFICATION DEVELOPMENT USING PAPYRUS (AND OTHER ECLIPSE TOOLING) LIST and Papyrus Team Workshop on Model-Driven specification authoring Sept. 2015 OUTLINE. 1: FEEDBACKS FROM THE PSCS TF. 2: FOCUS
UML Semantics FAQ. ECOOP 99 Workshop Proposal
UML Semantics FAQ ECOOP 99 Workshop Proposal 1 Cover Page Title: UML Semantics FAQ Organizers: on behalf of puml (precise UML group), http://www.cs.york.ac.uk/ puml/ Stuart Kent (primary contact), Computing
Calur: an Action Language for UML-RT
Calur: an Action Language for UML-RT Nicolas Hili School of Computing, Queen s University Kingston, Ontario, Canada Email: hili@cs.queensu.ca Ernesto Posse Zeligsoft Gatineau, Quebec, Canada. Email: eposse@zeligsoft.com
2 nd UML 2 Semantics Symposium: Formal Semantics for UML
2 nd UML 2 Semantics Symposium: Formal Semantics for UML Manfred Broy 1, Michelle L. Crane 2, Juergen Dingel 2, Alan Hartman 3, Bernhard Rumpe 4, and Bran Selic 5 1 Technische Universität München, Germany
xtuml: Current and Next State of a Modeling Dialect
xtuml: Current and Next State of a Modeling Dialect (Experience Report and Historical View) Cortland Starrett One Fact Inc. 10412 US HWY 52 S Clarks Hill, Indiana 47930 USA cortland.starrett@onefact.net
Composition 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
ACM DocEng 2014 Tutorial & Workshops Program
ACM DocEng 2014 Tutorial & Workshops Program Sponsor: Supporters: TUESDAY, 16 SEPTEMBER, 2014 The workshops will be held in four separate conference areas clustered around the Lobby of Building 3 of the
A Runtime Model for fuml
A Runtime Model for fuml Tanja Mayerhofer, Philip Langer, and Gerti Kappel Business Informatics Group Institute of Software Technology and Interactive Systems Vienna University of Technology, Austria {mayerhofer,
Executing Models: Enhancing Validation by Filmstrip Templates and Transformation Alternatives
Executing Models: Enhancing Validation by Filmstrip Templates and Transformation Alternatives Nisha Desai Department of Computer Science University of Bremen D-28334 Bremen, Germany nisha@informatik.uni-bremen.de
Execution of UML models Present and Future of Research and Practice
Execution of UML models Present and Future of Research and Practice Federico Ciccozzi, Ivano Malavolta, Bran Selic Mälardalen University, Vrije University, Malina Software Corp. Ericsson Modeling Days
Flexible 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
ASPECT GENERATOR. Audit Trail WEAVER. Aspect Editor. Weaving Strategies Editor. Model Editor. Mapping. Instructions. Original Model (XMI)
Tool Support for Aspect-Oriented Design Francois Mekerke 1, Geri Georg 2, Robert France 3, and Roger Alexander 3 1 Ecole Nationale Superieure des Etudes et Techniques d'armement, Brest, France mekerkfr@ensieta.fr
Tool Paper: Combining Alf and UML in Modeling Tools An Example with Papyrus
Tool Paper: Combining Alf and UML in Modeling Tools An Example with Papyrus Ed Seidewitz Model Driven Solutions 14000 Gulliver s Trail Bowie MD 20720 USA ed-s@modeldriven.com Jérémie Tatibouet CEA, LIST,
Aspect Oriented Router
Aspect Oriented Router Research Proposal by Tzilla Elrad Sufyan Almajali The project is partially supported by an NSF grant 1 What are the problems? We all know what highly coupled code feels like: Make
48 th CEPIS COUNCIL May 5, Radisson Blu Hotel Milan, Italy
48 th CEPIS COUNCIL May 5, 2012 Radisson Blu Hotel Milan, Italy President s Opening Address and Welcome Meeting Agenda Agenda 1/7 SESSION 1 Morning Council Administration 08:50 Minutes from the 47 th Council
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
Towards Language-Oriented Modeling Habilitation à Diriger des Recherches Université de Rennes 1 December 4, 2015
Towards Language-Oriented Modeling Habilitation à Diriger des Recherches Université de Rennes 1 December 4, 2015 Benoit Combemale (Inria & Univ. Rennes 1) http://people.irisa.fr/benoit.combemale benoit.combemale@irisa.fr
Experimental Comparison between AutoFOCUS3 and Papyrus-RT. Tatiana Chuprina, Florian Hölzl, Vincent Aravantinos
Experimental Comparison between AutoFOCUS3 and Papyrus-RT Tatiana Chuprina, Florian Hölzl, Vincent Aravantinos Context AutoFOCUS 3 AutoFOCUS ( in short AF3 ): Model-based development tool Main application
An Introduction to Model Driven Engineering (MDE) Bahman Zamani, Ph.D. bahmanzamani.com
An Introduction to Model Driven Engineering (MDE) Bahman Zamani, Ph.D. bahmanzamani.com Department of Software Systems Engineering University of Isfahan Fall 2013 Overview Model & Modeling UML & UML Profile
Towards xmof: Executable DSMLs based on fuml
Towards xmof: Executable DSMLs based on fuml Tanja Mayerhofer Vienna University of Technology, Austria mayerhofer@big.tuwien.ac.at Philip Langer Vienna University of Technology, Austria langer@big.tuwien.ac.at
Proceedings of the 9th Joint ISO - ACL SIGSEM Workshop on Interoperable Semantic Annotation. isa-9. March 19 20, 2013.
Proceedings of the 9th Joint ISO - ACL SIGSEM Workshop on Interoperable Semantic Annotation isa-9 March 19 20, 2013 Potsdam, Germany Harry Bunt, editor 1 TiCC, Tilburg center for Cognition and Communication
Novel architecture for executable UML tooling
Novel architecture for executable UML tooling Gergely Dévai, Tibor Gregorics, Boldizsár Németh, Balázs Gregorics, Dávid János Németh, Gábor Ferenc Kovács, Zoltán Gera, András Dobreff, Máté Karácsony {deva,gt,nboldi,grbtaai,nemdav94,kovacsgabor,gerazo,doauaai,kmate}@caesar.elte.hu
Static 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:
Resource Contention Analysis of Service-Based Systems through fuml-driven Model Execution
Resource Contention Analysis of Service-Based Systems through fuml-driven Model Execution Martin Fleck 1, Luca Berardinelli 2, Philip Langer 1, Tanja Mayerhofer 1, and Vittorio Cortellessa 2 1 Business
Instructions for WMPG Workshop Attendees Aug 2, D. Raychaudhuri and Mario Gerla
Instructions for WMPG Workshop Attendees Aug 2,3 2005 D. Raychaudhuri and Mario Gerla ray@winlab.rutgers.edu; gerla@cs.ucla.edu 1 WMPG Workshop: High-Level Goals WMPG workshop aimed at: Identify emerging
Create and Play your Pac-Man Game with the GEMOC Studio (Tool Demonstration)
Create and Play your Pac-Man Game with the GEMOC Studio (Tool Demonstration) Dorian Leroy, Erwan Bousse, Manuel Wimmer, Benoit Combemale, Wieland Schwinger To cite this version: Dorian Leroy, Erwan Bousse,
The TTC 2015 Model Execution Case
The TTC 2015 Model Execution Case Tanja Mayerhofer and Manuel Wimmer Business Informatics Group, Vienna University of Technology, Austria {mayerhofer,wimmer}@big.tuwien.ac.at Abstract. This paper describes
Domain-Specific Languages for Wireless Sensor Networks
Domain-Specific Languages for Wireless Sensor Networks Daniel A. Sadilek Humboldt-Universität zu Berlin Institute for Computer Science Rudower Chaussee 25 12489 Berlin, Germany sadilek@informatik.hu-berlin.de
Leveraging Executable Language Engineering for Domain-Specific Transformation Languages (Position Paper)
Leveraging Executable Language Engineering for Domain-Specific Transformation Languages (Position Paper) EXE 2016, Saint-Malo, France Erwan Bousse 1 Manuel Wimmer 1 Wieland Schwinger 2 Elisabeth Kapsammer
Software Engineering with Objects and Components Open Issues and Course Summary
Software Engineering with Objects and Components Open Issues and Course Summary Massimo Felici Software Engineering with Objects and Components Software development process Lifecycle models and main stages
Model Transformation Testing Challenges
Model Transformation Testing Challenges Benoit Baudry 1, Trung Dinh-Trong 2, Jean-Marie Mottu 1, Devon Simmonds 2, Robert France 2, Sudipto Ghosh 2, Franck Fleurey 1, Yves Le Traon 3 1 IRISA, Campus Beaulieu,
Fine-grained Software Version Control Based on a Program s Abstract Syntax Tree
Master Thesis Description and Schedule Fine-grained Software Version Control Based on a Program s Abstract Syntax Tree Martin Otth Supervisors: Prof. Dr. Peter Müller Dimitar Asenov Chair of Programming
Arctic Observing Summit 2018
1 Arctic Observing Summit 2018 Day 1: Sunday, 24 June 2018 Davos Plenary Hall, Davos Congress Centre 8:00-9:00 am Registration & Coffee 9:00-9:15 am Welcome and Opening Comments Peter Schlosser, Co-Chair,
Runtime 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
PAPYRUS TOOL SUPPORT FOR FMI
PAPYRUS TOOL SUPPORT FOR FMI Ericsson Modeling Days 2016 Kista, Sweden, September 13-14, 2016 Sahar GUERMAZI, Sébastien REVOL, Arnaud CUCCURU, Saadia DHOUIB, Jérémie TATIBOUET, Sébastien GERARD CEA LIST
THE ETSI TEST DESCRIPTION LANGUAGE (TDL)
THE ETSI TEST DESCRIPTION LANGUAGE (TDL) Results from the ETSI project STF 454 A. Ulrich, G. Adamis, F. Kristoffersen, Ph. Makedonski, M.-F. Wendland, A. Wiles Outline Motivation and introduction Design
Caribbean Stakeholders Meeting: Cyber Security and Cybercrime (CSM II) Provisional Agenda. Day 1: 16 March 2016
Provisional Agenda Day 1: 16 March 2016 Day 1 Objective: To present emerging cyber threats in the Caribbean and discuss the findings of the needs assessments carried out in five Caribbean countries. Opening
5 th TPC Technology Conference on Performance Evaluation and Benchmarking TPCTC 2013
5 th TPC Technology Conference on Performance Evaluation and Benchmarking TPCTC 2013 Raghunath Nambiar General Chair Member of TPC Steering Committee and Public Relations Distinguished Engineer, Datacenter
Weaving Variability into Domain Metamodels
1 Weaving Variability into Domain Metamodels B. Morin, G. Perrouin, Ph. Lahire, O. Barais, G. Vanwormhoudt and J-M. Jézéquel MODELS 09 Variability Management session Friday 9th October Outline Introduction
On Open Source Tools for Behavioral Modeling and Analysis with fuml and Alf
Open Source Software for Model Driven Engineering 2014 On Open Source Tools for Behavioral Modeling and Analysis with fuml and Alf Zoltán Micskei, Raimund-Andreas Konnerth, Benedek Horváth, Oszkár Semeráth,
Coping with Semantic Variation Points in Domain-Specific Modeling Languages
Coping with Semantic Variation Points in Domain-Specific Modeling Languages Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoit Combemale To cite this version: Florent Latombe, Xavier
Create and Play your PacMan Game with the GEMOC Studio
Create and Play your PacMan Game with the GEMOC Studio Dorian Leroy 1 Erwan Bousse 2 Manuel Wimmer 2 Benoit Combemale 3 Wieland Schwinger 1 1 JKU Linz 2 TU Wien 3 University of Toulouse (UT2J) September
Web Services for the Integrated Enterprise OMG s 2nd Workshop On Web Services Modeling, Architectures, Infrastructures And Standards.
Web Services for the Integrated Enterprise OMG s 2nd Workshop On Web Services Modeling, Architectures, Infrastructures And Standards April 22-25, 2003 - Philadelphia, PA USA Summary Program Tuesday, April
Accelerating CCUS: A Global Conference to Progress CCUS
Accelerating CCUS: A Global Conference to Progress CCUS 28-29 November 2018 EDINBURGH, SCOTLAND, UNITED KINGDOM There is broad international consensus that CCUS has a vital role to play in meeting global
Introducing MBT to Standardization. ETSI All rights reserved
THE ETSI TEST DESCRIPTION LANGUAGE Introducing MBT to Standardization Presented by Andreas Ulrich, Siemens AG for ICTSS 2017, St. Petersburg, Russia ABOUT ETSI About ETSI, MTS, CTI European Telecommunication
Christian 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
ALE Agile Language Engineering
ALE Agile Language Engineering (2017 2019) Thomas Degueule CWI Inria Workshop September 19 20, 2017 CWI, Amsterdam http://gemoc.org/ale/ Context Software intensive systems CWI-Inria Workshop Agile Language
Second 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!
View-Based Modeling of Function Nets
View-Based Modeling of Function Nets Hans Grönniger 1, Jochen Hartmann 2, Holger Krahn 1, Stefan Kriebel 2, and Bernhard Rumpe 1 1 Institut für Software Systems Engineering, TU Braunschweig, Germany 2
Approaches of using UML for Embedded System Design
Approaches of using UML for Embedded System Design Sudeep D. Thepade Lecturer, Dept. of Information Technology, Thadomal Shahani Engg. College, Bandra, Mumbai sudeepthepade@gmail.com Abstract New approaches
Prodeling with the Action Language for Foundational UML
Prodeling with the Action Language for Foundational UML Thomas Buchmann Chair of Applied Computer Science I, University of Bayreuth, Universitätsstrasse 30, 95440 Bayreuth, Germany Keywords: Abstract:
Model Matching Challenge: Benchmarks for Ecore and BPMN Diagrams
Model Matching Challenge: Benchmarks for Ecore and BPMN Diagrams Pit Pietsch Software Engineering Group University of Siegen pietsch@informatik.uni-siegen.de Bernhard Rumpe Software Engineering RWTH Aachen
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)
REGISTER NOW SUMMIT 2017 COPENHAGEN TIVOLI HOTEL & CONGRESS CENTER JUNE 8 9, 2017
SUMMIT 2017 COPENHAGEN TIVOLI HOTEL & CONGRESS CENTER JUNE 8 9, 2017 REGISTER NOW TECHNOLOGY & MARKET TRENDS BROUGHT TO MANAGEMENT & BOARD-ROOM ATTENTION WWW.SMARTINDUSTRYFORUM.ORG SUMMIT 2017 IT S ALL
October 15, 2018 Memphis, Tennessee
The University of Memphis Systems Testing Excellence Program FedEx Institute of Technology 11 th International Research Workshop on Advances and Innovations in Software Testing The workshop is organized
Key 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
The 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
Monday 12/04/2010 (Plenary session)
P R E L I M I N A R Y A G E N D A Monday 12/04/2010 (Plenary session) 11:00 13:30 NESSI & Future Internet + NESSI related Projects 11:00 The role of NESSI in the Future Internet (Frédéric Gittler, HP)
A Review of Milestones in the History of GUI Prototyping Tools
A Review of Milestones in the History of GUI Prototyping Tools IFIP WG 13.2 Workshop on User Experience and User-Centered Development Processes September 14 th 2015, Bamberg, Germany Thiago R. Silva, Jean-Luc
ISACS AT: Template Lesson Plan
ISACS AT: Template Lesson Plan International Small Arms Control Standards Assessment Tool United Nations Institute for Disarmament Research (UNIDIR) 2015 1 ABOUT THIS PROJECT 1. BACKGROUND The International
Towards a Unified View of Modeling and Programming (Track Summary)
Towards a Unified View of Modeling and Programming (Track Summary) Manfred Broy 1, Klaus Havelund 2, Rahul Kumar 3, and Bernhard Steffen 4 1 Technische Universität München, Germany 2 Jet Propulsion Laboratory,
Update on AADL Requirements Annex
Open-PEOPLE Open Power and Energy Optimization PLatform and Estimator Update on AADL Requirements Annex Dominique BLOUIN* *Lab-STICC, Université de Bretagne Sud, Lorient, FRANCE AADL Standards Meeting,
Shaping the Future of Clean Sport
Shaping the Future of Clean Sport WADA Annual Symposium 2123 March 2018 SwissTech Convention Center (STCC) Lausanne, Switzerland Day 1 Wednesday 21 March 09:00 Welcome and Overview of the Symposium Benjamin
Business Rules in the Semantic Web, are there any or are they different?
Business Rules in the Semantic Web, are there any or are they different? Silvie Spreeuwenberg, Rik Gerrits LibRT, Silodam 364, 1013 AW Amsterdam, Netherlands {silvie@librt.com, Rik@LibRT.com} http://www.librt.com
Testing-Based Conceptual Schema Validation in a Model- Driven Environment
Testing-Based Conceptual Schema Validation in a Model- Driven Environment Maria Fernanda Granda Department of Information Systems and Computation, Universitat Politècnica de València, Valencia, Spain mgranda@dsic.upv.es
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
Which Role for an Ontology of Uncertainty?
Which Role for an Ontology of Uncertainty? Paolo Ceravolo, Ernesto Damiani, Marcello Leida Dipartimento di Tecnologie dell Informazione - Università degli studi di Milano via Bramante, 65-26013 Crema (CR),
Organization. Umeshwar Dayal (Hitachi Labs, USA) Malu Castellanos (HP, USA) Nesime Tatbul(Intel Labs and MIT, USA)
VLDB 14 September 1 st, 2014 General Chair: Organization Umeshwar Dayal (Hitachi Labs, USA) PC Chairs: Malu Castellanos (HP, USA) Nesime Tatbul(Intel Labs and MIT, USA) Our BIG THANKS to Qiming Chen (HP,
User-Driven Adaptation of Model Differencing Results
User-Driven Adaptation of Model Differencing Results Klaus Müller, Bernhard Rumpe Software Engineering RWTH Aachen University Aachen, Germany http://www.se-rwth.de/ Abstract In model-based software development,
An evaluation of Papyrus-RT for solving the leader-follower challenge problem
An evaluation of Papyrus-RT for solving the leader-follower challenge problem Karim Jahed Queen s University, Kingston, ON jahed@cs.queensu.ca Abstract. We discuss and evaluate the use of Papyrus-RT modeling
GlobalPlatform Addressing Unique Security Challenges through Standardization
GlobalPlatform Addressing Unique Security Challenges through Standardization @GlobalPlatform_ www.linkedin.com/company/globalplatform GlobalPlatformTV Our Program Today GlobalPlatform and Identity Task
Tutorial: Embedded and Reactive Systems Development with UML-RT and Papyrus-RT
Tutorial: Embedded and Reactive Systems Development with UML-RT and Papyrus-RT Juergen Dingel (Queen s) Nicolas Hili(Queen s) Ernesto Posse (Zeligsoft) MODELS 17 Sept 18, 2017 All material available at
Semantic Web and Information Extraction SWAIE 2012
Semantic Web and Information Extraction SWAIE 2012 Workshop in conjunction with the 18th International Conference on Knowledge Engineering and Knowledge Management Galway City, Ireland, 9 October 2012
Welcome and Introduction
Welcome and Introduction 2nd Int. Workshop on Standards and Technologies in Multimedia Archives and Records (STAR 2013), EPFL, Prof. Touradj Ebrahimi (EPFL) Dr. István Sebestyén (Ecma International) 2
Weaving Concurrency in executable Domain-Specific Modeling Languages
Weaving Concurrency in executable Domain-Specific Modeling Languages Florent Latombe, Xavier Crégut, Benoît Combemale, Julien Deantoni, Marc Pantel To cite this version: Florent Latombe, Xavier Crégut,
OPENSTACK DAYS NORDIC SPONSORSHIP PROSPECTUS
OPENSTACK DAYS NORDIC SPONSORSHIP PROSPECTUS TIVOLI HOTEL & CONGRESS CENTER COPENHAGEN OCTOBER 18-19, 2017 ORGANISERS SUPPORTED BY THE OPENSTACK FOUNDATION BACKGROUND The 2016 edition of OpenStack Days
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
Multi-level Language Descriptions
Multi-level Language Descriptions Andreas Prinz Department of ICT, University of Agder, Grimstad, Norway andreas.prinz@uia.no Abstract. Language descriptions are a multi-level issue. In particular, the
Doctoral Symposium.
Doctoral Symposium Marcus Alanen 1, Jordi Cabot 2, Miguel Goulão 3 and José Sáez 4 1 Åbo Akademi University, Turku, Finland maalanen@abo.fi 2 Estudis d'informàtica i Multimèdia, Universitat Oberta de Catalunya,
Supporting Efficient and Advanced Omniscient Debugging for xdsmls
Supporting Efficient and Advanced Omniscient Debugging for xdsmls Erwan Bousse, Jonathan Corley, Benoit Combemale, Jeff Gray, Benoit Baudry To cite this version: Erwan Bousse, Jonathan Corley, Benoit Combemale,
Report on the Aachen OCL Meeting
Report on the Aachen OCL Meeting Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, and Burkhart Wolff Abstract. As a continuation
Report on How to Use ALF Action Language and fuml execution/debugging with Moka
Report on How to Use ALF Action Language and fuml execution/debugging with Moka Coen 6312-Model Driven Software Engineering SAEED SHOARAYE NEJATI (40044525) Matin Maleki (40043676) Concordia University
International Technology Forum 2018
International Technology Forum 2018 Berlin, 18. - 20. April 2018 Trends Technologies Solutions Experts Meetings Networking 1983 to 2018: 35 Years Beta Systems Software The Beta Systems Group organizes
inemi Intro Environmental Leaders Workshop
inemi Intro Environmental Leaders Workshop February 2011 Bill Bader Agenda Introductions Quick Agenda Review 2010 Highlights for inemi Environmental Vision and System Session Objectives 1 Time; Speaker;
Roadmaps book. Deliverable Service Web 3.0
Roadmaps book Deliverable 2.4.1 Service Web 3.0 Authors: Ioan Toma (UIBK) Elena Simperl (UIBK) 2 DOCUMENT INFORMATION Project Number FP7-216937 Acronym Service Web 3.0 Full Title Roadmaps Book Project
S.M.P.T.E. Montréal / Québec / Ottawa Chapter
Former Ad-Hoc, Ross Date: Tuesday and Wednesday June 5 and 6, 2018 Time: Full days (08:00 to 17:00) Check In: Tuesday, June 5 TH at 08:00 Location: École de Technologie Supérieure (ÉTS), Salle des Pas
Visualizing traceability in model transformation compositions van Amstel, M.F.; Serebrenik, A.; van den Brand, M.G.J.
Visualizing traceability in model transformation compositions van Amstel, M.F.; Serebrenik, A.; van den Brand, M.G.J. Published: 01/01/2011 Document Version Publisher s PDF, also known as Version of Record
World Standards Cooperation Standardization Community Management Course, Geneva, September Programme
Programme 1 Day 1, Monday September 22, 2008 8:30 9:00 Registration at Conference Centre of Varembé, 7 9 Rue de Varembé, Geneva (CCV), conference room C 9:00 11:00 What are International Standards? 9:00
Innovative Tools for the Future Coordinated Operation of the Pan-European Electricity Transmission System. Tuesday January 14, 2014
2 nd itesla/umbrella Open Workshop Innovative Tools for the Future Coordinated Operation of the Pan-European Electricity Transmission System Tuesday January 14, 2014 1 1 st common workshop held in Brussels
COMP 763. Eugene Syriani. Ph.D. Student in the Modelling, Simulation and Design Lab School of Computer Science. McGill University
Eugene Syriani Ph.D. Student in the Modelling, Simulation and Design Lab School of Computer Science McGill University 1 OVERVIEW In the context In Theory: Timed Automata The language: Definitions and Semantics