{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:37:31Z","timestamp":1742978251438,"version":"3.40.3"},"publisher-location":"London","reference-count":20,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781447128182"},{"type":"electronic","value":"9781447128199"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-1-4471-2819-9_30","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T07:22:59Z","timestamp":1330068179000},"page":"341-351","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Using Interaction Protocols to Model E-Business Applications: A \u03c0-calculus based Approach"],"prefix":"10.1007","author":[{"given":"Assia","family":"Tebib","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahmoud","family":"Boufaida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,2,9]]},"reference":[{"key":"30_CR1_30","volume-title":"Business Process Integration: Method and Analysis","author":"ED Morrison","year":"2009","unstructured":"Morrison ED, Menzies A, Koliadis G, Ghose AK. Business Process Integration: Method and Analysis. 6th ed. Wellington, New Zealand: The sixth Asia-Pacific Conference on Conceptual modelling APCCM; 2009.","edition":"6"},{"key":"30_CR2_30","unstructured":"MacKenzie M, Lasky K, McCabe F, Brown P, and Metz R. Reference Model for Service-Oriented Architecture 1.0. Technical report of OASIS; 2005."},{"key":"30_CR3_30","unstructured":"Luck M, McBurney P, Shehory O, Willmott S. The AgentLink Community: Agent Technology: Computing as Interaction - A Roadmap for Agent-Based Computing. AgentLink III; 2005."},{"key":"30_CR4_30","volume-title":"Defining Interaction Protocols using a Commitment-based Agent Communication language","author":"N Fornara","year":"2009","unstructured":"Fornara N, Marco C. Defining Interaction Protocols using a Commitment-based Agent Communication language. Australia: AAMAS, 2009."},{"key":"30_CR5_30","doi-asserted-by":"crossref","unstructured":"Odell JJ, Van Dyke P, Bauer B. Representing Agent Interaction Protocols in UML. Berlin: eds Springer-Verlag, Agent-Oriented Software Engineering; 2001.","DOI":"10.1007\/3-540-44564-1_8"},{"key":"30_CR6_30","unstructured":"DeveloperWork. Business Process Execution Language for Web Services Version 1.1. http:\/\/www-106.ibm.com\/developerworks\/ (accessed 17 November 2011)."},{"key":"30_CR7_30","volume-title":"Translate the informal bpel-semantics to a mathematical model: Abstract state machines","author":"D Fahland","year":"2004","unstructured":"Fahland D. Translate the informal bpel-semantics to a mathematical model: Abstract state machines. Technical report. Berlin; 2004."},{"key":"30_CR8_30","doi-asserted-by":"crossref","unstructured":"Desai N, Ashok U, Amit K and Munindar PS. OWL-P: a methodology for business process development. Heidelberg: Agent-Oriented Information Systems III, Vol. 3529, LNCS; 2006.","DOI":"10.1007\/11916291_6"},{"key":"30_CR9_30","doi-asserted-by":"crossref","unstructured":"Chafle G, Chandra S, Mann V and Nanda M. Decentralized orchestration of composite web services. New York, USA: The 13th International World Wide Web Conference; 2004.","DOI":"10.1145\/1013367.1013390"},{"key":"30_CR10_30","doi-asserted-by":"crossref","unstructured":"Buhler PA, Vidal JM. Towards adaptive workflow enactment using multiagent systems. Netherlands: Int. Journal on Information Technology and Management, Springer; 2005.","DOI":"10.1007\/s10799-004-7775-2"},{"key":"30_CR11_30","volume-title":"Open protocol design for complex interactions in multi-agent systems","author":"H Mazouzi","year":"2002","unstructured":"Mazouzi H, Fallah-Seghrouchni A and Haddad S. Open protocol design for complex interactions in multi-agent systems. Italy: Proceedings of AAMAS; 2002."},{"key":"30_CR12_30","volume-title":"A scalable petri net representation of interaction protocols for overhearing","author":"G Gutnik","year":"2005","unstructured":"Gutnik G, Kaminka GA. A scalable petri net representation of interaction protocols for overhearing. Canada: AAMAS; 2005."},{"key":"30_CR13_30","volume-title":"Web services technology in support of business transactions","author":"MP Papazoglou","year":"2008","unstructured":"Papazoglou MP, Kratz B. Web services technology in support of business transactions. Sydney: Int. Journal of Service Oriented Computing; 2008."},{"key":"30_CR14_30","unstructured":"Koehler J, Tirenni G, Kumaran S. From business process model to consistent implementation: a case for formal verification methods. Lausanne, Switzerland: Sixth International Enterprise Distributed Object Computing Conference, IEEE Computer Society; 2002."},{"key":"30_CR15_30","unstructured":"Benmerzoug D, Boufaida M, Kordon F. A specification and validation approach for business process integration based on web services and agents. Madeira, Portugal: Workshop on Modelling, Simulation, Verification and Validation of Enterprises Information Systems; 2007."},{"key":"30_CR16_30","volume-title":"Pi calculus versus petri nets: Let us eat humble pie rather than further inflate the pi hype","author":"W Van-Der-Aalst","year":"2004","unstructured":"Van-Der-Aalst W. Pi calculus versus petri nets: Let us eat humble pie rather than further inflate the pi hype. Technical report. Nederland: Twente University; 2004."},{"key":"30_CR17_30","doi-asserted-by":"crossref","unstructured":"Ferrara A. Web services: a process algebra approach. New York: Proceedings of the 2nd international conference on Service oriented computing; 2004.","DOI":"10.1145\/1035167.1035202"},{"key":"30_CR18_30","volume-title":"Mazzara M","author":"R Lucchi","year":"2005","unstructured":"Lucchi R, Mazzara M. A pi-calculus based semantics for ws-bpel. Journal of Logic and Algebraic Programming; 2005."},{"key":"30_CR19_30","doi-asserted-by":"crossref","unstructured":"Victor B, Moller F. The mobility workbench - a tool for the pi-calculus. In Springer-Verlag, ed.: Proceedings of CAV\u201994; 1994.","DOI":"10.1007\/3-540-58179-0_73"},{"key":"30_CR20_30","doi-asserted-by":"crossref","unstructured":"Ferrari G, Gnesi S, Montanari U, Pistore M. A model checking verification environment for mobile processes. Technical report: Consiglio Nazionale delle Ricerche, Istituto diScienza e Tecnologie dell\u2019Informazione \u2019A. Faedo\u2019; 2003.","DOI":"10.1145\/990010.990013"}],"container-title":["Proceedings of the I-ESA Conferences","Enterprise Interoperability V"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-2819-9_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T00:04:50Z","timestamp":1676765090000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-2819-9_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9781447128182","9781447128199"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-2819-9_30","relation":{},"ISSN":["2199-2533","2199-2541"],"issn-type":[{"type":"print","value":"2199-2533"},{"type":"electronic","value":"2199-2541"}],"subject":[],"published":{"date-parts":[[2012]]},"assertion":[{"value":"9 February 2012","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}