1. Home
  2. Proceedings
  3. MODELS
  4. MODELS 2015
Default Cover Image

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

Sept. 30 2015 to Oct. 2 2015

Ottawa, ON, Canada

Table of Contents

Author indexFreely available from IEEE.pp. 450-450
ContentsFreely available from IEEE.pp. ix-xii
Message from the chairsFreely available from IEEE.pp. iii-iii
by Tim Lethbridge, Jordi Cabot, Alexander Egyed
MODELS 2015 organizationFreely available from IEEE.pp. iv-vii
SponsorsFreely available from IEEE.pp. viii-viii
Modelling the climate system: Is model-based science like model-based engineering? (Keynote)Full-text access may be available. Sign in or learn about subscription options.pp. 1-1
by Steve Easterbrook
Software supply chains (keynote)Full-text access may be available. Sign in or learn about subscription options.pp. 2-2
by Gail C. Murphy
Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (keynote)Full-text access may be available. Sign in or learn about subscription options.pp. 3-3
by Ramesh S
Reusable event types for models at runtime to support the examination of runtime phenomenaFull-text access may be available. Sign in or learn about subscription options.pp. 4-13
by Michael Szvetits, Uwe Zdun
Incremental symbolic execution of evolving state machinesFull-text access may be available. Sign in or learn about subscription options.pp. 14-23
by Amal Khalil, Juergen Dingel
A framework for relating syntactic and semantic model differencesFull-text access may be available. Sign in or learn about subscription options.pp. 24-33
by Shahar Maoz, Jan Oliver Ringert
Engineering tagging languages for DSLsFull-text access may be available. Sign in or learn about subscription options.pp. 34-43
by Timo Greifenberg, Markus Look, Sebastian Roidl, Bernhard Rumpe
Process mining in software systems: Discovering real-life business transactions and process models from distributed systemsFull-text access may be available. Sign in or learn about subscription options.pp. 44-53
by Maikel Leemans, Wil M. P. van der Aalst
State machine antipatterns for UML-RTFull-text access may be available. Sign in or learn about subscription options.pp. 54-63
by Tuhin Kanti Das, Juergen Dingel
Enhancing the communication value of UML models with graphical layersFull-text access may be available. Sign in or learn about subscription options.pp. 64-69
by Yosser El Ahmar, Sebastien Gerard, Cedric Dumoulin, Xavier Le Pallec
A model-based framework for probabilistic simulation of legal policiesFull-text access may be available. Sign in or learn about subscription options.pp. 70-79
by Ghanem Soltana, Nicolas Sannier, Mehrdad Sabetzadeh, Lionel C. Briand
Stream my models: Reactive peer-to-peer distributed models@run.timeFull-text access may be available. Sign in or learn about subscription options.pp. 80-89
by Thomas Hartmann, Assaad Moawad, Francois Fouquet, Gregory Nain, Jacques Klein, Yves Le Traon
Beyond discrete modeling: A continuous and efficient model for IoTFull-text access may be available. Sign in or learn about subscription options.pp. 90-99
by Assaad Moawad, Thomas Hartmann, Francois Fouquet, Gregory Nain, Jacques Klein, Yves Le Traon
Infrastructure as runtime models: Towards Model-Driven resource managementFull-text access may be available. Sign in or learn about subscription options.pp. 100-105
by Filip Krikava, Romain Rouvoy, Lionel Seinturier
Fragmenta: A theory of fragmentation for MDEFull-text access may be available. Sign in or learn about subscription options.pp. 106-115
by Nuno Amalio, Juan de Lara, Esther Guerra
Consistent co-evolution of models and transformationsFull-text access may be available. Sign in or learn about subscription options.pp. 116-125
by Angelika Kusel, Jurgen Etzlstorfer, Elisabeth Kapsammer, Werner Retschitzegger, Wieland Schwinger, Johannes Schonbock
Synthesizing tests for combinatorial coverage of modal scenario specificationsFull-text access may be available. Sign in or learn about subscription options.pp. 126-135
by Valerio Panzica La Manna, Itai Segall, Joel Greenyer
Systematically deriving domain-specific transformation languagesFull-text access may be available. Sign in or learn about subscription options.pp. 136-145
by Katrin Holldobler, Bernhard Rumpe, Ingo Weisemoller
Quick fixing ATL model transformationsFull-text access may be available. Sign in or learn about subscription options.pp. 146-155
by Jesus Sanchez Cuadrado, Esther Guerra, Juan de Lara
A-posteriori typing for Model-Driven EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 156-165
by Juan de Lara, Esther Guerra, Jesus Sanchez Cuadrado
Pattern-based development of Domain-Specific Modelling LanguagesFull-text access may be available. Sign in or learn about subscription options.pp. 166-175
by Ana Pescador, Antonio Garmendia, Esther Guerra, Jesus Sanchez Cuadrado, Juan de Lara
Checking concurrent behavior in UML/OCL modelsFull-text access may be available. Sign in or learn about subscription options.pp. 176-185
by Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, Rolf Drechsler
A Behavioral Coordination Operator Language (BCOoL)Full-text access may be available. Sign in or learn about subscription options.pp. 186-195
by Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoit Combemale, Frederic Mallet
Textual diagram layout language and visualization algorithmFull-text access may be available. Sign in or learn about subscription options.pp. 196-205
by Balazs Gregorics, Tibor Gregorics, Gabor Ferenc Kovacs, Andras Dobreff, Gergely Devai
A controlled experiment with Usability Inspection Techniques applied to Use Case Specifications: comparing the MIT 1 and the UCE techniquesFull-text access may be available. Sign in or learn about subscription options.pp. 206-215
by Natasha M. Costa Valentim, Jacilane Rabelo, Ana Carolina Oran, Tayana Conte, Sabrina Marczak
A unifying approach to connections for multi-level modelingFull-text access may be available. Sign in or learn about subscription options.pp. 216-225
by Colin Atkinson, Ralph Gerbig, Thomas Kühne
A statistical analysis approach to assist model transformation evolutionFull-text access may be available. Sign in or learn about subscription options.pp. 226-235
by Roberto Rodriguez-Echeverria, Fernando Macias
Enriching megamodel management with collection-based operatorsFull-text access may be available. Sign in or learn about subscription options.pp. 236-245
by Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik
SoSPa: A system of Security design Patterns for systematically engineering secure systemsFull-text access may be available. Sign in or learn about subscription options.pp. 246-255
by Phu H. Nguyen, Koen Yskout, Thomas Heyman, Jacques Klein, Riccardo Scandariato, Yves Le Traon
Fully verifying transformation contracts for declarative ATLFull-text access may be available. Sign in or learn about subscription options.pp. 256-265
by Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer
Extracting frame conditions from operation contractsFull-text access may be available. Sign in or learn about subscription options.pp. 266-275
by Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Identification of Simulink model antipattern instances using model clone detectionFull-text access may be available. Sign in or learn about subscription options.pp. 276-285
by Matthew Stephan, James R. Cordy
Concern-oriented interfaces for model-based reuse of APIsFull-text access may be available. Sign in or learn about subscription options.pp. 286-291
by Matthias Schottle, Jorg Kienzle
On the use of UML documentation in software maintenance: Results from a survey in industryFull-text access may be available. Sign in or learn about subscription options.pp. 292-301
by Ana M. Fernandez-Saez, Danilo Caivano, Marcela Genero, Michel R.V. Chaudron
Performance prediction upon toolchain migration in model-based softwareFull-text access may be available. Sign in or learn about subscription options.pp. 302-311
by Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Liang, Krzysztof Czarnecki
Employing classifying terms for testing model transformationsFull-text access may be available. Sign in or learn about subscription options.pp. 312-321
by Martin Gogolla, Antonio Vallecillo, Loli Burgueno, Frank Hilken
Pattern-based debugging of declarative modelsFull-text access may be available. Sign in or learn about subscription options.pp. 322-327
by Vajih Montaghami, Derek Rayside
Integrating goal-oriented and use case-based requirements engineering: The missing linkFull-text access may be available. Sign in or learn about subscription options.pp. 328-337
by Tuong Huan Nguyen, John Grundy, Mohamed Almorsy
Applying product line Use case modeling in an industrial automotive embedded system: Lessons learned and a refined approachFull-text access may be available. Sign in or learn about subscription options.pp. 338-347
by Ines Hajri, Arda Goknil, Lionel C. Briand, Thierry Stephany
Systematic generation of standard compliant tool support of diagrammatic modeling languagesFull-text access may be available. Sign in or learn about subscription options.pp. 348-357
by Alexis Fouche, Florian Noyrit, Sebastien Gerard, Maged Elaasar
Improving reuse by means of asymmetrical model migrations: An application to the Orcc case studyFull-text access may be available. Sign in or learn about subscription options.pp. 358-367
by Paola Vallejo, Mickael Kerboeuf, Kevin J. M. Martin, Jean-Philippe Babau
Toward overcoming accidental complexity in organisational decision-makingFull-text access may be available. Sign in or learn about subscription options.pp. 368-377
by Vinay Kulkarni, Souvik Barat, Tony Clark, Balbir Barn
Modeling user intentions for in-car infotainment systems using Bayesian networksFull-text access may be available. Sign in or learn about subscription options.pp. 378-385
by Daniel Lüddecke, Christoph Seidl, Jens Schneider, Ina Schaefer
Feature modeling of two large-scale industrial software systems: Experiences and lessons learnedFull-text access may be available. Sign in or learn about subscription options.pp. 386-395
by Daniela Lettner, Klaus Eder, Paul Grunbacher, Herbert Prahofer
Formalizing the ISO/IEC/IEEE 29119 Software Testing StandardFull-text access may be available. Sign in or learn about subscription options.pp. 396-405
by Shaukat Ali, Tao Yue
A megamodel for Software Process Line modeling and evolutionFull-text access may be available. Sign in or learn about subscription options.pp. 406-415
by Jocelyn Simmonds, Daniel Perovich, Maria Cecilia Bastarrica, Luis Silvestre
Modular model-based supervisory controller design for wafer logistics in lithography machinesFull-text access may be available. Sign in or learn about subscription options.pp. 416-425
by Bram van der Sanden, Michel Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, Ramon Schiffelers
An automated model based testing approach for platform gamesFull-text access may be available. Sign in or learn about subscription options.pp. 426-435
by Sidra Iftikhar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Wardah Mahmood
Model-driven regulatory compliance: A case study of “Know Your Customer” regulationsFull-text access may be available. Sign in or learn about subscription options.pp. 436-445
by Sagar Sunkle, Deepali Kholkar, Vinay Kulkarni
Identifying duplicate functionality in textual use cases by aligning semantic actions (SoSyM abstract)Full-text access may be available. Sign in or learn about subscription options.pp. 446-446
by Alejandro Rago, Claudia Marcos, J. Andrés Diaz-Pace
Enhanced graph rewriting systems for complex software domains (SoSyM abstract)Full-text access may be available. Sign in or learn about subscription options.pp. 447-447
by Cédric Eichler, Thierry Monteil, Patricia Stolf, Alfredo Grieco, Khalil Drira
A situational method for semi-automated enterprise architecture documentation (SoSyM abstract)Full-text access may be available. Sign in or learn about subscription options.pp. 448-448
by Matthias Farwick, Christian M. Schweda, Ruth Breu, Inge Hanschke
Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract)Full-text access may be available. Sign in or learn about subscription options.pp. 449-449
by Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen
Showing 58 out of 58