{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T06:41:23Z","timestamp":1698043283388},"reference-count":17,"publisher":"Wiley","issue":"6","license":[{"start":{"date-parts":[[2007,3,21]],"date-time":"2007-03-21T00:00:00Z","timestamp":1174435200000},"content-version":"vor","delay-in-days":6867,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Systems &amp; Computers in Japan"],"published-print":{"date-parts":[[1988,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Queueing network simulation (QNS) has recently been considered as one of the important means for performance evaluation of the network\u2010structured system. Presently, FORTRAN, simulation language GPSS and other languages are used to describe QNS softwares, but their describability is not very high. This paper notes that the simulation condition defining the QNS model can be described primarily by conditional form, and the logical language PROLOG has a high describability. A QNS\u2010dedicated logical language SILQ (Simulation Language based on Logic for Queueing network), is proposed where QNS model is defined by Prolog form. The language has a feature that the program can be constructed without considering a Prolog algorithm, while it has the disadvantage that the time\u2010scale, which is indispensable in a simulation, cannot be represented. As a means to introduce the time\u2010scale without degrading the describability, a time object is proposed which provides a parameter representation for the state transition in the system. Then the programming primitives are prepared to describe the operation and other events for each time object in Prolog form. Programming examples by SILQ are presented, and the result is compared with other languages, indicating the high describability of the proposed language. A sequential processing system is constructed for SILQ, and a parallel processing system is discussed, aiming at the improvement of the processing speed.<\/jats:p>","DOI":"10.1002\/scj.4690190601","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T15:16:51Z","timestamp":1183821411000},"page":"1-13","source":"Crossref","is-referenced-by-count":0,"title":["Simulation language based on logic for queueing network using time object"],"prefix":"10.1002","volume":"19","author":[{"given":"Takashi","family":"Watanabe","sequence":"first","affiliation":[]},{"given":"Hikaru","family":"Nakanishi","sequence":"additional","affiliation":[]},{"given":"Hidehiko","family":"Sanada","sequence":"additional","affiliation":[]},{"given":"Yoshikazu","family":"Tezuka","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2007,3,21]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Programming in Prolog","author":"Clocksin W. F.","year":"1981"},{"key":"e_1_2_1_3_2","volume-title":"Simulation and Related Fields","author":"Futo I.","year":"1982"},{"key":"e_1_2_1_4_2","unstructured":"E. Y.Shapiro.A subset of concurrent prolog and its interpreter Technical Report TROO3 ICOT."},{"key":"e_1_2_1_5_2","unstructured":"K. L.ClarkandS.Gregory.PARLOG: A parallel logic programming language Research Report Dept. of Computing Imperial College of Science and Technology (1983)."},{"issue":"2","key":"e_1_2_1_6_2","article-title":"Hardware specification description by temporary logic and verification of gate circuit by Prologm","volume":"25","author":"Fujita","year":"1984","journal-title":"Trans. Inf. Proc. Soc. Jap."},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69208-6_4"},{"issue":"6","key":"e_1_2_1_8_2","article-title":"Specification of synchronizing processesm","volume":"9","author":"Ramamrithan K.","year":"1983","journal-title":"I.E.E.E. Trans. Software Eng."},{"issue":"6","key":"e_1_2_1_9_2","article-title":"Formal specification and verification of distributed systems","volume":"9","author":"Chen B.","year":"1983","journal-title":"I.E.E.E. Trans. Software Eng."},{"key":"e_1_2_1_10_2","unstructured":"S.Kobayashi T.Watanabe T.Yamaguchi H.Nakanishi H.Sanada S.KakushoandY.Tezuka. A study of describability queueing network simulation dedicated logical language Proc. 8th Symp. Inf. Theory and Appl. pp.676\u2013681(1985)."},{"key":"e_1_2_1_11_2","unstructured":"T.Watanabe Sato T.Yamaguchi H.Nakanishi H.Sanada S.KakushoandY.Tezuka.Queueing network simulation by Prolog Nat. Conv. I.E.C.E. Japan (1984)."},{"key":"e_1_2_1_12_2","unstructured":"T.Watanabe H.Nakanishi H.SanadaandY.Tezuka. Performance Evaluation of Asynchronous Distributed Processing System with Limited Advance Processing Systems and Computers in Japan No. 10(1986)."},{"key":"e_1_2_1_13_2","article-title":"Queueing network simulation dedicated logical language","volume":"26","author":"Watanabe T.","year":"1985","journal-title":"Tech. Rep. Multimedia Comm. and Distr. Proc., Inf. Proc. Soc. Jap."},{"issue":"9","key":"e_1_2_1_14_2","first-page":"11","article-title":"Present status and prospect of discrete simulation languagem","volume":"22","author":"Yamamoto","year":"1981","journal-title":"Inf. Proc."},{"key":"e_1_2_1_15_2","volume-title":"Computer Simulation","author":"Nakanishi T.","year":"1977"},{"key":"e_1_2_1_16_2","article-title":"ARIZUKA (ant\u2010hive) and its utilization environment","volume":"86","author":"Kojima","year":"1986","journal-title":"Tech. Rep., Inf. Proc. Soc. Jap."},{"key":"e_1_2_1_17_2","unstructured":"D.PotierandM.Veran. The Markovian solver of QNAP2 and examples International Seminar on Computer Networking and Performance Evaluation(Sept.1985)."},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1147\/rd.246.0747"}],"container-title":["Systems and Computers in Japan"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fscj.4690190601","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/scj.4690190601","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T09:18:38Z","timestamp":1697966318000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/scj.4690190601"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,6]]},"references-count":17,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1988,6]]}},"alternative-id":["10.1002\/scj.4690190601"],"URL":"https:\/\/doi.org\/10.1002\/scj.4690190601","archive":["Portico"],"relation":{},"ISSN":["0882-1666","1520-684X"],"issn-type":[{"value":"0882-1666","type":"print"},{"value":"1520-684X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,6]]}}}