{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:26:25Z","timestamp":1725582385718},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642206320"},{"type":"electronic","value":"9783642206337"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20633-7_30","type":"book-chapter","created":{"date-parts":[[2011,4,27]],"date-time":"2011-04-27T07:55:43Z","timestamp":1303890943000},"page":"412-426","source":"Crossref","is-referenced-by-count":3,"title":["Analyzing Web Service Choreography Specifications Using Colored Petri Nets"],"prefix":"10.1007","author":[{"given":"Enrique","family":"Caliz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karthikeyan","family":"Umapathy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arturo J.","family":"S\u00e1nchez-Ru\u00edz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sherif A.","family":"Elfayoumy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/MIC.2007.68","volume":"11","author":"G. Hohpe","year":"2007","unstructured":"Hohpe, G.: Let\u2019s Have a Conversation. IEEE Internet Computing\u00a011, 78\u201381 (2007)","journal-title":"IEEE Internet Computing"},{"key":"30_CR2","first-page":"65","volume-title":"IEEE International Enterprise Distributed Object Computing Conference (EDOC)","author":"J.E. Hanson","year":"2002","unstructured":"Hanson, J.E., Nandi, P., Kumaran, S.: Conversation support for Business Process Integration. In: IEEE International Enterprise Distributed Object Computing Conference (EDOC), pp. 65\u201374. IEEE Computer Society, Los Alamitos (2002)"},{"key":"30_CR3","volume-title":"Americas Conference on Information Systems (AMCIS)","author":"K. Umapathy","year":"2009","unstructured":"Umapathy, K.: From Service Conversation Models to WS-CDL. In: Americas Conference on Information Systems (AMCIS). Association for Information Systems (AIS), Atlanta (2009)"},{"key":"30_CR4","unstructured":"W3C, http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"30_CR5","unstructured":"Pi4 Technologies Foundation, http:\/\/pi4soa.sourceforge.net\/"},{"key":"30_CR6","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1995","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer, Heidelberg (1995)"},{"key":"30_CR7","unstructured":"CPN Group, University of Aarhus, http:\/\/wiki.daimi.au.dk\/cpntools\/cpntools.wiki"},{"key":"30_CR8","unstructured":"OASIS, http:\/\/www.oasis-open.org\/committees\/download.php\/23964\/wsbpel-v2.0-primer.htm"},{"key":"30_CR9","unstructured":"Fredlund, L.-\u00c5.: Implementing WS-CDL. In: Spanish Workshop on Web Technologies. University of Santiago de Compostela, Santiago de Compostela, Spain (2006)"},{"key":"30_CR10","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K. Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer\u00a09, 213\u2013254 (2007)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"30_CR11","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River (1981)"},{"key":"30_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML, Revised edition","author":"R. Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML, Revised edition. The MIT Press, Cambridge (1997)"},{"key":"30_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/978-3-540-72988-4_23","volume-title":"Advanced Information Systems Engineering","author":"R. Liu","year":"2007","unstructured":"Liu, R., Bhattacharya, K., Wu, F.: Modeling Business Contexture and Behavior Using Business Artifacts. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol.\u00a04495, pp. 324\u2013339. Springer, Heidelberg (2007)"},{"key":"30_CR14","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/j.compind.2007.06.016","volume":"59","author":"S. Ha","year":"2008","unstructured":"Ha, S., Suh, H.-W.: A timed colored Petri nets modeling for dynamic workflow in product development process. Computers in Industry\u00a059, 193\u2013209 (2008)","journal-title":"Computers in Industry"},{"key":"30_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/10722777_12","volume-title":"Issues in Agent Communication","author":"R. Cost","year":"2000","unstructured":"Cost, R., Chen, Y., Finin, T., Labrou, Y., Peng, Y.: Using Colored Petri Nets for Conversation Modeling. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol.\u00a01916, pp. 178\u2013192. Springer, Heidelberg (2000)"},{"key":"30_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/978-3-540-27755-2_12","volume-title":"Lectures on Concurrency and Petri Nets","author":"G. Denaro","year":"2004","unstructured":"Denaro, G., Pezz\u00e8, M.: Petri Nets and Software Engineering. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 439\u2013466. Springer, Heidelberg (2004)"},{"key":"30_CR17","first-page":"752","volume-title":"IEEE International Conference on Web Services","author":"P. Zhang","year":"2008","unstructured":"Zhang, P., Li, B., Muccini, H., Zhou, Y., Sun, M.: Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. In: IEEE International Conference on Web Services, pp. 752\u2013753. IEEE, Los Alamitos (2008)"},{"key":"30_CR18","volume-title":"Asian Working Conference on Verified Software","author":"Z. Xiangpeng","year":"2006","unstructured":"Xiangpeng, Z., Hongli, Y., Chao, C., Xiwu, D., Zongyan, Q.: Verification of WS-CDL Choreography. In: Asian Working Conference on Verified Software. UNU-IIST, Macao SAR, China (2006)"},{"key":"30_CR19","first-page":"81","volume-title":"Asia-Pacific Software Engineering Conference","author":"G. Pu","year":"2007","unstructured":"Pu, G., Shi, J., Wang, Z., Jin, L., Liu, J., He, J.: The Validation and Verification of WSCDL. In: Asia-Pacific Software Engineering Conference, pp. 81\u201388. IEEE, Los Alamitos (2007)"},{"key":"30_CR20","volume-title":"International Conference on Internet and Web Applications and Services","author":"H. Foster","year":"2006","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-Based Analysis of Obligations in Web Service Choreography. In: International Conference on Internet and Web Applications and Services. IEEE Computer Society, Los Alamitos (2006)"},{"key":"30_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11841197_11","volume-title":"Web Services and Formal Methods","author":"G. Decker","year":"2006","unstructured":"Decker, G., Zaha, J., Dumas, M.: Execution Semantics for Service Choreographies. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 163\u2013177. Springer, Heidelberg (2006)"},{"key":"30_CR22","doi-asserted-by":"crossref","first-page":"2","DOI":"10.19153\/cleiej.10.2.2","volume":"10","author":"G. D\u00edaz","year":"2007","unstructured":"D\u00edaz, G., Cambronero, M.E., Pardo, J.J., Valero, V., Cuartero, F.: Model Checking Techniques applied to the design of Web Services. CLEI Electronic Journal\u00a010, 2\u201314 (2007)","journal-title":"CLEI Electronic Journal"},{"key":"30_CR23","first-page":"7","volume-title":"International Symposium on Applications and the Internet (SAINT)","author":"Y. Yang","year":"2006","unstructured":"Yang, Y., Tan, Q., Xiao, Y., Yu, J., Liu, F.: Exploiting hierarchical CP-nets to increase the reliability of Web services workflow. In: International Symposium on Applications and the Internet (SAINT), p. 7. IEEE, Los Alamitos (2006)"},{"key":"30_CR24","first-page":"609","volume-title":"IEEE International Conference on Tools with Artificial Intelligence","author":"Y. Li","year":"2009","unstructured":"Li, Y., Ye, L., Dague, P., Melliti, T.: A Decentralized Model-Based Diagnosis for BPEL Services. In: IEEE International Conference on Tools with Artificial Intelligence, pp. 609\u2013616. IEEE Computer Society, Los Alamitos (2009)"},{"key":"30_CR25","first-page":"576","volume-title":"International Conference on Advanced Information Networking and Applications Workshops","author":"Y. Huang","year":"2007","unstructured":"Huang, Y., Xu, C., Wang, H., Yunn, X., Zhu, J., Zhu, C.: Formalizing Web Service Choreography Interface. In: International Conference on Advanced Information Networking and Applications Workshops, pp. 576\u2013581. IEEE Computer Society, Los Alamitos (2007)"},{"key":"30_CR26","doi-asserted-by":"crossref","first-page":"1863","DOI":"10.1109\/IEEM.2007.4419515","volume-title":"IEEE International Conference on Industrial Engineering and Engineering Management","author":"X. Deng","year":"2007","unstructured":"Deng, X., Lin, Z., Cheng, W., Xiao, R., Li, L., Fang, L.: Modeling and verifying web service composition using colored petri nets based on WSCI. In: IEEE International Conference on Industrial Engineering and Engineering Management, pp. 1863\u20131867. IEEE, Los Alamitos (2007)"},{"key":"30_CR27","unstructured":"W3C, http:\/\/www.w3.org\/TR\/ws-cdl-10-primer\/"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Perspectives in Design Science Research"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20633-7_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,22]],"date-time":"2021-11-22T08:07:08Z","timestamp":1637568428000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20633-7_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642206320","9783642206337"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20633-7_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}