{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T13:54:32Z","timestamp":1753883672834,"version":"3.41.2"},"reference-count":19,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2008,9,14]],"date-time":"2008-09-14T00:00:00Z","timestamp":1221350400000},"content-version":"vor","delay-in-days":257,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"funder":[{"DOI":"10.13039\/501100004482","name":"Kuwait University","doi-asserted-by":"publisher","award":["WI03\/05"],"award-info":[{"award-number":["WI03\/05"]}],"id":[{"id":"10.13039\/501100004482","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Journal of Computer Networks and Communications"],"published-print":{"date-parts":[[2008,1]]},"abstract":"<jats:p>Several methods have been proposed for synthesizing computer communication protocol specifications from service specifications. Some protocol synthesis methods based on the finite state machine (FSM) model assume that primitives in the service specifications cannot be executed simultaneously. Others either handle only controlled primitive concurrency or have tight restrictions on the applicable FSM topologies. As a result, these synthesis methods are not applicable to an interesting variety of inherently concurrent applications, such as the Internet and mobile communication systems. This paper proposes a concurrent\u2010based protocol synthesis method that eliminates the restrictions imposed by the earlier methods. The proposed method uses a synthesis method to obtain a sequential protocol specification (P\u2010SPEC) from a given service specification (S\u2010SPEC). The resulting P\u2010SPEC is then remodeled to consider the concurrency behavior specified in the S\u2010SPEC, while guaranteeing that P\u2010SPEC provides the specified service.<\/jats:p>","DOI":"10.1155\/2008\/794960","type":"journal-article","created":{"date-parts":[[2008,9,16]],"date-time":"2008-09-16T06:59:20Z","timestamp":1221548360000},"update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Service\u2010Oriented Synthesis of Distributed and Concurrent Protocol Specifications"],"prefix":"10.1155","volume":"2008","author":[{"given":"Jehad","family":"Al Dallal","sequence":"first","affiliation":[]},{"given":"Kassem","family":"Saleh","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2008,9,14]]},"reference":[{"volume-title":"Killer Game Programming in Java. Killer game programming in Java, Chapter B.1. Echoing Clinet\/Server Application Using Bluetooth","year":"2006","author":"Davison A.","key":"e_1_2_8_1_2"},{"volume-title":"Internetworking with TCP\/IP. Vol. 3","year":"2001","author":"Comer D.","key":"e_1_2_8_2_2"},{"key":"e_1_2_8_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/12.88466"},{"key":"e_1_2_8_4_2","doi-asserted-by":"crossref","unstructured":"SalehK.andProbertR. Automatic synthesis of protocol specifications from service specifications Proceedings of the 10th Annual International Phoenix Conference on Computers and Communications (IPCC \u203291) March 1991 Scottsdale Ariz USA 615\u2013621 https:\/\/doi.org\/10.1109\/PCCC.1991.113871.","DOI":"10.1109\/PCCC.1991.113871"},{"key":"e_1_2_8_5_2","unstructured":"KhoumsiA. New results for deriving protocol specifications from service specifications for real-time applications Proceedings of the Maghrebian Conference on Software Engineering and Arterial Intelligent (MCSEAI \u203298) December 1998 Tunis Tunisia."},{"key":"e_1_2_8_6_2","unstructured":"ParkJ.-C.andMillerR. E. Synthesizing protocol specifications from service specifications in timed extended finite state machines Proceedings of the 17th International Conference on Distributed Computing Systems (ICDCS \u203297) May 1997 Baltimore Md USA 253\u2013260."},{"key":"e_1_2_8_7_2","doi-asserted-by":"crossref","unstructured":"HigashinoT. OkanoK. ImajoH. andTaniguchiK. Deriving protocol specifications from service specification in extended FSM models Proceedings of the 13th International Conference on Distributed Computing Systems May 1993 Pittsburgh Pa USA 141\u2013148.","DOI":"10.1109\/ICDCS.1993.287714"},{"key":"e_1_2_8_8_2","doi-asserted-by":"crossref","unstructured":"YamaguchiH. OkanoK. HigashinoT. andTaniguchiK. Protocol synthesis from time Petri net based service specifications Proceedings of the Internatoinal Conference on Parallel and Distributed Systems (ICPADS \u203297) December 1997 Seoul South Korea 236\u2013243 https:\/\/doi.org\/10.1109\/ICPADS.1997.652556.","DOI":"10.1109\/ICPADS.1997.652556"},{"key":"e_1_2_8_9_2","unstructured":"SalehK.andProbertR. An extended service-oriented method for the synthesis of protocols Proceedings of the 6th International Symposium on Information and Computer Sciences October 1991 Antalya Turkey 547\u2013557."},{"key":"e_1_2_8_10_2","first-page":"1634","article-title":"Automated synthesis of protocol specifications from service specifications with parallelly executable multiple primitives","volume":"77","author":"Kakuda Y.","year":"1994","journal-title":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences"},{"key":"e_1_2_8_11_2","doi-asserted-by":"crossref","unstructured":"BistaB. B. TakahashiK. andShiratoriN. Composition of service and protocol specifications Proceedings of the 15th International Conference on Information Networking January-February 2001 Beppu City Japan 171\u2013178 https:\/\/doi.org\/10.1109\/ICOIN.2001.905425.","DOI":"10.1109\/ICOIN.2001.905425"},{"key":"e_1_2_8_12_2","doi-asserted-by":"crossref","unstructured":"ManeeratN. VarakulsiripunthR. SekiD.et al. Composition method of communication system specifications in asynchronous model and its support system Proceedings of the 9th IEEE International Conference on Networks October 2001 Bangkok Thailand 64\u201369 https:\/\/doi.org\/10.1109\/ICON.2001.962318.","DOI":"10.1109\/ICON.2001.962318"},{"key":"e_1_2_8_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-002-0074-4"},{"key":"e_1_2_8_14_2","first-page":"2306","article-title":"Composition of service and protocol specifications in asynchronous communication system","volume":"87","author":"Maneerat N.","year":"2004","journal-title":"IEICE Transactions on Information and Systems"},{"key":"e_1_2_8_15_2","first-page":"105","article-title":"Automatic synthesis of timed protocol specifications from service specifications","volume":"5","author":"Dallal J. A.","year":"2006","journal-title":"WSEAS Transactions on Computers"},{"key":"e_1_2_8_16_2","unstructured":"StakhanovaN. BasuS. ZhangW. WangX. andWongJ. Specification synthesis for monitoring and analysis of MANET protocols 2007 no. 07-02 Department of Computer Science Iowa State University Ames Iowa USA."},{"key":"e_1_2_8_17_2","unstructured":"ChoiT. Y. Sequence method for protocol construction Proceedings of the 6th IFIP International Symposium on Protocol Specification Testing and Verification 1986 Gray Rocks Inn Canada 307\u2013321."},{"key":"e_1_2_8_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.4659"},{"key":"e_1_2_8_19_2","unstructured":"SalehK. Synthesis method for the design and validation of communication protocols Ph.D. dissertation 1991 University of Ottawa Ottawa Canada."}],"container-title":["Journal of Computer Networks and Communications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/jcnc\/2008\/794960.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/jcnc\/2008\/794960.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1155\/2008\/794960","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T23:12:44Z","timestamp":1738365164000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1155\/2008\/794960"}},"subtitle":[],"editor":[{"given":"Nidal","family":"Nasser","sequence":"additional","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2008,1]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,1]]}},"alternative-id":["10.1155\/2008\/794960"],"URL":"https:\/\/doi.org\/10.1155\/2008\/794960","archive":["Portico"],"relation":{},"ISSN":["2090-7141","2090-715X"],"issn-type":[{"type":"print","value":"2090-7141"},{"type":"electronic","value":"2090-715X"}],"subject":[],"published":{"date-parts":[[2008,1]]},"assertion":[{"value":"2008-02-28","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-07-08","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-09-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}],"article-number":"794960"}}