Doctoral Symposium

Monday, October 4, 2010 in Meeting Room 5

Goals

The goal of the Doctoral Symposium is to provide a forum in which PhD students can present their work in progress and to foster the role of MODELS as a premier venue for research in model-driven engineering. The symposium aims to support students by providing independent and constructive feedback about their already completed and, more importantly, planned research work.

Scope

The technical scope of the symposium covers all topics of MODELS 2010.

Program

09.00 - 09.30	Welcome and introduction
09.30 - 10.00	A Transformational Approach for Component-Based Distributed Architectures	Fabian Gilson
10.00 - 10.30	Applying Architecture Modeling Methodology to the Naval Gunship Software Safety Domain	Joey Rivera
10.30 - 11.00	Morning break
11.00 - 11.30	Modeling Complex Situations in Enterprise Architecture	Hyeonsook Kim
11.30 - 12.00	A Model Driven Approach to Test Evolving Business Process based Systems	Qurat-ul-ann Farooq
12.00 - 12.30	Reference Modeling for Inter-organizational Systems	Dieter Mayrhofer
12.30 - 14.00	Lunch
14.00 - 14.30	Towards the Verication of State Machine-to-Java Code Generators for Semantic Conformance	Lukman Ab Rahim
14.30 - 15.00	Reuse in Modelling Method Development based on Meta-modelling	Alexander Bergmayr
15.00 - 15.30	Scenario-based Analysis of UML Design Class Models	Lijun Yu
15.30 - 16.00	Afternoon break
16.00 - 16.30	A Model-based Framework for Software Performance Feedback	Catia Trubiani
16.30 - 17.00	Rearrange: Rational Model Transformations for Performance Adaptation	Mauro Luigi Drago
17.00 - 17.30	Feedback round and closing remark

Accepted Papers & Preliminary Proceedings

The preliminary proceedings is now available and contains the 10 papers accepted for presentation in the symposium.

Lukman Ab Rahim. Towards the Verication of State Machine-to-Java Code Generators for Semantic Conformance
Alexander Bergmayr. Reuse in Modelling Method Development based on Meta-modelling
Mauro Luigi Drago. Rearrange: Rational Model Transformations for Performance Adaptation
Qurat-ul-ann Farooq. A Model Driven Approach to Test Evolving Business Process based Systems
Fabian Gilson. A Transformational Approach for Component-Based Distributed Architectures
Hyeonsook Kim. Modeling Complex Situations in Enterprise Architecture
Dieter Mayrhofer. Reference Modeling for Inter-organizational Systems
Joey Rivera. Applying Architecture Modeling Methodology to the Naval Gunship Software Safety Domain
Catia Trubiani. A Model-based Framework for Software Performance Feedback
Lijun Yu. Scenario-based Analysis of UML Design Class ModelsScenario-based

Program Committee

* Breu, Ruth (Universit*t Innsbruck, Austria)

* Cheng, Betty (Michigan State University, USA)

* Dingel, Jürgen (Queens University, Canada)

* Elvesæter, Brian (SINTEF, Norway)

* Engels, Gregor (Universität Paderborn, Germany)

* France, Robert (Colorado State University, USA)

* Gray, Jeff (University of Alabama, USA)

* Kappel, Gerti (TU Wien, Austria)

* Karsai, Gabor (Vanderbilt University, USA)

* Katoen, Jost-Pieter (RWTH Aachen, Germany)

* Krüger, Ingolf (University of Californa at San Diego, USA)

* Küster, Jochen (IBM Research Zürich, Switzerland)

* Mosterman, Peter (The MathWorks, USA)

* Porres, Ivan (Åbo Akademi, Finland)

* Pretschner, Alexander (Fraunhofer IESE, Germany)

* Rumpe, Bernhard (RWTH Aachen, Germany)

* Schätz, Bernhard (fortiss GmbH, Germany)

* Sprinkle, Jonathan (University of Arizona, USA)

* Steimann, Friedrich (Fernuni Hagen, Germany)

* Stølen, Ketil (SINTEF, Norway)

* Wagner, Stefan (TU München, Germany)

Organizers

* Schätz, Bernhard (fortiss Gmbh, Germany)

* Elvesæter, Brian (SINTEF, Norway)