MODELS 2015
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)
Powered by
Conference Publishing Consulting

2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), September 30 - October 2, 2015, Ottawa, ON, Canada

MODELS 2015 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs
MODELS 2015 Organization
Sponsors

Keynotes

Modelling the Climate System: Is Model-Based Science Like Model-Based Engineering? (Keynote)
Steve Easterbrook
(University of Toronto, Canada)
Article Search
Software Supply Chains (Keynote)
Gail Murphy
(University of British Columbia, Canada; Tasktop Technologies, Canada)
Article Search
Automobile: Aircraft or Smartphone? Modeling Challenges and Opportunities in Automotive Systems (Keynote)
Ramesh S
(General Motors, USA)
Article Search

Foundations

Reusable Event Types for Models at Runtime to Support the Examination of Runtime Phenomena
Michael Szvetits and Uwe Zdun
(University of Applied Sciences Wiener Neustadt, Austria; University of Vienna, Austria)
Article Search
Incremental Symbolic Execution of Evolving State Machines
Amal Khalil and Juergen Dingel
(Queen's University, Canada)
Article Search
A Framework for Relating Syntactic and Semantic Model Differences
Shahar Maoz and Jan Oliver Ringert
(Tel Aviv University, Israel)
Article Search
Engineering Tagging Languages for DSLs
Timo Greifenberg, Markus Look, Sebastian Roidl, and Bernhard Rumpe
(RWTH Aachen University, Germany)
Article Search
Process Mining in Software Systems: Discovering Real-Life Business Transactions and Process Models from Distributed Systems
Maikel Leemans and Wil M. P. van der Aalst
(Eindhoven University of Technology, Netherlands)
Article Search
State Machine Antipatterns for UML-RT
Tuhin Kanti Das and Juergen Dingel
(Queen's University, Canada)
Article Search
Enhancing the Communication Value of UML Models with Graphical Layers
Yosser El Ahmar, Sébastien Gérard, Cédric Dumoulin, and Xavier Le Pallec
(CEA, France; University of Lille, France)
Article Search
A Model-Based Framework for Probabilistic Simulation of Legal Policies
Ghanem Soltana, Nicolas Sannier, Mehrdad Sabetzadeh, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
Article Search
Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time
Thomas Hartmann, Assaad Moawad, Francois Fouquet, Gregory Nain, Jacques Klein, and Yves Le Traon
(University of Luxembourg, Luxembourg)
Article Search
Beyond Discrete Modeling: A Continuous and Efficient Model for IoT
Assaad Moawad, Thomas Hartmann, Francois Fouquet, Gregory Nain, Jacques Klein, and Yves Le Traon
(University of Luxembourg, Luxembourg)
Article Search
Infrastructure as Runtime Models: Towards Model-Driven Resource Management
Filip Křikava, Romain Rouvoy, and Lionel Seinturier
(Czech Technical University, Czech Republic; INRIA, France; University of Lille, France)
Article Search
Fragmenta: A Theory of Fragmentation for MDE
Nuno Amálio, Juan de Lara, and Esther Guerra
(University of York, UK; Autonomous University of Madrid, Spain)
Article Search Info
Consistent Co-Evolution of Models and Transformations
Angelika Kusel, Jürgen Etzlstorfer, Elisabeth Kapsammer, Werner Retschitzegger, Wieland Schwinger, and Johannes Schönböck
(JKU Linz, Austria; University of Applied Sciences Upper Austria at Hagenberg, Austria)
Article Search
Synthesizing Tests for Combinatorial Coverage of Modal Scenario Specifications
Valerio Panzica La Manna, Itai Segall, and Joel Greenyer
(Massachusetts Institute of Technology, USA; Bell Labs, Israel; Alcatel-Lucent, Israel; Leibniz Universität Hannover, Germany)
Article Search
Systematically Deriving Domain-Specific Transformation Languages
Katrin Hölldobler, Bernhard Rumpe, and Ingo Weisemöller
(RWTH Aachen University, Germany)
Article Search
Quick Fixing ATL Model Transformations
Jesús Sánchez Cuadrado, Esther Guerra, and Juan de Lara
(Autonomous University of Madrid, Spain)
Article Search Video Info
A-posteriori Typing for Model-Driven Engineering
Juan de Lara, Esther Guerra, and Jesús Sánchez Cuadrado
(Autonomous University of Madrid, Spain)
Article Search
Pattern-Based Development of Domain-Specific Modelling Languages
Ana Pescador, Antonio Garmendia, Esther Guerra, Jesús Sánchez Cuadrado, and Juan de Lara
(Autonomous University of Madrid, Spain)
Article Search
Checking Concurrent Behavior in UML/OCL Models
Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, and Rolf Drechsler
(University of Bremen, Germany; DFKI, Germany)
Article Search
A Behavioral Coordination Operator Language (BCOoL)
Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoit Combemale, and Frédéric Mallet
(University of Nice Sophia Antipolis, France; INRIA, France; University of Rennes 1, France)
Article Search Video
Textual Diagram Layout Language and Visualization Algorithm
Balázs Gregorics, Tibor Gregorics, Gábor Ferenc Kovács, András Dobreff, and Gergely Dévai
(Eötvös Loránd University, Hungary)
Article Search
A Controlled Experiment with Usability Inspection Techniques Applied to Use Case Specifications: Comparing the MIT 1 and the UCE Techniques
Natasha M. Costa Valentim, Jacilane Rabelo, Ana Carolina Oran, Tayana Conte, and Sabrina Marczak
(Federal University of Amazonas, Brazil; PUCRS, Brazil)
Article Search
A Unifying Approach to Connections for Multi-Level Modeling
Colin Atkinson, Ralph Gerbig, and Thomas Kühne
(University of Mannheim, Germany; Victoria University of Wellington, New Zealand)
Article Search
A Statistical Analysis Approach to Assist Model Transformation Evolution
Roberto Rodriguez-Echeverria and Fernando Macias
(University of Extremadura, Spain; Bergen University College, Norway)
Article Search
Enriching Megamodel Management with Collection-Based Operators
Rick Salay, Sahar Kokaly, Alessio Di Sandro, and Marsha Chechik
(University of Toronto, Canada; McMaster University, Canada)
Article Search
SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems
Phu H. Nguyen, Koen Yskout, Thomas Heyman, Jacques Klein, Riccardo Scandariato, and Yves Le Traon
(University of Luxembourg, Luxembourg; Simula Research Laboratory, Norway; KU Leuven, Belgium; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
Article Search
Fully Verifying Transformation Contracts for Declarative ATL
Bentley James Oakes, Javier Troya, Levi Lúcio, and Manuel Wimmer
(McGill University, Canada; Vienna University of Technology, Austria)
Article Search
Extracting Frame Conditions from Operation Contracts
Philipp Niemann, Frank Hilken, Martin Gogolla, and Robert Wille
(University of Bremen, Germany)
Article Search Info
Identification of Simulink Model Antipattern Instances using Model Clone Detection
Matthew Stephan and James R. Cordy
(Miami University, USA; Queen's University, Canada)
Article Search
Concern-Oriented Interfaces for Model-Based Reuse of APIs
Matthias Schöttle and Jörg Kienzle
(McGill University, Canada)
Article Search
On the Use of UML Documentation in Software Maintenance: Results from a Survey in Industry
Ana M. Fernández-Sáez, Danilo Caivano, Marcela Genero, and Michel R. V. Chaudron
(University of Castile–La Mancha, Spain; University of Bari, Italy; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
Article Search
Performance Prediction upon Toolchain Migration in Model-Based Software
Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Liang, and Krzysztof Czarnecki
(University of Waterloo, Canada)
Article Search
Employing Classifying Terms for Testing Model Transformations
Martin Gogolla, Antonio Vallecillo, Loli Burgueño, and Frank Hilken
(University of Bremen, Germany; University of Málaga, Spain)
Article Search
Pattern-Based Debugging of Declarative Models
Vajih Montaghami and Derek Rayside
(University of Waterloo, Canada)
Article Search Info
Integrating Goal-Oriented and Use Case-Based Requirements Engineering: The Missing Link
Tuong Huan Nguyen, John Grundy, and Mohamed Almorsy
(Swinburne University of Technology, Australia)
Article Search Info

MDE in Practice

Applying Product Line Use Case Modeling in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach
Ines Hajri, Arda Goknil, Lionel C. Briand, and Thierry Stephany
(University of Luxembourg, Luxembourg; IEE, Luxembourg)
Article Search
Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages
Alexis Fouché, Florian Noyrit, Sébastien Gérard, and Maged Elaasar
(CEA, France; Carleton University, Canada; Crossplatform Software, Canada)
Article Search
Improving Reuse by means of Asymmetrical Model Migrations: An Application to the Orcc Case Study
Paola Vallejo, Mickaël Kerboeuf, Kevin J. M. Martin, and Jean-Philippe Babau
(University Bretagne-Occidentale, France; CNRS, France; University Bretagne-Sud, France)
Article Search
Toward Overcoming Accidental Complexity in Organisational Decision-Making
Vinay Kulkarni, Souvik Barat, Tony Clark, and Balbir Barn
(Tata Consultancy Services, India; Middlesex University, UK)
Article Search
Modeling User Intentions for In-Car Infotainment Systems using Bayesian Networks
Daniel Lüddecke, Christoph Seidl, Jens Schneider, and Ina Schaefer
(Volkswagen, Germany; TU Braunschweig, Germany)
Article Search
Feature Modeling of Two Large-Scale Industrial Software Systems: Experiences and Lessons Learned
Daniela Lettner, Klaus Eder, Paul Grünbacher, and Herbert Prähofer
(JKU Linz, Austria; KEBA, Austria)
Article Search
Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard
Shaukat Ali and Tao Yue
(Simula Research Laboratory, Norway; University of Oslo, Norway)
Article Search
A Megamodel for Software Process Line Modeling and Evolution
Jocelyn Simmonds, Daniel Perovich, María Cecilia Bastarrica, and Luis Silvestre
(University of Chile, Chile)
Article Search
Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines
Bram van der Sanden, Michel Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, and Ramon Schiffelers
(Eindhoven University of Technology, Netherlands; TNO Embedded Systems Innovation, Netherlands; ASML, Netherlands)
Article Search Info
An Automated Model Based Testing Approach for Platform Games
Sidra Iftikhar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, and Wardah Mahmood
(National University of Computer and Emerging Sciences, Pakistan; University of Luxembourg, Luxembourg)
Article Search
Model-Driven Regulatory Compliance: A Case Study of "Know Your Customer" Regulations
Sagar Sunkle, Deepali Kholkar, and Vinay Kulkarni
(Tata Consultancy Services, India)
Article Search

SoSyM Abstracts

Identifying Duplicate Functionality in Textual Use Cases by Aligning Semantic Actions (SoSyM Abstract)
Alejandro Rago, Claudia Marcos, and J. Andrés Diaz-Pace
(UNICEN University, Argentina)
Article Search Info
Enhanced Graph Rewriting Systems for Complex Software Domains (SoSyM Abstract)
Cédric Eichler, Thierry Monteil, Patricia Stolf, Alfredo Grieco, and Khalil Drira
(CNRS, France; IRIT, France; University of Toulouse, France; Politecnico di Bari, Italy)
Article Search
A Situational Method for Semi-automated Enterprise Architecture Documentation (SoSyM Abstract)
Matthias Farwick, Christian M. Schweda, Ruth Breu, and Inge Hanschke
(University of Innsbruck, Austria; Reutlingen University, Germany; Lean 42, Germany)
Article Search
Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix (SoSyM Abstract)
Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, and Tieming Chen
(Nanyang Technological University, Singapore; Naval Postgraduate School, USA; Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Zhejiang University of Technology, China)
Article Search

proc time: 0.2