Model specification with respect to analysis
Abstract
Much potential exists for reducing the costs while also improving the quality of simulation models through the use of Model Development Systems (MDSs). We describe a specification language for discrete event models to be used in a MDS.
Our approach is to introduce an intermediate form between a conceptual model (the model as it exists in the mind of the modeler) and an implementation of that model in some programming language.
The model specification language described here is intended to be used in conjunction with a model specification generator (a program to assist a modeler or modeling team with the construction of model specifications).
A simple example is presented using this specification language. The example is used to illustrate some types of model analyses and documentation.
Index Terms
- Model specification with respect to analysis
Recommendations
An approach for activity-based DEVS model specification
TMS-DEVS '16: Proceedings of the Symposium on Theory of Modeling & SimulationCreation of DEVS models has been advanced through Model Driven Architecture and its frameworks. The overarching role of the frameworks has been to help develop model specifications in a disciplined fashion. Frameworks can provide intermediary layers ...
Formal specification of the OpenMP memory model
IWOMP'05/IWOMP'06: Proceedings of the 2005 and 2006 international conference on OpenMP shared memory parallel programmingOpenMP [1] is an important API for shared memory programming, combining shared memory's potential for performance with a simple programming interface. Unfortunately, OpenMP lacks a critical tool for demonstrating whether programs are correct: a formal ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Sponsors
- IIE: Institute of Industrial Engineers
- IEEE-SMCS: Systems, Man & Cybernetics Society
- NBS: National Bureau of Standards
- TIMS/CS
- ORSA: Operations Research Society of America
- SCS: Society for Computer Simulation
- SIGSIM: ACM Special Interest Group on Simulation and Modeling
- IEEE-CS: Computer Society
Publisher
IEEE Press
Publication History
Published: 12 December 1983
Check for updates
Qualifiers
- Article
Acceptance Rates
Overall Acceptance Rate 3,413 of 5,075 submissions, 67%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 102Total Downloads
- Downloads (Last 12 months)31
- Downloads (Last 6 weeks)10
Reflects downloads up to 10 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in