{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T19:23:49Z","timestamp":1763580229585},"reference-count":23,"publisher":"Wiley","issue":"9","license":[{"start":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T00:00:00Z","timestamp":1161907200000},"content-version":"vor","delay-in-days":9552,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1980,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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.<\/jats:p>","DOI":"10.1002\/spe.4380100905","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T19:54:27Z","timestamp":1163793267000},"page":"721-742","source":"Crossref","is-referenced-by-count":7,"title":["A process oriented simulation model specification and documentation language"],"prefix":"10.1002","volume":"10","author":[{"given":"Elaine N.","family":"Frankowski","sequence":"first","affiliation":[]},{"given":"W. R.","family":"Franta","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,27]]},"reference":[{"key":"e_1_2_1_2_2","unstructured":"O.Roubine The Design and Use of Specification Languages unpublished draft Stanford Research Institute 1976."},{"key":"e_1_2_1_3_2","unstructured":"R. E.Nance The Feasibility of and Methodology for Developing Documentation Standards for Simulation Models Technical Report Virginia Polytechnic Institute and State University 1977."},{"key":"e_1_2_1_4_2","unstructured":"SIMULA Version I Reference Manual Revision F Control Data Corp. 1975."},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/942572.807045"},{"key":"e_1_2_1_6_2","volume-title":"The Process View of Simulation","author":"Franta W. R.","year":"1977"},{"key":"e_1_2_1_7_2","unstructured":"E. N.FrankowskiandW. R.Franta A Process Oriented Simulation Model Specification and Documentation Language Technical Report 79\u201314 University of Minnesota 1979."},{"key":"e_1_2_1_8_2","unstructured":"L.RobinsonandO.Roubine Special\u2014A Specification and Assertion Language SRI Technical Report CSL\u201446 1977."},{"key":"e_1_2_1_9_2","unstructured":"R. H.Campbell Path Expressions: A New Technique for Specifying Process Synchronization Ph.D. Thesis University of Newcastle\u2010upon\u2010Tyne 1976."},{"key":"e_1_2_1_10_2","unstructured":"B. J.Cooley \u2018Documenting simulation studies for management\u2019 Proceedings of the 1977 Winter Simulation Conference(1977)."},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/362759.362764"},{"key":"e_1_2_1_12_2","volume-title":"Concepts and Methods in Discrete Event Digital Simulation","author":"Fishman G. S.","year":"1973"},{"key":"e_1_2_1_13_2","doi-asserted-by":"crossref","unstructured":"S. I.Gass \u2018Computer model documentation\u2019 Proceedings of the 1978 Winter Simulation Conference(1978).","DOI":"10.6028\/NBS.SP.500-39"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/361268.361277"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233833"},{"key":"e_1_2_1_16_2","unstructured":"H.Kleine Software Design and Documentation Language JPL Publication 77\u201324 undated."},{"key":"e_1_2_1_17_2","unstructured":"B. H.LiskovandV.Berzins \u2018An appraisal of program specifications\u2019 Proceedings of the Conference on Research Directions in Software Technology(Ed. P. Wegner) (to appear)."},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/359763.359789"},{"key":"e_1_2_1_19_2","unstructured":"H.Lipinski R.AmaraandK.Spangler \u2018Communication needs in computer modelling\u2019 Proceedings of the 1978 Winter Simulation Conference(1978)."},{"key":"e_1_2_1_20_2","unstructured":"L.Robinson \u2018Specification and proof in problems of concurrency\u2019 Proceedings of a Meeting on 20 Years of Computer SciencePisa (1975)."},{"key":"e_1_2_1_21_2","volume-title":"Formal Specifications for Solutions to Synchronization Problems","author":"Robinson L."},{"key":"e_1_2_1_22_2","unstructured":"L.Robinson R. C.HoltandZ.Manna \u2018Large systems can be specified\u2019 (to appear)."},{"key":"e_1_2_1_23_2","unstructured":"V.Sibley \u2018Management oriented documentation of simulation\u2019 Proceedings of the 1978 Winter Simulation Conference(1978)."},{"key":"e_1_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233830"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380100905","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380100905","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,12]],"date-time":"2023-11-12T11:12:14Z","timestamp":1699787534000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380100905"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980,9]]},"references-count":23,"journal-issue":{"issue":"9","published-print":{"date-parts":[[1980,9]]}},"alternative-id":["10.1002\/spe.4380100905"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380100905","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1980,9]]}}}