ECAI 2008 Logo

ECAI 2008 Workshop on Model-Based Systems

July 21 - 22, Patras, Greece

Affiliated with the 18th European Conference on Artificial Intelligence (ECAI 2008)



The Model-Based Systems (MBS) paradigm refers to a methodology that allows for description of various kinds of systems for various tasks in a uniform way. For example, MBS has been used to specify monitoring tasks in medical systems, for planning in cognitive systems, and control and diagnosis in hardware and software systems. Consequently, research in MBS is spread across various application domains and different tasks.

As lots of scientific workshops are application specific or system and task oriented, it is difficult to exchange experiences and novel concepts across the various application domains and tasks. In recent years MBS technology has increasingly contributed to mastering the inherent and ever increasing complexity of software and software-enabled systems. Thus it is also an aim of the workshop to cross-fertilize the established concepts in model-based software engineering and MBS technology to further leverage model-oriented techniques in the software engineering domain. MBS 2008 workshop will thus attract researchers and practitioners dealing with modeling for specific reasoning tasks, knowledge representation, qualitative reasoning, and related areas such as modelbased testing and fault detection and localization.

Accepted Papers

Title Authors Affiliation
On computing minimal conflicts for ontology debugging Kostyantyn Shchekotykhin, Gerhard Friedrich and Dietmar Jannach University Klagenfurt, Dortmund University of Technology
Model-based Testing using Quantified CSPs: A Map Martin Sachenbacher and Stefan Schwoon Technische Universitaet Muenchen,
The Concept of Entropy by means of Generalized Orders of Magnitude Qualitative Spaces Llorenc Rosello, Francesc Prats, Monica Sanchez and Nuria Agell Polytechnical University of Catalonia, Barcelona
Comparing GDE and Conflict-based Diagnosis Ildiko Flesch and Peter Lucas Radboud University Nijmegen
Automated Learning of Communication Models for Robot Control Software Alexander Kleiner, Gerald Steinbauer and Franz Wotawa Universitaet Freiburg, Graz University of Technology
Supporting Conceptual Knowledge Capture Through Automatic Modelling Jochem Liem, Hylke Buisman and Bert Bredeweg University of Amsterdam
Relaxation of Temporal Observations in Model-Based Diagnosis of Discrete-Event Systems Gianfranco Lamperti, Federica Vivenzi and Marina Zanella Universita di Bresci