Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
Pascal user manual and report; 3rd ed.
Pascal user manual and report; 3rd ed.
Simulation modeling with event graphs
Communications of the ACM
The time and state relationships in simulation modeling
Communications of the ACM - Special issue on simulation modeling and statistical computing
Theory of Modelling and Simulation
Theory of Modelling and Simulation
Simulation Modeling and Analysis
Simulation Modeling and Analysis
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
The development of the SIMULA languages
ACM SIGPLAN Notices - Special issue: History of programming languages conference
Simulation model management: Resolving the technological gaps
WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 1
Model specification and analysis for discrete event simulation
Model specification and analysis for discrete event simulation
Human Problem Solving
Introduction to the use of activity cycles as a basis for system's decomposition and simulation
ACM SIGSIM Simulation Digest
The hierarchical simulation language HSL: a versatile tool for process-oriented simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
ACM Transactions on Modeling and Computer Simulation (TOMACS)
ACM SIGSIM Simulation Digest
The simulation model development environment: an overview
WSC '92 Proceedings of the 24th conference on Winter simulation
Discrete event simulation modeling: directions for the '90s
WSC '92 Proceedings of the 24th conference on Winter simulation
Building correct simulation models is difficult
WSC '92 Proceedings of the 24th conference on Winter simulation
A logic-based foundation of discrete event modeling and simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Model diagnosis using the condition specification: from conceptualization to implementation
WSC '94 Proceedings of the 26th conference on Winter simulation
Extending temporal logic to support high-level simulations
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Computational issues for accessibility in discrete event simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Simulation model decomposition by factor analysis
WSC '85 Proceedings of the 17th conference on Winter simulation
Redundancy in model representation: a blessing or a curse?
WSC '96 Proceedings of the 28th conference on Winter simulation
The Visual Simulation Environment technology transfer
Proceedings of the 29th conference on Winter simulation
An architectural design for digital objects
Proceedings of the 30th conference on Winter simulation
The methodology roles in the realization of a model development environment
WSC '88 Proceedings of the 20th conference on Winter simulation
Automatic programming assistant for network simulation models
WSC '88 Proceedings of the 20th conference on Winter simulation
State event in combined simulation
WSC '88 Proceedings of the 20th conference on Winter simulation
Language assessment criteria for discrete simulation
WSC '86 Proceedings of the 18th conference on Winter simulation
SAM—a computer aided design tool for specifying and analyzing modular, heirarchical systems
WSC '86 Proceedings of the 18th conference on Winter simulation
Simulation support: prototyping the automation-based paradigm
WSC '87 Proceedings of the 19th conference on Winter simulation
Dependencies and graphical interfaces in object-oriented simulation languages
WSC '87 Proceedings of the 19th conference on Winter simulation
Using graphs to translate between world views
WSC '87 Proceedings of the 19th conference on Winter simulation
Exploring the forms of model diagnosis in a simulation support environment
WSC '87 Proceedings of the 19th conference on Winter simulation
Observations on the complexity of composable simulation
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Guidelines for successful simluation studies (tutorial session)
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Model generation issues in a simulation support environment
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Redundancy in model specifications for discrete event simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
On simulation model complexity
Proceedings of the 32nd conference on Winter simulation
DEVS Formalism: A Framework for Hierarchical Model Development
IEEE Transactions on Software Engineering
Characterizations and relationships of world views
WSC '04 Proceedings of the 36th conference on Winter simulation
On the Generality of Event-Graph Models
INFORMS Journal on Computing
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
CS-XML and model understanding
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
CS-XML and model understanding
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Modeling paradigms for discrete event simulation
Operations Research Letters
Model theoretic implications for agent languages in support of interoperability and composability
Proceedings of the Winter Simulation Conference
Feature logic for web resources customization: Design and implementation
International Journal of Knowledge-based and Intelligent Engineering Systems
Hi-index | 48.22 |
Effective development environments for discrete event simulation models should reduce development costs and improve model performance. A model specification language used in a model development environment is defined. This approach is intended to reduce modeling costs by interposing an intermediate form between a conceptual model (the model as it exists in the mind of the modeler) and an executable representation of that model. As a model specification is constructed, the incomplete specification can be analyzed to detect some types of errors and to provide some types of model documentation. The primitives used in this specification language, called a condition specification (CS), are carefully defined. A specification for the classical patrolling repairman model is used to illustrate this language. Some possible diagnostics and some untestable model specification properties, based on such a representation, are summarized.