{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:41:26Z","timestamp":1760708486817,"version":"3.40.4"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2012,11,1]],"date-time":"2012-11-01T00:00:00Z","timestamp":1351728000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1007\/s11390-012-1293-1","type":"journal-article","created":{"date-parts":[[2012,11,29]],"date-time":"2012-11-29T17:02:51Z","timestamp":1354208571000},"page":"1150-1168","source":"Crossref","is-referenced-by-count":4,"title":["Synthesizing Distributed Protocol Specifications from a UML State Machine Modeled Service Specification"],"prefix":"10.1007","volume":"27","author":[{"given":"Jehad","family":"Al Dallal","sequence":"first","affiliation":[]},{"given":"Kassem A.","family":"Saleh","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,11,15]]},"reference":[{"key":"1293_CR1","doi-asserted-by":"crossref","unstructured":"Lai R, Jirachiefpattana A. Communication Protocol Specification and Verification. Springer-Verlag, 1998.","DOI":"10.1007\/978-1-4615-5549-0"},{"issue":"4","key":"1293_CR2","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1109\/12.88466","volume":"40","author":"R Probert","year":"1991","unstructured":"Probert R, Saleh K. Synthesis of communication protocols: Survey and assessment. IEEE Transactions on Computers, 1991, 40(4): 468\u2013476.","journal-title":"IEEE Transactions on Computers"},{"key":"1293_CR3","doi-asserted-by":"crossref","unstructured":"Khoumsi A, Bochmann G\u00a0V, Dssouli R. On specifying services and synthezing protocols for real-time applications. In Proc. the 14th of IFIP International Symposium on Protocol Specification, Testing and Verification, June 1994, pp.185-200.","DOI":"10.1007\/978-0-387-34867-4_12"},{"issue":"10","key":"1293_CR4","first-page":"1634","volume":"E77-A","author":"Y Kakuda","year":"1994","unstructured":"Kakuda Y, Nakamura M, Kikuno T. Automated synthesis of protocol specifications from service specifications with parallely executable multiple primitives. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 1994, E77-A (10): 1634\u20131645.","journal-title":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences"},{"key":"1293_CR5","doi-asserted-by":"crossref","unstructured":"Bista B, Shiratori N. Construction of a multiple entities communication protocol by compositional approach. In Proc. the 12th Int. Workshop on Database and Expert Systems Applications, September 2001, pp.162-166.","DOI":"10.1109\/DEXA.2001.953057"},{"key":"1293_CR6","doi-asserted-by":"crossref","unstructured":"Maneerat N, Varakulsiripunth R, Seki D, Yoshida K, Takahashi K, Kato Y, Bista B B, Shiratori N. Composition method of communication system specifications in asynchronous model and its support system. In Proc. the 9th IEEE International Conference on Networks, October 2001, pp.64-69.","DOI":"10.1109\/ICON.2001.962318"},{"issue":"1","key":"1293_CR7","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s00446-002-0074-4","volume":"16","author":"H Yamaguchi","year":"2003","unstructured":"Yamaguchi H, El-Fakih K, von Bochmann G, Higashino T. Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. Distributed Computing, 2003, 16(1): 21\u201335.","journal-title":"Distributed Computing"},{"issue":"10","key":"1293_CR8","first-page":"2306","volume":"E87-D","author":"N Maneerat","year":"2004","unstructured":"Maneerat N, Varakulsiripunth R, Bista B, Takahashi K, Kato Y, Shiratori N. Composition of service and protocol specifications in asynchronous communication system. IEICE Transactions on Information and Systems, 2004, E87-D (10): 2306\u20132317.","journal-title":"IEICE Transactions on Information and Systems"},{"issue":"1","key":"1293_CR9","first-page":"105","volume":"5","author":"J Al Dallal","year":"2006","unstructured":"Al Dallal J. Automatic synthesis of timed protocol specifications from service specifications. WSEAS Transactions on Computers, 2006, 5(1): 105\u2013112.","journal-title":"WSEAS Transactions on Computers"},{"key":"1293_CR10","doi-asserted-by":"crossref","unstructured":"Stakhanova N, Basu S, Zhang W, Wang X, Wong J. Specification synthesis for monitoring and analysis of MANET protocols. In Proc. the 21st AINA Workshops, May 2007, Vol.1, pp.183-187.","DOI":"10.1109\/AINAW.2007.342"},{"key":"1293_CR11","doi-asserted-by":"crossref","unstructured":"Al Dallal J, Saleh K. Service-oriented synthesis of distributed and concurrent protocol specifications. Journal of Computer Systems, Networks, and Communications, 2008, Article No.794960.","DOI":"10.1155\/2008\/794960"},{"key":"1293_CR12","doi-asserted-by":"crossref","unstructured":"Al Dallal J, Saleh K. State-expansion-based techniques for synthesizing concurrent protocol specifications in distributed systems. International Journal of Communication Systems, 2012, in press.","DOI":"10.1002\/dac.1389"},{"key":"1293_CR13","unstructured":"Fayed M, Laitinen M. Transition to Object-Oriented Software Development (1st edition), Wiley, 1998."},{"key":"1293_CR14","unstructured":"Jepsen T, Anjum F, Bhat R, Jain R, Sharma A, Tait D. Java in Telecommunications: Solutions for Next Generation Networks. Wiley, 2001."},{"key":"1293_CR15","unstructured":"Schmidt D, Huston S. C++ Network Programming: Systematic Reuse with ACE and Frameworks (Vol.2). Addison-Wesley Professional, 2002."},{"key":"1293_CR16","doi-asserted-by":"crossref","unstructured":"Dezani-ciancaglini M, Mostrous D, Yoshida N, Drossopoulou S. Session types for object oriented languages. In Proc. the 6th European Conference on Object-Oriented Programming, July 2006, pp.328-352.","DOI":"10.1007\/11785477_20"},{"key":"1293_CR17","doi-asserted-by":"crossref","unstructured":"Herzberg D, Reichert T. Software engineering for telecommunications systems. In Wiley Encyclopedia of Computer Science and Engineering, Wah B W (ed.), Wiley, 2009.","DOI":"10.1002\/9780470050118.ecse430"},{"key":"1293_CR18","doi-asserted-by":"crossref","unstructured":"Hu R, Yoshida N, Honda K. Session-based distributed programming in Java. In Proc. the 22nd European Conference on Object-Oriented Programming, July 2008, pp.516-541.","DOI":"10.1007\/978-3-540-70592-5_22"},{"key":"1293_CR19","first-page":"127","volume":"10","author":"A Noor","year":"2009","unstructured":"Noor A. Distributed Java mobile information system. Communications of the IBIMA, 2009, 10: 127\u2013132.","journal-title":"Communications of the IBIMA"},{"key":"1293_CR20","doi-asserted-by":"crossref","unstructured":"Porres I, Rauf I. From nondeterministic UML protocol statemachines to class contracts. In Proc. the 3rd ICST, April 2010, pp.107-116.","DOI":"10.1109\/ICST.2010.62"},{"key":"1293_CR21","unstructured":"Object management group. Documents associated with UML Version 2.3, http:\/\/www.omg.org\/spec\/UML\/2.3\/ , July 2011."},{"key":"1293_CR22","unstructured":"Bj\u00f6rklund D, Lilius J, Porres I. Towards efficient code synthesis from statecharts. In Proc. Workshop of the pUML-Group, Oct. 2001, pp.29-41."},{"key":"1293_CR23","doi-asserted-by":"crossref","unstructured":"Bahri M, Hettab A, Chaoui A, Kerkouche E. Transforming mobile UML statecharts models to nested nets models using graph grammars: An approach for modeling and analysis of mobile agent-based software systems. In Proc. the 4th South-East European Workshop on Formal Methods, November 2009, pp.33-39.","DOI":"10.1109\/SEEFM.2009.21"},{"key":"1293_CR24","unstructured":"Basso R. Wireless sensor networks in a vehicle environment [Master Thesis]. Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg, 2009."},{"key":"1293_CR25","doi-asserted-by":"crossref","unstructured":"B\u2019Far R. Mobile Computing Principles: Designing and Developing Mobile Applications with UML and XML. Cambridge University Press, 2004.","DOI":"10.1017\/CBO9780511546969"},{"key":"1293_CR26","doi-asserted-by":"crossref","unstructured":"Carvalho G, Rodrigues R, Frances C, Costa J, Carvalho S. Modelling and performance evaluation of wireless networks. In Proc. the 11th Int. Conference on Telecommunications, August 2004, pp.595-600.","DOI":"10.1007\/978-3-540-27824-5_80"},{"key":"1293_CR27","doi-asserted-by":"crossref","unstructured":"Kumar B, Jasperneite J. Industrial communication protocol engineering using UML 2.0: A case study. In Proc. the 7th IEEE International Workshop on Factory Communication Systems, May 2008, pp.247-250.","DOI":"10.1109\/WFCS.2008.4638749"},{"issue":"2","key":"1293_CR28","doi-asserted-by":"crossref","first-page":"178","DOI":"10.5381\/jot.2010.9.2.a5","volume":"9","author":"B Kumar","year":"2010","unstructured":"Kumar B, Jasperneite J. UML profiles for modeling real-time communication protocols. Journal of Object Technology, 2010, 9(2): 178\u2013198.","journal-title":"Journal of Object Technology"},{"key":"1293_CR29","unstructured":"Lai A, Peng G, Tong H, Zhang G\u00a0H, Bin H. Bluetooth host controller interface (HCI) using the Unified Modeling LanguageTM (UMLTM). Technical Report, Institute of Communications Research, Singapore, 2002."},{"key":"1293_CR30","unstructured":"Mahoney M, Elrad T. Distributing statecharts to handle pervasive crosscutting concerns. In Proc. 2005 Workshop on Building Software for Pervasive Systems, October 2005."},{"key":"1293_CR31","doi-asserted-by":"crossref","unstructured":"Popovic M. Communication Protocol Engineering. CRC Press, 2006.","DOI":"10.1201\/9781420009880"},{"key":"1293_CR32","unstructured":"Thramboulidis K, Mikroyannidis A. Using UML for the design of communication protocols: The TCP case study. In Proc. the 11th International Conference on Software, Telecommunications, and Computer Networks, October 2003."},{"key":"1293_CR33","doi-asserted-by":"crossref","unstructured":"Barrera D. Communicating Systems with UML 2: Modeling and Analysis of Network Protocols. ISTE and John Wiley & Sons, 2011.","DOI":"10.1002\/9781118602201"},{"key":"1293_CR34","unstructured":"Ali J, Tanaka J. Converting statecharts into Java code. In Proc. the 4th World Conf. Integrated Design and Process Technology, June 1999."},{"key":"1293_CR35","unstructured":"Niaz I. Automatic code generation from UML class and statechart diagrams [Ph.D. Thesis]. University of Tsukuba, Japan, 2005."},{"key":"1293_CR36","first-page":"111","volume-title":"Mapping UML statecharts to Java code","author":"I Niaz","year":"2004","unstructured":"Niaz I, Tanaka J. Mapping UML statecharts to Java code. In Proc. International Conf. Software Engineering, February 2004, pp.111-116."},{"issue":"2","key":"1293_CR37","first-page":"83","volume":"6","author":"I Niaz","year":"2005","unstructured":"Niaz I, Tanaka J. An object-oriented approach to generate Java code from UML statecharts. International Journal of Computer & Information Science, 2005, 6(2): 83\u201398.","journal-title":"International Journal of Computer & Information Science"},{"key":"1293_CR38","doi-asserted-by":"crossref","unstructured":"Tiella R, Villaflorita A, Tomasi S. FSMC+, a tool for the generation of Java code from statecharts. In Proc. the 5th International Symp. Principles and Practice of Programming in Java, September 2007, pp.93-102.","DOI":"10.1145\/1294325.1294338"},{"key":"1293_CR39","unstructured":"Wagstaff K, Peters K, Scharenbroich L. From protocol specification to statechart to implementation. Jet Propulsion Laboratory Technical Report CL08-4014, 2008."},{"key":"1293_CR40","doi-asserted-by":"crossref","unstructured":"Wasowski A. On efficient program synthesis from statecharts. In Proc. ACM SIGPLAN Conf. Languages, Compilers, and Tools for Embedded Systems, June 2003, pp.163-170.","DOI":"10.1145\/780732.780755"},{"issue":"6","key":"1293_CR41","doi-asserted-by":"crossref","first-page":"10","DOI":"10.5120\/1215-1744","volume":"8","author":"F Boutekkouk","year":"2010","unstructured":"Boutekkouk F. Automatic SystemC code generation from UML models at early stages of systems on chip design. Int. Journal of Computer Applications, 2010, 8(6): 10\u201317.","journal-title":"Int. Journal of Computer Applications"},{"key":"1293_CR42","doi-asserted-by":"crossref","unstructured":"Kaliappan P, Koenig H, Kaliappan V. Designing and verifying communication protocols using model driven architecture and spin model checker. In Proc. IEEE Int. Conf. Computer Science and Software Engineering, December 2008, pp.13-19.","DOI":"10.1109\/CSSE.2008.976"},{"key":"1293_CR43","doi-asserted-by":"crossref","unstructured":"Drusinsky D. Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking. Newnes, 2006.","DOI":"10.1016\/B978-075067949-7\/50004-0"},{"key":"1293_CR44","unstructured":"Amblard P, Lagnier F, Levy M. Finite state machines: Composition, verification, minimization: A case study. In Proc. the 10th International Conference on Mixed Design, June 2003."},{"key":"1293_CR45","first-page":"544","volume":"36","author":"C Prashanth","year":"2009","unstructured":"Prashanth C, Shet K. Verification of protocol design using UML \u2014 SMV. World Academy of Science, Engineering and Technology, 2009, 36: 544\u2013548.","journal-title":"World Academy of Science, Engineering and Technology"},{"key":"1293_CR46","doi-asserted-by":"crossref","unstructured":"Saleh K, Probert R. Automatic synthesis of protocol specifications from service specifications. In Proc. the 10th IEEE International Phoenix Conference on Computers and Communications, March 1991, pp.615-621.","DOI":"10.1109\/PCCC.1991.113871"},{"issue":"4\u20135","key":"1293_CR47","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1016\/j.jfranklin.2006.02.005","volume":"343","author":"K El-Fakih","year":"2006","unstructured":"El-Fakih K, Yamaguchi H, Bochmann G, Higashino T. Petri net-based protocol synthesis with minimum communication costs. Journal of the Franklin Institute, 2006, 343(4\u20135): 501\u2013520.","journal-title":"Journal of the Franklin Institute"},{"issue":"1","key":"1293_CR48","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1016\/j.comnet.2006.03.011","volume":"51","author":"H Yamaguchi","year":"2007","unstructured":"Yamaguchi H, El-Fakih K, Bochmann G, Higashino T. Deriving protocol specification from service specifications written as predicate\/transition-nets. Computer Networks, 2007, 51(1): 258\u2013284.","journal-title":"Computer Networks"},{"key":"1293_CR49","doi-asserted-by":"crossref","unstructured":"Bista B, Takahashi K, Shiratori N. Composition of service and protocol specifications. In Proc. the 15th International Conference on Information Networking, Feb. 2001, pp.171-178.","DOI":"10.1109\/ICOIN.2001.905425"},{"key":"1293_CR50","unstructured":"Miles R, Hamilton K. Learning UML 2.0 (1st edition), O\u2019Reilly Media, 2006."},{"key":"1293_CR51","unstructured":"Ma\u00a0J, Yu S. Practical rules for reduction on the number of states of a state diagram. In Proc. Technology of Object-Oriented Languages Conference, August 1998, pp.46-55."},{"key":"1293_CR52","unstructured":"An Z, Peters D. Statecharts reduction and composition with properties. In Proc. Newfoundland Electrical and Computer Engineering Conference, November 2005."},{"key":"1293_CR53","doi-asserted-by":"crossref","unstructured":"Rosen K. Handbook of Discrete and Combinatorial Mathematics. CRC Press, 2000.","DOI":"10.1201\/9781439832905"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-012-1293-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-012-1293-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-012-1293-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T23:50:11Z","timestamp":1745365811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-012-1293-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":53,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2012,11]]}},"alternative-id":["1293"],"URL":"https:\/\/doi.org\/10.1007\/s11390-012-1293-1","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[2012,11]]}}}