Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Digital Business Ecosystem (DBE), EU-FP6 IST Integrated Project No 507953 (2006), http://www.digital-ecosystem.org
Date, C.J.: An Introduction to Database Systems, 5th edn. Addison-Wesley, Reading (1996)
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)
Papazoglou, M.P., Georgakopoulos, D.: Service-Oriented Computing. Communications of the ACM 46(10), 24–28 (2003)
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)
O.M.G.: UML 2.0 Superstructure Specification. document ptc/04-10-02 (2004), http://www.uml.org
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)
Küster-Filipe, J.: Modelling concurrent interactions. Theoretical Computer Science 351(2), 203–220 (2006)
Bowles, J.K.F.: Decomposing Interactions. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 189–203. Springer, Heidelberg (2006)
Winskel, G., Nielsen, M.: Models for Concurrency. In: Handbook of Logic in Computer Science, vol. 4, pp. 1–148. Oxford Science Publications (1995)
Garcia-Molina, H., Salem, K.: Sagas. In: ACM SIGMOD, pp. 249–259 (1987)
Cabrera, F.L., Copeland, G., Johnson, J., Langworthy, D.: Coordinating Web Services Activities with WS-Coordination, WS-AtomicTransaction, and WS-BusinessActivity (January 2004), http://msdn.micorsoft.com/webservices/default.aspx
Furnis, P., Dalal, S., Fletcher, T., Green, A., Ceponkus, A., Pope, B.: Business Transaction Protocol, version 1.1.0 (November 2004), http://www.oasis-open.org/committees/download.php/9836
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)
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), http://www.oasis-open.org/committees/download.php/15808
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)
Shields, M.W.: Semantics of Parallelism. Springer, London (1997)
Moschoyiannis, S., Krause, P., Shields, M.W.: A True Concurrent Interpretation of Behavioural Scenarios. In: FESCA 2007. ENTCS, Elsevier, Amsterdam (to appear)
Moschoyiannis, S.: Specification and Analysis of Component-Based Software in a Concurrent Setting. PhD thesis, University of Surrey (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bowles, J., Moschoyiannis, S. (2008). When Things Go Wrong: Interrupting Conversations. In: Fiadeiro, J.L., Inverardi, P. (eds) Fundamental Approaches to Software Engineering. FASE 2008. Lecture Notes in Computer Science, vol 4961. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78743-3_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-78743-3_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78742-6
Online ISBN: 978-3-540-78743-3
eBook Packages: Computer ScienceComputer Science (R0)