{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T19:05:39Z","timestamp":1648926339428},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J CIRCUIT SYST COMP"],"published-print":{"date-parts":[[1994,3]]},"abstract":"<jats:p> The analysis, development and testing of communication protocols are complex problems. These tasks can be made easier with protocol development tools, which support the whole protocol development process from specification to testing. They are either stand-alone tools related to a specific protocol engineering function (e.g. validation) or integrated protocol workstations solving several functions. The protocol development tools are usually based on formal description techniques. <\/jats:p><jats:p> This paper describes the notion of CAPE (Computer-Aided Protocol Engineering) derived from CASE (Computer-Aided Software Engineering) and presents the PROCONSUL protocol workstation. The intelligent editors of PROCONSUL are described in detail. <\/jats:p>","DOI":"10.1142\/s0218126694000028","type":"journal-article","created":{"date-parts":[[2004,11,18]],"date-time":"2004-11-18T21:21:13Z","timestamp":1100812873000},"page":"1-22","source":"Crossref","is-referenced-by-count":0,"title":["PROCONSUL ON THE WAY TO AUTOMATED PROTOCOL ENGINEERING"],"prefix":"10.1142","volume":"04","author":[{"given":"KATIE","family":"TARNAY","sequence":"first","affiliation":[{"name":"KFKI Research Institute for Measurement and Computing Techniques, Budapest 114, POB-49, H-1525, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L\u00c1SZL\u00d3 ZS.","family":"VARGA","sequence":"additional","affiliation":[{"name":"KFKI Research Institute for Measurement and Computing Techniques, Budapest 114, POB-49, H-1525, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"GYULA","family":"CSOPAKI","sequence":"additional","affiliation":[{"name":"Technical University of Budapest, Department of Telecommunication and Telematics, Budapest, Stoczek u. 2, H-1111, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"container-title":["Journal of Circuits, Systems and Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218126694000028","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T22:47:10Z","timestamp":1565131630000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218126694000028"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":0,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[1994,3]]}},"alternative-id":["10.1142\/S0218126694000028"],"URL":"https:\/\/doi.org\/10.1142\/s0218126694000028","relation":{},"ISSN":["0218-1266","1793-6454"],"issn-type":[{"value":"0218-1266","type":"print"},{"value":"1793-6454","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}