Premium
A process oriented simulation model specification and documentation language
Author(s) -
Frankowski Elaine N.,
Franta W. R.
Publication year - 1980
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380100905
Subject(s) - computer science , specification language , programming language , axiom , language of temporal ordering specification , syntax , semantics (computer science) , documentation , formal specification , synchronization (alternating current) , process (computing) , programming language specification , simulation language , system requirements specification , software engineering , simulation , artificial intelligence , computer network , channel (broadcasting) , inductive programming , geometry , mathematics , programming domain , programming paradigm
We present a language for specifying and documenting discrete event simulation models, designed to facilitate communication during model design, implementation and maintenance. The systems from which models are developed are viewed as collections of communicating elements. Each element is specified separately in a module consisting of attributes, axioms and a scenario. The model's specification consists of each model element's specification and some systemwide attributes and axioms. Synchronization among model elements (model dynamics) is specified within the model elements rather than globally. Each language control structure has a monitor associated with it. Appropriate changes are made in the model's state in response to a monitor's sensing an attribute change. The language contains a library of specifications for common simulation model entities such as the priority queue. The syntax and semantics of the language are presented through examples. Examples of a library specification and a model specification are included.