https://www.dagstuhl.de/04041
January 18 – 23 , 2004, Dagstuhl Seminar 04041
Component-Based Modeling and Simulation
Organizers
Fernando Barros (University of Coimbra, PT)
Axel Lehmann (Universität der Bundeswehr – München, DE)
Peter Liggesmeyer (TU Kaiserslautern, DE)
Alexander Verbraeck (TU Delft, NL)
Bernard P. Zeigler (University of Arizona – Tucson, US)
For support, please contact
Documents
Dagstuhl Seminar Proceedings
List of Participants
Dagstuhl's Impact: Documents available
Motivation
With respect with a permanent decreasing innovation cycles of increasingly complex distributed systems, and regarding their efficient operation and maintenance, application of quantitative models and simulations is of growing importance
- for systems design and development,
- for configuration planning, and operation and maintenance management and
- for training and education.
Effective model and simulation applications require adaptability and reusability of models and submodels. Therefore, conceptual and methodological approaches for modular, component-based model construction (as opposed to complex monolithic models), and adaptation of model components – based on solid theoretical foundations – is urgently required. The lack of system theoretic foundations for component-based modeling and simulation, and missing international standards, as well, currently results in the implementation of proprietary models, model „components“ and „component“ interfaces, allowing only limited interoperability and reusability of those modules.
Regarding the above mentioned trends and requirements major topics of this Dagstuhl-Seminar will focus on:
- System theoretic definitions and foundations for model-components (especially regarding differences to definitions and specifications of software-components),
- Specification of model components (and interfaces),
- Hierarchical, component-based model development regarding cost-benefit, quality, performance, reliability, and reusability aspects,
- Architectures for component-based model and simulation applications,
- Verification and validation methods for model components,
- Synergies for the application of software-component-technologies in their application for building model-components.