Compositional modeling: finding the right model for the job
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Language, representation and contexts
Journal of Information Processing
Advances in the Dempster-Shafer theory of evidence
Advances in the Dempster-Shafer theory of evidence
The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
Principles of simulation model validation, verification, and testing
Transactions of the Society for Computer Simulation International
Verification, validation, and accreditation
Proceedings of the 30th conference on Winter simulation
A methodology for certification of modeling and simulation applications
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Simulation Modeling and Analysis
Simulation Modeling and Analysis
Building valid models: how to build valid and credible simulation models
Proceedings of the 33nd conference on Winter simulation
Proceedings of the 33nd conference on Winter simulation
Design Repositories: Engineering Design's New Knowledge Base
IEEE Intelligent Systems
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
A case study of model context for simulation composability and reusability
WSC '05 Proceedings of the 37th conference on Winter simulation
The role of composition and aggregation in modeling macromolecular regulatory networks
Proceedings of the 38th conference on Winter simulation
Fusing and composing macromolecular regulatory network models
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Model Composition for Macromolecular Regulatory Networks
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Model reuse versus model development: effects on credibility and learning
Winter Simulation Conference
| Hi-index | 0.02 |
We present a conceptual framework for validating reusable behavioral models. The setting for this work is a modern product development environment in which design is performed by teams of specialists that collaborate through model reuse. The various modes of model reuse separate validation-relevant knowledge from the tasks for which it is needed. To enable efficient and effective transfer of this knowledge to the tasks for which it is needed, we propose a framework for validating reusable behavioral models based on formal representations of validation-relevant knowledge. The framework defines the abstract knowledge representation as well as an abstract process for applying this knowledge to validate reusable behavioral models. Although this framework is not a complete solution to the validation problem in design, it forms a foundation for understanding and solving the problem and represents a starting point for future investigation.