The interest in EOO languages and tools is rapidly growing in the industry because of their increasing importance in modeling, simulation, and specification of complex systems. There exist several different EOO language communities today that grew out of different application domains (multi-body system dynamics, electronic circuit simulation, chemical process engineering). The members of these disparate communities rarely talk to each other in spite of the similarities of their modeling and simulation needs.

The EOOLT workshop series aims at bringing these different communities together to discuss their common needs and goals as well as the algorithms and tools that best support them.

There was a good response to the Call for Papers. Ten papers were in the end accepted for full presentations whereas two work-in-progress papers were accepted for shorter presentations. One additional presentation was invited by the workshop organizers. All papers were subject to rather detailed reviewing by the program committee; on the average, four reviews were received per manuscript submitted.

On behalf of the program committee, the Program Chairs would like to thank all those who submitted papers to EOOLT’2011. Special thanks go to the program committee members for reviewing the papers on a strict time schedule.

Zurich, August 2011

François E. Cellier
David Broman
Peter Fritzson
Edward A. Lee

Contents

Langueages and Tools for Model-Based Design

056:001
Mosterman, Pieter J. ; Zander, Justyna
AdvancingModel-Based Design by Modeling Approximations of Computational Semantics
[Abstract and Fulltext]

056:002
Ji, Hongchao ; Lenord, Oliver ; Schramm, Dieter
A Model Driven Approach for Requirements Engineering of Industrial Automation Systems
[Abstract and Fulltext]

056:003
Chen, Wuzhu ; Huhn, Michaela ; Fritzson, Peter
A Generic FMU Interface for Modelica
[Abstract and Fulltext]

Modeling Language Design

056:004
Ito, Hisahiro ; Ohata, Akira ; Butts, Ken ; Gerhard, Jürgen ; Abbaszadeh, Masoud ; Linder, David ; Postman, Erik ; Shmoylova, Elena
Equation-Based Model Data Structure for High Level Physical Modelling, Model Simplification and Modelica-Export
[Abstract and Fulltext]

056:005
Soule, Nate ; Bestavros, Azer ; Kfoury, Assaf ; Lapets, Andrei
Safe Compositional Equation-based Modeling of Constrained Flow Networks
[Abstract and Fulltext]

056:006
Pepper P. ; Mehlhase, A. ; Höger, Ch. ; Scholz, L.
A Compositional Semantics for Modelica-style Variable-structureModeling
[Abstract and Fulltext]

Simulation and Model Caompilation

056:007
Röbenack, Klaus ; Winkler, Jan ; Wang, Siqian
LIEDRIVERS— A Toolbox for the Efficient Computation of Lie Derivatives Based on the Object-Oriented Algorithmic Differentiation Package ADOL-C
[Abstract and Fulltext]

056:008
Sjölund, Martin ; Fritzson, Peter
Debugging Symbolic Transformations in Equation Systems
[Abstract and Fulltext]

056:009
Pohlmann, Uwe ; Tichy, Matthias
Modelica code generation from ModelicaML state machines extended by asynchronous communication
[Abstract and Fulltext]

Real-Time Oriented Modeling Languages and Tools

056:010
Provan, Gregory
Using Equation-Based Languages for Generating Embedded Code for Smart Building Applications
[Abstract and Fulltext]

056:011
Myers, Toby ; Schamai, Wladimir ; Fritzson, Peter
Comodeling Revisited: Execution of Behavior Trees in Modelica
[Abstract and Fulltext]

056:012
Bonilla, Javier ; Yebra, Luis J. ; Dormido, Sebastián
Exploiting OpenMP in the Initial Section of Modelica Models (Work in Progress)
[Abstract and Fulltext]

056:013
Höger, Christoph
Separate Compilation of Causalized Equations -Work in Progress
[Abstract and Fulltext]