{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:41:09Z","timestamp":1729640469554,"version":"3.28.0"},"reference-count":40,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1109\/ecows.2008.11","type":"proceedings-article","created":{"date-parts":[[2008,12,17]],"date-time":"2008-12-17T15:11:58Z","timestamp":1229526718000},"page":"81-91","source":"Crossref","is-referenced-by-count":12,"title":["Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems"],"prefix":"10.1109","author":[{"given":"Andreas","family":"Both","sequence":"first","affiliation":[]},{"given":"Wolf","family":"Zimmermann","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"220","article-title":"transforming bpel to petri nets","volume":"3649","author":"hinz","year":"2005","journal-title":"LNCS"},{"key":"35","first-page":"1","article-title":"a petri net semantic for bpel4ws - validation and application","author":"schmidt","year":"2004","journal-title":"Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988756"},{"key":"36","first-page":"135","article-title":"modelling recursive calls with uml state diagrams","volume":"2621","author":"tenzer","year":"2003","journal-title":"LNCS"},{"key":"18","first-page":"310","article-title":"predictable component architectures using dependent finite state machines","volume":"2941","author":"schmidt","year":"2002","journal-title":"LNCS"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/AICT-ICIW.2006.131"},{"key":"34","first-page":"310","article-title":"predictable component architectures using dependent finite state machines","volume":"2941","author":"schmidt","year":"2002","journal-title":"LNCS"},{"key":"16","article-title":"subtyping of context-free classes","author":"freudig","year":"1998","journal-title":"Proc 3rd White Object Oriented Nights"},{"key":"39","first-page":"59","article-title":"analyzing bpel processes using petri nets","author":"verbeek","year":"2005","journal-title":"2nd Int Workshop on Applications of Petri Nets to Coordination Workflow and Business Process Management (PNCWB 2005)"},{"key":"13","first-page":"232","article-title":"efficient algorithms for model checking pushdown systems","volume":"1855","author":"esparza","year":"2000","journal-title":"LNCS"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240303"},{"key":"37","first-page":"299","article-title":"context-bounded analysis of concurrent queue systems","volume":"4963","author":"torre","year":"2008","journal-title":"LNCS"},{"key":"11","first-page":"334","article-title":"verifying concurrent message-passing c programs with recursive calls","author":"chaki","year":"2006","journal-title":"TACAS"},{"article-title":"models and verification of bpel","year":"2006","author":"van breugel","key":"38"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47910-4_15"},{"article-title":"verification of business processes for web services","year":"2003","author":"koshkina","key":"21"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"1979","author":"hopcroft","key":"20"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1007\/11821946_1"},{"key":"22","first-page":"282","article-title":"interprocedural analysis of concurrent programs under a context bound","volume":"4963","author":"lai","year":"2008","journal-title":"LNCS"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/TOOLS.1999.779066"},{"year":"0","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2826"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.07.038"},{"key":"27","first-page":"99","article-title":"regular types for active objects","author":"nierstrasz","year":"1995","journal-title":"Object-Oriented Software Composition"},{"key":"28","first-page":"38","article-title":"schahram dus-tar. service-oriented computing: state of the art amd research challanges","author":"papazoglou","year":"2007","journal-title":"Computer Innovative Technology for Computer Professionals"},{"key":"29","first-page":"93","article-title":"context-bounded model checking of concurrent software","author":"qadeer","year":"2005","journal-title":"TACAS"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"year":"0","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0015001"},{"year":"0","key":"1"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512540"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(00)00055-7"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-87891-9_11","article-title":"automatic protocol conformance checking of recursive and parallel component-based systems","author":"both","year":"2008","journal-title":"Component-based Software Engineering (CBSE2008)"},{"key":"32","first-page":"20","article-title":"counter-constraint finite state machines: a new model for resource-bounded component protocols","volume":"2540","author":"reussner","year":"2002","journal-title":"LNCS"},{"key":"5","first-page":"652","article-title":"model checking of unrestricted hierarchical state machines","volume":"2076","author":"benedikt","year":"2001","journal-title":"LNCS"},{"year":"0","key":"31"},{"key":"4","first-page":"207","article-title":"analysis of recursive state machines","volume":"2102","author":"alur","year":"2001","journal-title":"LNCS"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0084787"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61604-7_71"}],"event":{"name":"2008 IEEE Sixth European Conference on Web Services (ECOWS)","start":{"date-parts":[[2008,11,12]]},"location":"Dublin, Ireland","end":{"date-parts":[[2008,11,14]]}},"container-title":["2008 Sixth European Conference on Web Services"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4711634\/4711635\/04711652.pdf?arnumber=4711652","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T10:53:08Z","timestamp":1497783188000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4711652\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/ecows.2008.11","relation":{},"subject":[],"published":{"date-parts":[[2008,11]]}}}