{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T22:37:49Z","timestamp":1726439869339},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,3,13]]},"DOI":"10.1145\/1066677.1067020","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"1524-1528","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A pattern-based development methodology for communication protocols"],"prefix":"10.1145","author":[{"given":"YoungJoon","family":"Byun","sequence":"first","affiliation":[{"name":"The Pennsylvania State University at Erie, Erie, PA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beverly A.","family":"Sanders","sequence":"additional","affiliation":[{"name":"University of Florida, Gainesville, FL"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,3,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Pattern-Oriented Software Architecture: A System of Patterns","author":"Buschmann F.","year":"1996","unstructured":"F. Buschmann and R. Meunier and H. Rohnert and P. Sommerlad and M. Stal , Pattern-Oriented Software Architecture: A System of Patterns , John Wiley & Sons , New York, NY , 1996 .]] F. Buschmann and R. Meunier and H. Rohnert and P. Sommerlad and M. Stal, Pattern-Oriented Software Architecture: A System of Patterns, John Wiley & Sons, New York, NY, 1996.]]"},{"key":"e_1_3_2_1_2_1","volume-title":"Design Patterns in Communication Software","author":"Rising L.","year":"2001","unstructured":"L. Rising , Design Patterns in Communication Software , Cambridge University Press , Cambridge, UK , 2001 .]] L. Rising, Design Patterns in Communication Software, Cambridge University Press, Cambridge, UK, 2001.]]"},{"key":"e_1_3_2_1_3_1","volume-title":"SDL: Formal Object-Oriented Language for Communicating Systems","author":"Ellsberger J.","year":"1997","unstructured":"J. Ellsberger and D. Hogrefe and A. Sarma , SDL: Formal Object-Oriented Language for Communicating Systems , Prentice-Hall PTR , New York, NY , 1997 .]] J. Ellsberger and D. Hogrefe and A. Sarma, SDL: Formal Object-Oriented Language for Communicating Systems, Prentice-Hall PTR, New York, NY, 1997.]]"},{"key":"e_1_3_2_1_4_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"2000","unstructured":"E. M. Clarke and O. Grumberg and D. Peled , Model Checking , MIT Press , Cambridge, MA , 2000 .]] E. M. Clarke and O. Grumberg and D. Peled, Model Checking, MIT Press, Cambridge, MA, 2000.]]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_6_1","volume-title":"Monticello","author":"Byun Y.","year":"2002","unstructured":"Y. Byun and B. A. Sanders and K. Chung , \" A pattern language for communication protocols,\" in Proceedings of the 9th Conference on Pattern Languages of Programs , Monticello , Illinois , September 2002 .]] Y. Byun and B. A. Sanders and K. Chung, \"A pattern language for communication protocols,\" in Proceedings of the 9th Conference on Pattern Languages of Programs, Monticello, Illinois, September 2002.]]"},{"key":"e_1_3_2_1_7_1","first-page":"46","author":"Pnueli A.","year":"1977","unstructured":"A. Pnueli , \"The temporal logic of programs,\" in Proceedings of the 18th IEEE Symposium Foundations of Computer Science , 1977 , pp. 46 -- 57 .]] A. Pnueli, \"The temporal logic of programs,\" in Proceedings of the 18th IEEE Symposium Foundations of Computer Science, 1977, pp. 46--57.]]","journal-title":"IEEE Symposium Foundations of Computer Science"},{"key":"e_1_3_2_1_8_1","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Manna Z.","year":"1991","unstructured":"Z. Manna and A. Pnueli , The Temporal Logic of Reactive and Concurrent Systems: Specification , Springer-Verlag , New York, NY , 1991 .]] Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer-Verlag, New York, NY, 1991.]]"},{"key":"e_1_3_2_1_9_1","volume-title":"Monticello","author":"Faison T.","year":"1998","unstructured":"T. Faison , \"Interaction patterns for communicating processes,\" in Proceedings of the 1998 Pattern Languages of Programs , Monticello , Illinois , August 1998 .]] T. Faison, \"Interaction patterns for communicating processes,\" in Proceedings of the 1998 Pattern Languages of Programs, Monticello, Illinois, August 1998.]]"},{"key":"e_1_3_2_1_10_1","volume-title":"Protocol Engineering (SoSe","author":"Gotzhein R.","year":"2002","unstructured":"R. Gotzhein , \"The SDL Pattern Pool , Protocol Engineering (SoSe 2002 ),\" http:\/\/rn.informatik.uni-kl.de\/local\/lehre\/PESoSe02\/Folien\/SDLPatternPool.PESoSe02.2onl.pdf, 2002.]] R. Gotzhein, \"The SDL Pattern Pool, Protocol Engineering (SoSe 2002),\" http:\/\/rn.informatik.uni-kl.de\/local\/lehre\/PESoSe02\/Folien\/SDLPatternPool.PESoSe02.2onl.pdf, 2002.]]"},{"key":"e_1_3_2_1_11_1","first-page":"363","volume-title":"Model checking SDL with SPIN,\" in Tools and Algorithms for Construction and Analysis of Systems","author":"Bosnacki D.","year":"2000","unstructured":"D. Bosnacki and D. Dams and L. Holenderski and N. Sidorova , \" Model checking SDL with SPIN,\" in Tools and Algorithms for Construction and Analysis of Systems , Berlin, Germany , 2000 , pp. 363 -- 377 , Springer .]] D. Bosnacki and D. Dams and L. Holenderski and N. Sidorova, \"Model checking SDL with SPIN,\" in Tools and Algorithms for Construction and Analysis of Systems, Berlin, Germany, 2000, pp. 363--377, Springer.]]"},{"key":"e_1_3_2_1_12_1","first-page":"317","volume-title":"9th Int. Conf on Protocol Specification, Testing, and Verification, INWG\/IFIP, C. Vissers and E. Brinksma, Ed.","author":"Holzmann G. J.","year":"1989","unstructured":"G. J. Holzmann and J. Patti , \" Validating SDL specifications: An experiment,\" in Proc . 9th Int. Conf on Protocol Specification, Testing, and Verification, INWG\/IFIP, C. Vissers and E. Brinksma, Ed. , Twente, The Netherlands , June 1989 , pp. 317 -- 326 .]] G. J. Holzmann and J. Patti, \"Validating SDL specifications: An experiment,\" in Proc. 9th Int. Conf on Protocol Specification, Testing, and Verification, INWG\/IFIP, C. Vissers and E. Brinksma, Ed., Twente, The Netherlands, June 1989, pp. 317--326.]]"}],"event":{"name":"SAC05: The 2005 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Santa Fe New Mexico","acronym":"SAC05"},"container-title":["Proceedings of the 2005 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1066677.1067020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T19:36:31Z","timestamp":1673120191000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1066677.1067020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3,13]]},"references-count":12,"alternative-id":["10.1145\/1066677.1067020","10.1145\/1066677"],"URL":"https:\/\/doi.org\/10.1145\/1066677.1067020","relation":{},"subject":[],"published":{"date-parts":[[2005,3,13]]},"assertion":[{"value":"2005-03-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}