{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T18:15:11Z","timestamp":1697912111364},"reference-count":9,"publisher":"Wiley","issue":"7","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":7061,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1987,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The role of traces in the context of formal description techniques is discussed, as well as issues arising in the generation of these traces by means of software. A trace generator (written in Prolog) for systems described in terms of CSP is outlined, with emphasis on the translation from CSP to Prolog, the central implementation issues in a Prolog context, and techniques for generating all traces up to termination or recursion. Some experiences with the use of the generator are mentioned, and potential extensions for generating traces of LOTOS descriptions are mentioned.<\/jats:p>","DOI":"10.1002\/spe.4380170702","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T02:13:34Z","timestamp":1163816014000},"page":"423-438","source":"Crossref","is-referenced-by-count":4,"title":["The design and use of a prolog trace generator for CSP"],"prefix":"10.1002","volume":"17","author":[{"given":"D. G.","family":"Kourie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","unstructured":"\u2018Draft proposal of Estelle\u2019 ISO\/TC 97\/SG 21\/DP 9074 June1985."},{"key":"e_1_2_1_3_2","unstructured":"\u2018Information processing systems\u2014open systems interconnection\u2014LOTOS\u2014a formal description technique based on temporal ordering of observational behaviour\u2019 ISO\/TC 97\/TC 97\/SG 21\/DP 8807 March1985."},{"key":"e_1_2_1_4_2","series-title":"Prentice\u2010Hall International Series in Computer Science","volume-title":"Communicating Sequential Processes","author":"Hoare C. A. R.","year":"1985"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(86)90034-6"},{"key":"e_1_2_1_7_2","unstructured":"D.Gilbert \u2018LOTOS to Parlog translator in Parlog\u2019 Demonstration given at 3rd International Conference on Logic Programming Imperial College London July1986."},{"key":"e_1_2_1_8_2","unstructured":"L.Van der Vegte \u2018A LOTOS syntax checker\u2019 Paper presented at South African Computer Science Lecturers' Association July1986."},{"key":"e_1_2_1_9_2","volume-title":"Prolog programming for Artificial Intelligence","author":"Bratko I.","year":"1986"},{"key":"e_1_2_1_10_2","unstructured":"H.Ehrig W.FeyandH.Hansan \u2018ACT ONE: an algebraic specification language with two levels of semantics\u2019 Bericht\u2010Nr. 83\u201303 Technical University of Berlin 1983."}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380170702","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380170702","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T19:43:21Z","timestamp":1697831001000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380170702"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,7]]},"references-count":9,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1987,7]]}},"alternative-id":["10.1002\/spe.4380170702"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380170702","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,7]]}}}