ICSE 2012 Workshops
2012 34th International Conference on Software Engineering (ICSE)
Powered by
Conference Publishing Consulting

2012 4th International Workshop on Modeling in Software Engineering (MiSE), June 2–3, 2012, Zurich, Switzerland

MiSE 2012 – Proceedings

Contents - Abstracts - Authors

4th International Workshop on Modeling in Software Engineering (MiSE)

Preface

Title Page
Foreword

Model Analysis
Sat, Jun 2, 11:00 - 12:30

A Rigorous Approach to Availability Modeling
Maximilian Junker and Philipp Neubeck
(TU Munich, Germany)
Extent and Characteristics of Dependencies between Vehicle Functions in Automotive Software Systems
Andreas Vogelsang and Jean-Francois Girard ORCID logo
(TU Munich, Germany; MAN Truck and Bus, Germany)
Verifiable Architectural Interface for Supporting Model-Driven Development with Adequate Abstraction Level
Naoyasu Ubayashi and Yasutaka Kamei
(Kyushu University, Japan)

Domain-Specific Languages
Sat, Jun 2, 14:00 - 15:10 (Chair: Jo Atlee)

Creating Visual Domain-Specific Modeling Languages from End-User Demonstration
Hyun Cho, Jeff Gray, and Eugene Syriani
(University of Alabama, USA)
Community-Driven Language Development
Javier Luis Cánovas Izquierdo and Jordi Cabot
(École des Mines de Nantes, France; INRIA, France; LINA, France)

Poster Session
Sat, Jun 2, 15:10 - 17:30 (Chair: Jo Atlee)

Avestan: A Declarative Modeling Language Based on SMT-LIB
Amirhossein Vakili and Nancy A. Day
(University of Waterloo, Canada)
Modeling Social Media Collaborative Work
Bazil Stanley Solomon, David Duce, Rachel Harrison, and Kenneth Boness
(Oxford Brookes University, UK; University of Reading, UK)
MODACLOUDS: A Model-Driven Approach for the Design and Execution of Applications on Multiple Clouds
Danilo Ardagna, Elisabetta Di Nitto, Giuliano Casale, Dana Petcu, Parastoo Mohagheghi, Sébastien Mosser, Peter Matthews, Anke Gericke, Cyril Ballagny, Francesco D'Andria, Cosmin-Septimiu Nechifor, and Craig Sheridan
(Politecnico di Milano, Italy; Imperial College London, UK; Institute e-Austria Timisoara, Romania; SINTEF, Norway; CA, Spain; BOC, Austria; SOFTEAM, France; ATOS, Spain; SIEMENS, Romania; Flexiant, UK)

Model Transformations
Sun, Jun 3, 11:00 - 12:30

A Feature Model for Model-to-Text Transformation Languages
Louis M. Rose, Nicholas Matragkas, Dimitrios S. Kolovos, and Richard F. Paige
(University of York, UK)
The Semantics of Partial Model Transformations
Michalis Famelis, Rick Salay, and Marsha Chechik ORCID logo
(University of Toronto, Canada)
A Categorical Model of Model Merging and Weaving
Jonathan Y. Marchand, Benoit Combemale ORCID logo, and Benoit Baudry
(ENS Cachan, France; University of Rennes 1, France; IRISA, France; INRIA, France)

Model Evolution, Adaptability, and Maintainability
Sun, Jun 3, 14:00 - 15:30

Using UniMod for Maintenance Tasks: An Experimental Assessment in the Context of Model Driven Development
Filippo Ricca ORCID logo, Maurizio Leotta, Gianna Reggio, Alessandro Tiso, Giovanna Guerrini, and Marco Torchiano ORCID logo
(University of Genova, Italy; Politecnico di Torino, Italy)
A Feature-Based Approach to System Deployment and Adaptation
Sabine Moisan, Jean-Paul Rigault, and Mathieu Acher
(INRIA Sophia Antipolis Méditerranée, France; University of Namur, Belgium)
Business Process and Software Architecture Model Co-evolution Patterns
Pooyan Jamshidi and Claus Pahl
(Lero, Ireland; Dublin City University, Ireland)

proc time: 0.01