MODELS 2015 – Proceedings

Frontmatter

Keynotes

Modelling the Climate System: Is Model-Based Science Like Model-Based Engineering? (Keynote)
Steve Easterbrook
(University of Toronto, Canada)


@InProceedings{MODELS15p1, author = {Steve Easterbrook}, title = {Modelling the Climate System: Is Model-Based Science Like Model-Based Engineering? (Keynote)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2015}, }

Software Supply Chains (Keynote)
Gail Murphy
(University of British Columbia, Canada; Tasktop Technologies, Canada)


@InProceedings{MODELS15p3, author = {Gail Murphy}, title = {Software Supply Chains (Keynote)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {3-2}, doi = {}, year = {2015}, }

Automobile: Aircraft or Smartphone? Modeling Challenges and Opportunities in Automotive Systems (Keynote)
Ramesh S
(General Motors, USA)


@InProceedings{MODELS15p5, author = {Ramesh S}, title = {Automobile: Aircraft or Smartphone? Modeling Challenges and Opportunities in Automotive Systems (Keynote)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {5-4}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p7, author = {Michael Szvetits and Uwe Zdun}, title = {Reusable Event Types for Models at Runtime to Support the Examination of Runtime Phenomena}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {7-6}, doi = {}, year = {2015}, }

Incremental Symbolic Execution of Evolving State Machines
Amal Khalil and Juergen Dingel
(Queen's University, Canada)


@InProceedings{MODELS15p17, author = {Amal Khalil and Juergen Dingel}, title = {Incremental Symbolic Execution of Evolving State Machines}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {17-16}, doi = {}, year = {2015}, }

A Framework for Relating Syntactic and Semantic Model Differences
Shahar Maoz and Jan Oliver Ringert
(Tel Aviv University, Israel)


@InProceedings{MODELS15p27, author = {Shahar Maoz and Jan Oliver Ringert}, title = {A Framework for Relating Syntactic and Semantic Model Differences}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {27-26}, doi = {}, year = {2015}, }

Engineering Tagging Languages for DSLs
Timo Greifenberg, Markus Look, Sebastian Roidl, and Bernhard Rumpe
(RWTH Aachen University, Germany)


@InProceedings{MODELS15p37, author = {Timo Greifenberg and Markus Look and Sebastian Roidl and Bernhard Rumpe}, title = {Engineering Tagging Languages for DSLs}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {37-36}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p47, author = {Maikel Leemans and Wil M. P. van der Aalst}, title = {Process Mining in Software Systems: Discovering Real-Life Business Transactions and Process Models from Distributed Systems}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {47-46}, doi = {}, year = {2015}, }

State Machine Antipatterns for UML-RT
Tuhin Kanti Das and Juergen Dingel
(Queen's University, Canada)


@InProceedings{MODELS15p57, author = {Tuhin Kanti Das and Juergen Dingel}, title = {State Machine Antipatterns for UML-RT}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {57-56}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p67, author = {Yosser El Ahmar and Sébastien Gérard and Cédric Dumoulin and Xavier Le Pallec}, title = {Enhancing the Communication Value of UML Models with Graphical Layers}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {67-66}, doi = {}, year = {2015}, }

A Model-Based Framework for Probabilistic Simulation of Legal Policies
Ghanem Soltana, Nicolas Sannier, Mehrdad Sabetzadeh, and Lionel C. Briand
(University of Luxembourg, Luxembourg)


@InProceedings{MODELS15p77, author = {Ghanem Soltana and Nicolas Sannier and Mehrdad Sabetzadeh and Lionel C. Briand}, title = {A Model-Based Framework for Probabilistic Simulation of Legal Policies}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {77-76}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p87, author = {Thomas Hartmann and Assaad Moawad and Francois Fouquet and Gregory Nain and Jacques Klein and Yves Le Traon}, title = {Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {87-86}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p97, author = {Assaad Moawad and Thomas Hartmann and Francois Fouquet and Gregory Nain and Jacques Klein and Yves Le Traon}, title = {Beyond Discrete Modeling: A Continuous and Efficient Model for IoT}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {97-96}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p107, author = {Filip Křikava and Romain Rouvoy and Lionel Seinturier}, title = {Infrastructure as Runtime Models: Towards Model-Driven Resource Management}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {107-106}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p117, author = {Nuno Amálio and Juan de Lara and Esther Guerra}, title = {Fragmenta: A Theory of Fragmentation for MDE}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {117-116}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p127, author = {Angelika Kusel and Jürgen Etzlstorfer and Elisabeth Kapsammer and Werner Retschitzegger and Wieland Schwinger and Johannes Schönböck}, title = {Consistent Co-Evolution of Models and Transformations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {127-126}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p137, author = {Valerio Panzica La Manna and Itai Segall and Joel Greenyer}, title = {Synthesizing Tests for Combinatorial Coverage of Modal Scenario Specifications}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {137-136}, doi = {}, year = {2015}, }

Systematically Deriving Domain-Specific Transformation Languages
Katrin Hölldobler, Bernhard Rumpe, and Ingo Weisemöller
(RWTH Aachen University, Germany)


@InProceedings{MODELS15p147, author = {Katrin Hölldobler and Bernhard Rumpe and Ingo Weisemöller}, title = {Systematically Deriving Domain-Specific Transformation Languages}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {147-146}, doi = {}, year = {2015}, }

Quick Fixing ATL Model Transformations
Jesús Sánchez Cuadrado, Esther Guerra, and Juan de Lara
(Autonomous University of Madrid, Spain)


@InProceedings{MODELS15p157, author = {Jesús Sánchez Cuadrado and Esther Guerra and Juan de Lara}, title = {Quick Fixing ATL Model Transformations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {157-156}, doi = {}, year = {2015}, }

A-posteriori Typing for Model-Driven Engineering
Juan de Lara, Esther Guerra, and Jesús Sánchez Cuadrado
(Autonomous University of Madrid, Spain)


@InProceedings{MODELS15p167, author = {Juan de Lara and Esther Guerra and Jesús Sánchez Cuadrado}, title = {A-posteriori Typing for Model-Driven Engineering}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {167-166}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p177, author = {Ana Pescador and Antonio Garmendia and Esther Guerra and Jesús Sánchez Cuadrado and Juan de Lara}, title = {Pattern-Based Development of Domain-Specific Modelling Languages}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {177-176}, doi = {}, year = {2015}, }

Checking Concurrent Behavior in UML/OCL Models
Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, and Rolf Drechsler
(University of Bremen, Germany; DFKI, Germany)


@InProceedings{MODELS15p187, author = {Nils Przigoda and Christoph Hilken and Robert Wille and Jan Peleska and Rolf Drechsler}, title = {Checking Concurrent Behavior in UML/OCL Models}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {187-186}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p197, author = {Matias Ezequiel Vara Larsen and Julien DeAntoni and Benoit Combemale and Frédéric Mallet}, title = {A Behavioral Coordination Operator Language (BCOoL)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {197-196}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p207, author = {Balázs Gregorics and Tibor Gregorics and Gábor Ferenc Kovács and András Dobreff and Gergely Dévai}, title = {Textual Diagram Layout Language and Visualization Algorithm}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {207-206}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p217, author = {Natasha M. Costa Valentim and Jacilane Rabelo and Ana Carolina Oran and Tayana Conte and Sabrina Marczak}, title = {A Controlled Experiment with Usability Inspection Techniques Applied to Use Case Specifications: Comparing the MIT 1 and the UCE Techniques}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {217-216}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p227, author = {Colin Atkinson and Ralph Gerbig and Thomas Kühne}, title = {A Unifying Approach to Connections for Multi-Level Modeling}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {227-226}, doi = {}, year = {2015}, }

A Statistical Analysis Approach to Assist Model Transformation Evolution
Roberto Rodriguez-Echeverria and Fernando Macias
(University of Extremadura, Spain; Bergen University College, Norway)


@InProceedings{MODELS15p237, author = {Roberto Rodriguez-Echeverria and Fernando Macias}, title = {A Statistical Analysis Approach to Assist Model Transformation Evolution}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {237-236}, doi = {}, year = {2015}, }

Enriching Megamodel Management with Collection-Based Operators
Rick Salay, Sahar Kokaly, Alessio Di Sandro, and Marsha Chechik
(University of Toronto, Canada; McMaster University, Canada)


@InProceedings{MODELS15p247, author = {Rick Salay and Sahar Kokaly and Alessio Di Sandro and Marsha Chechik}, title = {Enriching Megamodel Management with Collection-Based Operators}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {247-246}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p257, author = {Phu H. Nguyen and Koen Yskout and Thomas Heyman and Jacques Klein and Riccardo Scandariato and Yves Le Traon}, title = {SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {257-256}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p267, author = {Bentley James Oakes and Javier Troya and Levi Lúcio and Manuel Wimmer}, title = {Fully Verifying Transformation Contracts for Declarative ATL}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {267-266}, doi = {}, year = {2015}, }

Extracting Frame Conditions from Operation Contracts
Philipp Niemann, Frank Hilken, Martin Gogolla, and Robert Wille
(University of Bremen, Germany)


@InProceedings{MODELS15p277, author = {Philipp Niemann and Frank Hilken and Martin Gogolla and Robert Wille}, title = {Extracting Frame Conditions from Operation Contracts}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {277-276}, doi = {}, year = {2015}, }

Identification of Simulink Model Antipattern Instances using Model Clone Detection
Matthew Stephan and James R. Cordy
(Miami University, USA; Queen's University, Canada)


@InProceedings{MODELS15p287, author = {Matthew Stephan and James R. Cordy}, title = {Identification of Simulink Model Antipattern Instances using Model Clone Detection}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {287-286}, doi = {}, year = {2015}, }

Concern-Oriented Interfaces for Model-Based Reuse of APIs
Matthias Schöttle and Jörg Kienzle
(McGill University, Canada)


@InProceedings{MODELS15p297, author = {Matthias Schöttle and Jörg Kienzle}, title = {Concern-Oriented Interfaces for Model-Based Reuse of APIs}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {297-296}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p307, author = {Ana M. Fernández-Sáez and Danilo Caivano and Marcela Genero and Michel R. V. Chaudron}, title = {On the Use of UML Documentation in Software Maintenance: Results from a Survey in Industry}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {307-306}, doi = {}, year = {2015}, }

Performance Prediction upon Toolchain Migration in Model-Based Software
Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Liang, and Krzysztof Czarnecki
(University of Waterloo, Canada)


@InProceedings{MODELS15p317, author = {Aymen Ketata and Carlos Moreno and Sebastian Fischmeister and Jia Liang and Krzysztof Czarnecki}, title = {Performance Prediction upon Toolchain Migration in Model-Based Software}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {317-316}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p327, author = {Martin Gogolla and Antonio Vallecillo and Loli Burgueño and Frank Hilken}, title = {Employing Classifying Terms for Testing Model Transformations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {327-326}, doi = {}, year = {2015}, }

Pattern-Based Debugging of Declarative Models
Vajih Montaghami and Derek Rayside
(University of Waterloo, Canada)


@InProceedings{MODELS15p337, author = {Vajih Montaghami and Derek Rayside}, title = {Pattern-Based Debugging of Declarative Models}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {337-336}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p347, author = {Tuong Huan Nguyen and John Grundy and Mohamed Almorsy}, title = {Integrating Goal-Oriented and Use Case-Based Requirements Engineering: The Missing Link}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {347-346}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p357, author = {Ines Hajri and Arda Goknil and Lionel C. Briand and Thierry Stephany}, title = {Applying Product Line Use Case Modeling in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {357-356}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p367, author = {Alexis Fouché and Florian Noyrit and Sébastien Gérard and Maged Elaasar}, title = {Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {367-366}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p377, author = {Paola Vallejo and Mickaël Kerboeuf and Kevin J. M. Martin and Jean-Philippe Babau}, title = {Improving Reuse by means of Asymmetrical Model Migrations: An Application to the Orcc Case Study}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {377-376}, doi = {}, year = {2015}, }

Toward Overcoming Accidental Complexity in Organisational Decision-Making
Vinay Kulkarni, Souvik Barat, Tony Clark, and Balbir Barn
(Tata Consultancy Services, India; Middlesex University, UK)


@InProceedings{MODELS15p387, author = {Vinay Kulkarni and Souvik Barat and Tony Clark and Balbir Barn}, title = {Toward Overcoming Accidental Complexity in Organisational Decision-Making}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {387-386}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p397, author = {Daniel Lüddecke and Christoph Seidl and Jens Schneider and Ina Schaefer}, title = {Modeling User Intentions for In-Car Infotainment Systems using Bayesian Networks}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {397-396}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p407, author = {Daniela Lettner and Klaus Eder and Paul Grünbacher and Herbert Prähofer}, title = {Feature Modeling of Two Large-Scale Industrial Software Systems: Experiences and Lessons Learned}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {407-406}, doi = {}, year = {2015}, }

Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard
Shaukat Ali and Tao Yue
(Simula Research Laboratory, Norway; University of Oslo, Norway)


@InProceedings{MODELS15p417, author = {Shaukat Ali and Tao Yue}, title = {Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {417-416}, doi = {}, year = {2015}, }

A Megamodel for Software Process Line Modeling and Evolution
Jocelyn Simmonds, Daniel Perovich, María Cecilia Bastarrica, and Luis Silvestre
(University of Chile, Chile)


@InProceedings{MODELS15p427, author = {Jocelyn Simmonds and Daniel Perovich and María Cecilia Bastarrica and Luis Silvestre}, title = {A Megamodel for Software Process Line Modeling and Evolution}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {427-426}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p437, author = {Bram van der Sanden and Michel Reniers and Marc Geilen and Twan Basten and Johan Jacobs and Jeroen Voeten and Ramon Schiffelers}, title = {Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {437-436}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p447, author = {Sidra Iftikhar and Muhammad Zohaib Iqbal and Muhammad Uzair Khan and Wardah Mahmood}, title = {An Automated Model Based Testing Approach for Platform Games}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {447-446}, doi = {}, year = {2015}, }

Model-Driven Regulatory Compliance: A Case Study of "Know Your Customer" Regulations
Sagar Sunkle, Deepali Kholkar, and Vinay Kulkarni
(Tata Consultancy Services, India)


@InProceedings{MODELS15p457, author = {Sagar Sunkle and Deepali Kholkar and Vinay Kulkarni}, title = {Model-Driven Regulatory Compliance: A Case Study of "Know Your Customer" Regulations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {457-456}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p467, author = {Alejandro Rago and Claudia Marcos and J. Andrés Diaz-Pace}, title = {Identifying Duplicate Functionality in Textual Use Cases by Aligning Semantic Actions (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {467-466}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p477, author = {Cédric Eichler and Thierry Monteil and Patricia Stolf and Alfredo Grieco and Khalil Drira}, title = {Enhanced Graph Rewriting Systems for Complex Software Domains (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {477-476}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p487, author = {Matthias Farwick and Christian M. Schweda and Ruth Breu and Inge Hanschke}, title = {A Situational Method for Semi-automated Enterprise Architecture Documentation (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {487-486}, doi = {}, year = {2015}, }

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)


@InProceedings{MODELS15p497, author = {Yang Liu and Mikhail Auguston and Jun Sun and Jin Song Dong and Tieming Chen}, title = {Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {497-496}, doi = {}, year = {2015}, }

proc time: 0.06