Preliminary Workshop Program
Tuesday
27th March, 2012
10:30-12:00 Session I – System Modeling
Chair: Andrea D'Ambrogio, University of Roma Tor Vergata, Italy
- Simulation of an Electrical Network and Control System in
SysML
Matthew Hause and Fabrizio Pugnetti
- SysML to Discrete-event Simulation to Analyze Electronic
Assembly Systems
Ola Batarseh and Leon McGinnis (Slides)
- Automation of SysML Activity Diagram Simulation with
Model-Driven Engineering Approach
Damien Foures, Vincent Albert, Jean-Claude Pascal and Alexandre Nketsa (Slides)
- A Model-Based Method for System Reliability Analysis
Alfredo Garro and Andrea Tundis (Slides)
13:30-15:00 Session II – Model Transformations 1
Chair: Mamadou Traore, Université Blaise Pascal, Clermont-Ferrand, France
- Automated Performance Analysis of Business Processes
Paolo Bocciarelli and Andrea D'Ambrogio (Slides)
- Model Transformation from BPMN to DEVS in a Prototype
Implementation of the MDD4MS Framework
Deniz Cetinkaya, Alexander Verbraeck and Mamadou Seck (Slides)
- Validation of Service Oriented Computing DEVS Simulation
Models
Hessam Sarjoughian, Mohammed Muqsith, Dzahi Huang and Stephen Yau (Slides)
- Generating Simulation Models from UML - A FireSat Example
Johannes Gross and Stephan Rudolph
15:30-17:00 Session III – Model Transformations 2
Chair: Hessam Sarjoughian, Arizona State University, USA
- An approach to translate legacy 'C' code to Simulink model
using XML
Chethan Kotekar
- Calibration of Deployment Simulation Models - A
Multi-Paradigm Modelling Approach
Joachim Denil, Hans Vangheluwe, Paul De Meulenaere and Serge Demeyer (Slides)
- BOM2UML: Integrating BOM Specifications into UML-based
Development Environments
Andrea D'Ambrogio, Daniele Gianni and Marco Grasso (Slides)
- Model-Based Virtual In-the-Loop-Test of Autonomous Systems:
The FALTER Case
Andreas Bayha, Franziska Gruneis and Bernhard Schatz (Slides)
Wednesday 28th March, 2012
08:30-10:30 Session IV – Languages
Chair: Greg Zacharewicz, University of Bordeaux, France
- Modular Mathematical Modelling of Biological Systems
Mandeep Gill, Steve McKeever and David Gavaghan (Slides)
- PRoModel: A Model-Driven Software Environment that
Facilitates and Expedites the Development of Systems that Handle
Uncertainty
Rosa Atzimba Lòpez-Landa and Julieta Noguez
- ModelicaML Value Bindings for Automated Model Composition
Wladimir Schamai, Peter Fritzson, Christiaan J.J. Paredis and Philipp Helle (Slides)
- The DEVS-Driven Modeling Language: Syntax and Semantics
Definition by Meta-Modeling and Graph Transformation
Ufuoma Bright Ighoroje, Oumar Maiga and Mamadou Kaba Traoré
(Slides)
