Skip to main content
SpringerLink
Log in

Using Interaction Protocols to Model E-Business Applications: A π-calculus based Approach

  • Conference paper
  • First Online:
Enterprise Interoperability V

Part of the book series: Proceedings of the I-ESA Conferences ((IESACONF,volume 5))

  • 717 Accesses

Abstract

In the context of e-Business applications, Interaction Protocols (IP) are descriptions of the externally observable behaviors of different applications. Given a group of collaborating partners, their IP can be used to verify whether their collaboration is sound, i.e., the applications are compliant. In this paper, we relate the theory of IP with the notion of collaboration conformance, used to check whether an aggregation of e-business applications correctly behaves according to a high level specification of their possible conversations.The main goal of this paper is the definition of an effective IP that can be used to verify whether an application can correctly play a specific role according to the given IP specification. For this reason, we present a comprehensive and rigorously defined mapping of IP constructs into π-calculus structures, and use this for the analysis of various dynamic properties related to unreachable activities, conflicting messages, and deadlocks in IP.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. 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.

    Google Scholar 

  2. MacKenzie M, Lasky K, McCabe F, Brown P, and Metz R. Reference Model for Service-Oriented Architecture 1.0. Technical report of OASIS; 2005.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. Fornara N, Marco C. Defining Interaction Protocols using a Commitment-based Agent Communication language. Australia: AAMAS, 2009.

    Google Scholar 

  5. Odell JJ, Van Dyke P, Bauer B. Representing Agent Interaction Protocols in UML. Berlin: eds Springer-Verlag, Agent-Oriented Software Engineering; 2001.

    Google Scholar 

  6. DeveloperWork. Business Process Execution Language for Web Services Version 1.1. http://www-106.ibm.com/developerworks/ (accessed 17 November 2011).

  7. Fahland D. Translate the informal bpel-semantics to a mathematical model: Abstract state machines. Technical report. Berlin; 2004.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. Buhler PA, Vidal JM. Towards adaptive workflow enactment using multiagent systems. Netherlands: Int. Journal on Information Technology and Management, Springer; 2005.

    Google Scholar 

  11. Mazouzi H, Fallah-Seghrouchni A and Haddad S. Open protocol design for complex interactions in multi-agent systems. Italy: Proceedings of AAMAS; 2002.

    Google Scholar 

  12. Gutnik G, Kaminka GA. A scalable petri net representation of interaction protocols for overhearing. Canada: AAMAS; 2005.

    Google Scholar 

  13. Papazoglou MP, Kratz B. Web services technology in support of business transactions. Sydney: Int. Journal of Service Oriented Computing; 2008.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. 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.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. Ferrara A. Web services: a process algebra approach. New York: Proceedings of the 2nd international conference on Service oriented computing; 2004.

    Google Scholar 

  18. Lucchi R, Mazzara M. A pi-calculus based semantics for ws-bpel. Journal of Logic and Algebraic Programming; 2005.

    Google Scholar 

  19. Victor B, Moller F. The mobility workbench - a tool for the pi-calculus. In Springer-Verlag, ed.: Proceedings of CAV’94; 1994.

    Google Scholar 

  20. 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’Informazione ’A. Faedo’; 2003.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIRE Laboratory, Mentouri University of Constantine, 25000, Constantine, Algeria

    Assia Tebib & Mahmoud Boufaida

Authors
  1. Assia Tebib
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mahmoud Boufaida
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Assia Tebib .

Editor information

Editors and Affiliations

  1. , Research Centre on Production Management, Polytechnic University of Valencia, Pl. Ferrándiz Carbonell 2, Alcoy, 03801, Spain

    Raúl Poler

  2. , INTEROP-VLab, University Bordeaux 1, IMS Bât A4, cours de la liberation 351, Talence-cedex, 33405, France

    Guy Doumeingts

  3. Leiden University, Plantsoen 97, Leiden, 2311, Netherlands

    Bernhard Katzy

  4. , Dept. Lenguajes y Sistemas Informaticos, Universidad Jaume I, Av. Sos Banyos s/n, Castellon, 12071, Spain

    Ricardo Chalmeta

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag London Limited

About this paper

Cite this paper

Tebib, A., Boufaida, M. (2012). Using Interaction Protocols to Model E-Business Applications: A π-calculus based Approach. In: Poler, R., Doumeingts, G., Katzy, B., Chalmeta, R. (eds) Enterprise Interoperability V. Proceedings of the I-ESA Conferences, vol 5. Springer, London. https://doi.org/10.1007/978-1-4471-2819-9_30

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-2819-9_30

  • Published:

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-4471-2818-2

  • Online ISBN: 978-1-4471-2819-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation