When Things Go Wrong: Interrupting Conversations

  • Juliana Bowles
  • Sotiris Moschoyiannis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4961)


This paper presents a true-concurrent approach to formalising integration of Small-to-Medium Enterprises (SMEs) with Web services. Our approach formalises common notions in service-oriented computing such as conversations (interactions between clients and web services), multi-party conversations (interactions between multiple web services) and coordination protocols, which are central in a transactional environment. In particular, we capture long-running transactions with recovery and compensation mechanisms for the underlying services in order to ensure that a transaction either commits or is successfully compensated for.


Event Structure Sequence Diagram Labelling Function Coordination Protocol Interaction Fragment 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Digital Business Ecosystem (DBE), EU-FP6 IST Integrated Project No 507953 (2006),
  2. 2.
    Date, C.J.: An Introduction to Database Systems, 5th edn. Addison-Wesley, Reading (1996)Google Scholar
  3. 3.
    Razavi, A., Moschoyiannis, S., Krause, P.: Concurrency Control and Recovery Management in Open e-Business Transactions. In: Proc. WoTUG Communicating Process Architectures (CPA 2007), pp. 267–285. IOS Press, Amsterdam (2007)Google Scholar
  4. 4.
    Papazoglou, M.P., Georgakopoulos, D.: Service-Oriented Computing. Communications of the ACM 46(10), 24–28 (2003)CrossRefGoogle Scholar
  5. 5.
    Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F., Kramer, B.J.: Service-Oriented Computing Research Roadmap. In: Dagstuhl Seminar Proc. 05462, Service-Oriented Computing (SOC), pp. 1–29 (2006)Google Scholar
  6. 6.
    O.M.G.: UML 2.0 Superstructure Specification. document ptc/04-10-02 (2004),
  7. 7.
    Razavi, A., Moschoyiannis, S., Krause, P.: A Coordination Model for Distributed Transactions in Digital Business Ecosystems. In: Digital Ecosystems and Technologies (DEST 2007), IEEE Computer Society Press, Los Alamitos (2007)Google Scholar
  8. 8.
    Küster-Filipe, J.: Modelling concurrent interactions. Theoretical Computer Science 351(2), 203–220 (2006)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Bowles, J.K.F.: Decomposing Interactions. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 189–203. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
    Winskel, G., Nielsen, M.: Models for Concurrency. In: Handbook of Logic in Computer Science, vol. 4, pp. 1–148. Oxford Science Publications (1995)Google Scholar
  11. 11.
    Garcia-Molina, H., Salem, K.: Sagas. In: ACM SIGMOD, pp. 249–259 (1987)Google Scholar
  12. 12.
    Cabrera, F.L., Copeland, G., Johnson, J., Langworthy, D.: Coordinating Web Services Activities with WS-Coordination, WS-AtomicTransaction, and WS-BusinessActivity (January 2004),
  13. 13.
    Furnis, P., Dalal, S., Fletcher, T., Green, A., Ceponkus, A., Pope, B.: Business Transaction Protocol, version 1.1.0 (November 2004),
  14. 14.
    Bruni, R., Melgatti, H., Montanari, U.: Theoretical Foundations for Compensations in Flow Composition Languages. In: Principles of Programming Languages (POPL 2005), pp. 209–220. ACM Press, New York (2005)Google Scholar
  15. 15.
    Furnis, P., Green, A.: Choreology Ltd. Contribution to the OASIS WS-Tx Technical Committee relating to WS-Coordination, WS-AtomicTransaction, and WS-BusinessActivity (November 2005),
  16. 16.
    Butler, M., Hoare, A.C.R., Ferreira, C.: Trace Semantics for Long-Running Transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol. 3525, pp. 133–150. Springer, Heidelberg (2005)Google Scholar
  17. 17.
    Shields, M.W.: Semantics of Parallelism. Springer, London (1997)zbMATHGoogle Scholar
  18. 18.
    Moschoyiannis, S., Krause, P., Shields, M.W.: A True Concurrent Interpretation of Behavioural Scenarios. In: FESCA 2007. ENTCS, Elsevier, Amsterdam (to appear)Google Scholar
  19. 19.
    Moschoyiannis, S.: Specification and Analysis of Component-Based Software in a Concurrent Setting. PhD thesis, University of Surrey (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Juliana Bowles
    • 1
  • Sotiris Moschoyiannis
    • 2
  1. 1.School of Computer ScienceUniversity of St AndrewsSt AndrewsUK
  2. 2.Department of ComputingUniversity of SurreyGuildfordUK

Personalised recommendations