MiSE 2012 – Proceedings

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

Preface

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

A Rigorous Approach to Availability Modeling
Maximilian Junker and Philipp Neubeck
(TU Munich, Germany)


@InProceedings{MiSE12p1, author = {Maximilian Junker and Philipp Neubeck}, title = {A Rigorous Approach to Availability Modeling}, booktitle = {Proc.\ MiSE}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2012}, }

Extent and Characteristics of Dependencies between Vehicle Functions in Automotive Software Systems
Andreas Vogelsang and Jean-Francois Girard
(TU Munich, Germany; MAN Truck and Bus, Germany)


@InProceedings{MiSE12p8, author = {Andreas Vogelsang and Jean-Francois Girard}, title = {Extent and Characteristics of Dependencies between Vehicle Functions in Automotive Software Systems}, booktitle = {Proc.\ MiSE}, publisher = {IEEE}, pages = {8-7}, doi = {}, year = {2012}, }

Verifiable Architectural Interface for Supporting Model-Driven Development with Adequate Abstraction Level
Naoyasu Ubayashi and Yasutaka Kamei
(Kyushu University, Japan)


@InProceedings{MiSE12p15, author = {Naoyasu Ubayashi and Yasutaka Kamei}, title = {Verifiable Architectural Interface for Supporting Model-Driven Development with Adequate Abstraction Level}, booktitle = {Proc.\ MiSE}, publisher = {IEEE}, pages = {15-14}, doi = {}, year = {2012}, }

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)


@InProceedings{MiSE12p22, author = {Hyun Cho and Jeff Gray and Eugene Syriani}, title = {Creating Visual Domain-Specific Modeling Languages from End-User Demonstration}, booktitle = {Proc.\ MiSE}, publisher = {IEEE}, pages = {22-21}, doi = {}, year = {2012}, }

Community-Driven Language Development
Javier Luis Cánovas Izquierdo and Jordi Cabot
(École des Mines de Nantes, France; INRIA, France; LINA, France)


@InProceedings{MiSE12p29, author = {Javier Luis Cánovas Izquierdo and Jordi Cabot}, title = {Community-Driven Language Development}, booktitle = {Proc.\ MiSE}, publisher = {IEEE}, pages = {29-28}, doi = {}, year = {2012}, }

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)


@InProceedings{MiSE12p36, author = {Amirhossein Vakili and Nancy A. Day}, title = {Avestan: A Declarative Modeling Language Based on SMT-LIB}, booktitle = {Proc.\ MiSE}, publisher = {IEEE}, pages = {36-35}, doi = {}, year = {2012}, }

Modeling Social Media Collaborative Work
Bazil Stanley Solomon, David Duce, Rachel Harrison, and Kenneth Boness
(Oxford Brookes University, UK; University of Reading, UK)


@InProceedings{MiSE12p43, author = {Bazil Stanley Solomon and David Duce and Rachel Harrison and Kenneth Boness}, title = {Modeling Social Media Collaborative Work}, booktitle = {Proc.\ MiSE}, publisher = {IEEE}, pages = {43-42}, doi = {}, year = {2012}, }

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)


@InProceedings{MiSE12p50, author = {Danilo Ardagna and Elisabetta Di Nitto and Giuliano Casale and Dana Petcu and Parastoo Mohagheghi and Sébastien Mosser and Peter Matthews and Anke Gericke and Cyril Ballagny and Francesco D'Andria and Cosmin-Septimiu Nechifor and Craig Sheridan}, title = {MODACLOUDS: A Model-Driven Approach for the Design and Execution of Applications on Multiple Clouds}, booktitle = {Proc.\ MiSE}, publisher = {IEEE}, pages = {50-49}, doi = {}, year = {2012}, }

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)


@InProceedings{MiSE12p57, author = {Louis M. Rose and Nicholas Matragkas and Dimitrios S. Kolovos and Richard F. Paige}, title = {A Feature Model for Model-to-Text Transformation Languages}, booktitle = {Proc.\ MiSE}, publisher = {IEEE}, pages = {57-56}, doi = {}, year = {2012}, }

The Semantics of Partial Model Transformations
Michalis Famelis, Rick Salay, and Marsha Chechik
(University of Toronto, Canada)


@InProceedings{MiSE12p64, author = {Michalis Famelis and Rick Salay and Marsha Chechik}, title = {The Semantics of Partial Model Transformations}, booktitle = {Proc.\ MiSE}, publisher = {IEEE}, pages = {64-63}, doi = {}, year = {2012}, }

A Categorical Model of Model Merging and Weaving
Jonathan Y. Marchand, Benoit Combemale, and Benoit Baudry
(ENS Cachan, France; University of Rennes 1, France; IRISA, France; INRIA, France)


@InProceedings{MiSE12p71, author = {Jonathan Y. Marchand and Benoit Combemale and Benoit Baudry}, title = {A Categorical Model of Model Merging and Weaving}, booktitle = {Proc.\ MiSE}, publisher = {IEEE}, pages = {71-70}, doi = {}, year = {2012}, }

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, Maurizio Leotta, Gianna Reggio, Alessandro Tiso, Giovanna Guerrini, and Marco Torchiano
(University of Genova, Italy; Politecnico di Torino, Italy)


@InProceedings{MiSE12p78, author = {Filippo Ricca and Maurizio Leotta and Gianna Reggio and Alessandro Tiso and Giovanna Guerrini and Marco Torchiano}, title = {Using UniMod for Maintenance Tasks: An Experimental Assessment in the Context of Model Driven Development}, booktitle = {Proc.\ MiSE}, publisher = {IEEE}, pages = {78-77}, doi = {}, year = {2012}, }

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)


@InProceedings{MiSE12p85, author = {Sabine Moisan and Jean-Paul Rigault and Mathieu Acher}, title = {A Feature-Based Approach to System Deployment and Adaptation}, booktitle = {Proc.\ MiSE}, publisher = {IEEE}, pages = {85-84}, doi = {}, year = {2012}, }

Business Process and Software Architecture Model Co-evolution Patterns
Pooyan Jamshidi and Claus Pahl
(Lero, Ireland; Dublin City University, Ireland)


@InProceedings{MiSE12p92, author = {Pooyan Jamshidi and Claus Pahl}, title = {Business Process and Software Architecture Model Co-evolution Patterns}, booktitle = {Proc.\ MiSE}, publisher = {IEEE}, pages = {92-91}, doi = {}, year = {2012}, }

proc time: 0.02