Modeling Methodology

Track Coordinators: Andreas Tolk, MITRE Corporation & Claudia Szabo, University of Adelaide

The Modeling Methodology track is interested in methodological advances with respect to the theory and practice of modeling and simulation. These may include approaches to model development, data capture, model building, verification, validation, experimentation and optimization. Contributions to the advancement of the technology and software used to support modeling are also welcome as are contributions featuring guiding or unifying frameworks, the development and application of meaningful formal methods, and lessons learned. All modeling paradigms are accepted and supported. If you have an idea for a special session or a panel discussion of particular interest to the WSC participants, please send an email with a short description and references to the work of relevant experts to the track chairs.

Topics of interest include, but are not limited to, the following:

• Modeling paradigms
• Formal modeling languages
• Modeling approaches for real-time systems
• Technological advances in modeling software
• Spatial and temporal modeling
• Multilevel modeling
• Multiparadigm modeling
• Multiformalism modeling
• Model reuse, repositories and retrieval
• Distributed simulation