{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T05:21:10Z","timestamp":1736054470286,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297369"},{"type":"electronic","value":"9783540321163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11575771_15","type":"book-chapter","created":{"date-parts":[[2005,10,10]],"date-time":"2005-10-10T19:07:11Z","timestamp":1128971231000},"page":"202-219","source":"Crossref","is-referenced-by-count":1,"title":["Web Process Dynamic Stepped Extension: Pi-Calculus-Based Model and Inference Experiments"],"prefix":"10.1007","author":[{"given":"Li","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Zhiwei","family":"Yu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"1065","DOI":"10.1016\/S0950-5849(03)00135-6","volume":"45","author":"H. Smith","year":"2003","unstructured":"Smith, H.: Business process management\u2014the third wave: business process modeling language (BPEL) and its pi calculus foundations. Information and Software Technology\u00a045, 1065\u20131069 (2003)","journal-title":"Information and Software Technology"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Patil, A., Oundhakar, S., Sheth, A., Verma, K.: METEOR-S Web service Annotation Framework. In: Proceeding of the World Wide Web Conference (July 2004)","DOI":"10.1145\/988672.988747"},{"key":"15_CR3","unstructured":"Sivashanmugam, K., Verma, K., Sheth, A., Miller, J.: Adding Semantics to Web Services Standards. In: Proceedings of the 1st International Conference on Web Services (ICWS 2003), Las Vegas, Nevada, June 2003, pp. 395\u2013401 (2003)"},{"key":"15_CR4","unstructured":"Sivashanmugam, K., Miller, J., Sheth, A., Verma, K.: Framework for Semantic Web Process Composition. In: Bussler, C., Fensel, D., Sadeh, N. (eds.) Special Issue of the International Journal of Electronic Commerce (IJEC) (February 2004)"},{"key":"15_CR5","unstructured":"Verma, K., Akkiraju, R., Goodwin, R., Doshi, P., Lee, J.: On Accommodating Inter Service Dependencies in Web Process Flow Composition. In: AAAI Spring Symposium 2004 (2004)"},{"key":"15_CR6","unstructured":"Zhang, L., Yu, Z., Verma, K., Sheth, A.P.: Dynamic Business Process Modeling based on Pi Calculus, Technical Report, LSDIS Lab. Computer Science Department, The University of Georgia (2004)"},{"key":"15_CR7","unstructured":"van der Aalst, W.M.P.: Three good reasons for using a Petri-net-based workflow management system. In: Navathe, S., Wakayama, T. (eds.) International Working Conference on Information and Process Integration in Enterprises (IPIC 1996), Cambridge, Massachusetts, USA, November 1996, pp. 179\u2013201 (1996)"},{"key":"15_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)"},{"key":"15_CR9","volume-title":"Communicating and Mobile Systems: the Pi calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi calculus. Cambridge University Press, Cambridge (1999)"},{"key":"15_CR10","unstructured":"J\u00e9r\u00f4me Feret, p.s.a.: A p-Calculus Static Analyzer, http:\/\/move.to\/mobility"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-46121-3_16","volume-title":"Technologies for E-Services","author":"L.Z. Zeng","year":"2002","unstructured":"Zeng, L.Z., Flaxer, D., et al.: PLMflow-dynamic business process composition and execution by rule inference. In: Buchmann, A., Casati, F., Fiege, L., Hsu, M.-C., Shan, M.-C. (eds.) TES 2002. LNCS, vol.\u00a02444, pp. 141\u2013150. Springer, Heidelberg (2002)"},{"issue":"6","key":"15_CR12","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1016\/j.infsof.2003.09.015","volume":"46","author":"G.J. Fakas","year":"2004","unstructured":"Fakas, G.J., Karakostas, B.: A peer to peer (P2P) architecture for dynamic workflow management. Information and Software Technology\u00a046(6), 423\u2013431 (2004)","journal-title":"Information and Software Technology"},{"issue":"3","key":"15_CR13","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1023\/A:1025542915514","volume":"21","author":"J. Cardoso","year":"2003","unstructured":"Cardoso, J., Sheth, A.: Semantic e-Workflow Composition. Journal of Intelligent Information Systems (JIIS)\u00a021(3), 191\u2013225 (2003)","journal-title":"Journal of Intelligent Information Systems (JIIS)"},{"key":"15_CR14","unstructured":"Eshuis, H.: Semantics and Verification of UML Activity Diagrams for Workflow Modelling, PhD thesis, University of Twente, Enschede, The Netherlands (October 2002)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Schroeder, M.: Verification of business processes for a correspondence handling center using CCS. In: EUROVAV, pp. 253\u2013264 (1999)","DOI":"10.1007\/978-1-4757-6916-6_17"},{"key":"15_CR16","unstructured":"van der Aalst, W.M.P.: Inheritance of Dynamic Behaviour in UML. In: Moldt, D. (ed.) Proceedings of the Second Workshop on Modelling of Objects, Components and Agents (MOCA 2002), Aarhus, Denmark, August 2002. DAIMI, vol.\u00a0561, pp. 105\u2013120 (2002)"},{"key":"15_CR17","unstructured":"Pierce, B.C., Turner, D.N.: Pict: A programming language based on the pi calculus, Technical Report 476, Indiana University (March 1997)"},{"issue":"1","key":"15_CR18","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.tcs.2004.03.066","volume":"325","author":"M. Curti","year":"2004","unstructured":"Curti, M., Degano, P., Priami, C., et al.: Modelling biochemical pathways through enhanced pi calculus. Theoretical Computer Science\u00a0325(1), 111\u2013140 (2004)","journal-title":"Theoretical Computer Science"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-540-45099-3_8","volume-title":"Static Analysis","author":"J. Feret","year":"2000","unstructured":"Feret, J.: Confidentiality analysis of mobile systems. In: Palsberg, J. (ed.) SAS 2000. LNCS, vol.\u00a01824, pp. 135\u2013154. Springer, Heidelberg (2000)"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-540-24607-7_9","volume-title":"Database Programming Languages","author":"P. Gardner","year":"2004","unstructured":"Gardner, P., Maffeis, S.: Modelling dynamic web data. In: Lausen, G., Suciu, D. (eds.) DBPL 2003. LNCS, vol.\u00a02921, pp. 130\u2013146. Springer, Heidelberg (2004)"},{"key":"15_CR21","unstructured":"Padget, J., Bradford, R.: A Pi Calculus Model of a Spanish Fish Market\u2013Preliminary Report, http:\/\/www.iiia.csic.es\/amet98\/abstract14.html"},{"key":"15_CR22","first-page":"407","volume":"2","author":"J. Parrow","year":"1995","unstructured":"Parrow, J.: Interaction Diagrams. Nordic Journal of computing\u00a02, 407\u2013443 (1995)","journal-title":"Nordic Journal of computing"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11575771_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T21:49:51Z","timestamp":1736027391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11575771_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297369","9783540321163"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11575771_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}