True Concurrency in Long-running Transactions for Digital Ecosystems

• Autorzy: Moschoyiannis S. , Krause P. J.

Identyfikatory

DOI

10.3233/FI-2015-1222

• Języki publikacji: EN

Abstrakty

EN

The concept of a digital ecosystem (DE) has been used to explore scenarios in which multiple online services and resources can be accessed by users without there being a single point of control, which can be used to effectively serialise their interactions. We argue in this paper that this weak coupling between services places additional demands on the modelling of compensation and recovery management in long-running transactions over traditional SOC related formalisms. We describe an adaptation of Shields’ vector languages, in that the synchronisation constraint is removed (no shared actions), as a formal semantics for a transaction in terms of the common ordering constraints on the underlying interactions between its participants. The notation afforded by the socalled transaction languages captures the invocations on each participant service (online resource), and at each point during execution, across the whole transaction. Concurrency is modelled explicitly through a notion of independence, which is lifted onto tuples of sequences (one for each participant of the transaction) rather than individual sequences, as in Mazurkiewicz trace languages or events, as in the event structures model. Participating subcomponents execute concurrently and failure of one or more causes the recovery of the whole transaction. Compensations are triggered immediately upon failure and concurrent forward actions are compensated concurrently. We highlight the benefits of our true-concurrent approach in the context of DEs and outline connections of transaction languages to other partial order models. Further, we discuss how our approach supports forward recovery in that recovering the whole transaction is avoided wherever possible.

Słowa kluczowe

EN

services; online resources; coordination; choreography; true concurrency; transactions; compensation semantics; transaction languages; equivalent execution histories; forward recovery

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2015
• Tom: Vol. 138, nr 4
• Strony: 483--514
• Opis fizyczny: Bibliogr. 58 poz., rys.

Twórcy

autor

Moschoyiannis S.

• Department of Computing, University of Surrey Guildford, Surrey, GU2 7XH, England

autor

Krause P. J.

• Department of Computing, University of Surrey Guildford, Surrey, GU2 7XH, England

Bibliografia

• [1] Baldan, P., Crafa, S.: A Logic for True Concurrency, CONCUR’10, 6269, Springer, 2010.
• [2] Barros, A., Dumas, M., Oaks, P.: A Critical Overview of the Web Services Choreography Description Language, BPTrends, March, 2005.
• [3] Bednarczyk, M. A.: Categories of Asynchronous Systems, Ph.D. Thesis, University of Sussex, 1988.
• [4] Bocchi, L., Lavene, C., Zavattaro, G.: A Calculus for Long-running Transactions, FMOODS’03, 2884, Springer, 2003.
• [5] Boley, H., Chang, E.: Digital Ecosystems: Principles and Semantics, Inaugural lEEE Digital Ecosystems and Technologies (DEST 2007), 2007.
• [6] Bowles, J. K. F., Moschoyiannis, S.: When Things Go Wrong: Interrupting Conversations, ETAPS-FASE, 4961, Springer, 2008.
• [7] Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Services Choreographies, 1st Int’l Workshop on Web Services and Formal Methods (WS-FM 2004), 105, Elsevier, 2004.
• [8] Bruni, R., Lavene, C., Montanari, U.: Orchestrating Transactions in Join Calculus, Proceedings of 13th Int’l Conference on Concurrency Theory CONCUR’02, 2421, Springer, 2002.
• [9] Bruni, R., Melgatti, H., Montanari, U.: Theoretical Foundations for Compensations in Flow Composition Languages, ACM SIGPLAN, ACM, 2005.
• [10] Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Towards a Formal Framework for Choreography, Proceedings of the 14th IEEE Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise (WETICE’05), IEEE Computer Society, 2005.
• [11] Butler, M., Ferreira, C.: An Operational Semantics for StAC, a language for modelling long-running business transactions, Proceedings of Coordination Models and Languages COORDINATION’04, 2949, Springer, 2004.
• [12] Butler, M., Hoare, A. C. R., Ferreira, C.: Trace Semantics for Long-Running Transactions, 25 Years of CSP, 3525, Springer, 2005.
• [13] Castellano, L., de Michelis, G., Pomello, L.: Concurrency vs. Interleaving: an instructive example, Bulletin of the EATCS, 31, 1987, 12–15.
• [14] Davey, B. A., Priestley, H. A.: Introduction to Lattices and Order, Cambridge Mathematical Textbooks, Cambridge University Press, 1990.
• [15] de Alfaro, L., Henzinger, T.: Interface Automata, Proceedings of 8th European Software Engineering Conference, held jointly with 9th ACM Sigsoft Symposium on Foundations of Software Engineering, ACM Press, 2001.
• [16] Eurostat: ICT Usage in Enterprises, Issue Number 49/2010 European Commission, December, 2010.
• [17] Garcia-Molina, H., Salem, K.: Sagas, ACM SIGMOD’87, ACM Press, 1987.
• [18] Gray, J., Reuter, A.: Transaction processing: Concepts and Techniques, Series in Data Management Systems, Morgan Kauffmann, 1993.
• [19] Guidi, C., Lucchi, R., Mazzara, M.: A Formal Framework for Web Services Coordination, 180, Elsevier, 2007.
• [20] Gutierrez, J., Bradfield, J.: Model-checking Games for Fixpoint Logics with Partial Order Models, Information and Computation, 209, 2011, 766–781.
• [21] Hoare, C. A. R.: Communicating Sequential Processes, Prentice Hall, 1985.
• [22] Janicki, R., Lauer, P. E.: Specification and Analsyis of Concurrent Systems: The COSY Approach, Springer-Verlag, Berlin and New York, 1992.
• [23] Krause, P. J., Razavi, A., Moschoyiannis, S., Marinos, A.: Stability and Complexity in Digital Ecosystems, IEEE Digital Ecosystems and Technologies, 2009.
• [24] Küster-Filipe, J.: Modelling Concurrent Interactions, Theoretical Computer Science, 351(2), 2006, 203–220.
• [25] Lavene, C., Zavattaro, G.: Foundations of Web Transactions, FoSSaCS, 3441, Springer, 2005.
• [26] Little, M.: Web Services Transactions: Past, present, and future, XML Conference and Exposition, http://www.ibm.com/developerworks/webservices/library/ws-comproto/, 2003, Philadelphia, USA.
• [27] Marinos, A., Krause, P.: Towards a Web of Models: Rule-Driven Architecture for Distributed Systems, RuleML, 6403, Springer, 2010.
• [28] Marinos, A., Krause, P. J.: What, not How: A Generative Approach to Service Compostion, IEEE Digital Ecosystems and Technologies (IEEE-DEST’09, 2009.
• [29] Mazurkiewicz, A.: Basic Notions of Trace Theory, Linear Time, Branching Time and Partial Orders in Logics and Models for Concurrency, 354, Springer Verlag, 1988.
• [30] Mei, J., Miao, H., Chen, Y., Gao, H.: Verifying Web Services Composition Based on Interface Automata using SPIN, International Journal of Digital Content Technology and its Applications, 4(8), 2010, 23–33.
• [31] Milner, A. J. R.: Communication and Concurrency, Prentice Hall, 1989.
• [32] Moschoyiannis, S., Krause, P. J., Shields, M.W.: A True-Concurrent Interpretation of Behavioural Scenarios, ETAPS-FESCA, 203, Elsevier, 2009.
• [33] Moschoyiannis, S., Razavi, A., Krause, P. J.: Transaction Scripts: Making Implicit Scenarios Explicit, ETAPS-FESCA, 238, Elsevier, 2010.
• [34] Moschoyiannis, S., Shields, M. W., Krause, P. J.: Modelling Component Behaviour Using Concurrent Automata, ETAPS 2005 - FESCA, 141, Elsevier, 2005.
• [35] N. W. Keesmat, H. C. M. K., Rozenberg, G.: Vector Controlled Concurrent Ssystems, part I: basic classes, Fundamenta Informaticae, 13, 1990, 275–316.
• [36] Nachira, F.: Towards a Network of Digital Business Ecosystems, European Commission DG INFSO, www.digital-ecosystems.org/doc/discussionpaper.pdf, September 2002.
• [37] Nielsen, M., Plotkin, G., Winskel, G.: Petri Nets, Event Structures and Domains, part 1, Theoretical Computer Science, 13, 1981, 85–108.
• [38] OMG: Semantics of Business Vocabulary and Rules Formal Specification v1.0, formal/08-01-02, http://www.omg.org/spec/SBVR1.0/, January 2008.
• [39] OMG: Unified Modeling Language: Superstructure, version 2.2, OMG document formal/2009-02-02, http://www.omg.org/spec/UML2.2/, February 2009.
• [40] Papazoglou, M. P., Georgakopoulos, D.: Service-Oriented Computing, Communications of the ACM, 46(10), October 2003, 24–28.
• [41] Papazoglou, M. P., Traverso, P., Dustdar, S., et al: Service-Oriented Computing Research Roadmap, Dagstuhl Seminar Proc. 05462, SOC, 2006.
• [42] Petri, C. A.: Non-sequential Processes, GMD-ISF Report 77.05, 1977.
• [43] Pitt, D., Shields, M. W.: Overtaking in Asynchronous Periodic Systems, Formal Aspects of Computing, 11, 1999, 567–590.
• [44] Pomello, L., Rozenberg, G., Simone, C.: A Survey of Equivalence Notions for Net Based Systems, Advances in Petri Nets, 609, Springer, 1992.
• [45] Richardson, L., Ruby, S.: RESTful Web Services, O’Reilly Media Inc., 2007.
• [46] Shields, M. W.: Adequate Path Expressions, Proceedings of Semantics for Concurrent Computation, 70, Springer Verlag, 1979.
• [47] Shields, M. W.: Concurrent Machines, Computer Journal, 28, 1985, 449–465.
• [48] Shields, M. W.: Multitraces, Hypertraces and Partial Order Semantics, Formal Aspects of Computing, 4, 1992, 649–672.
• [49] Shields, M. W.: Semantics of Parallelism, Springer-Verlag London, 1997.
• [50] for the Advancement of Structured Information Systems OASIS, O.: Business Transaction Protocol (BTP), http://www.oasis-open.org/committees/business-transaction/documents/primer/Primerhtml/BTP Primer D120020602.html, 2002, Last accessed: 15th March 2012.
• [51] for the Advancement of Structured Information Systems OASIS, O.: OASIS Web Services Transaction (WSTX) standards, http://www.ibm.com/developerworks/library/specification/ws-tx/, 2005, Last accessed: 15th March 2012.
• [52] for the Advancement of Structured Information Systems OASIS, O.: Web Services Business Process Execution Language, version 2.0, http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf, 2005, Last accessed: 15th March 2012.
• [53] Thatte, S.: XLANG: Web Services for Business Process Design, 2001, Microsoft Corporation.
• [54] W3C: Web Services Architecture, W3C Working Group, http://www.w3.org/TR/ws-arch/, February 2009.
• [55] W3C, W. W. W. C.: Web Service Choreography Interface (WSCI) 1.0, http://www.w3.org/TR/wsci/, 2002, Last accessed: 15th March 2012.
• [56] W3C, W. W. W. C.: Web Services Choreography Description Language (WS-CDL), http://www.w3.org/TR/ws-cdl-10-primer/, 2006, Last accessed: 15th March 2012.
• [57] Winskel, G.: An Introduction to Event Structures, Linear Time, Branching Time and Partial Orders in Logics and Models for Concurrency, 354, Springer, 1988.
• [58] Winskel, G., Nielsen, M.: Models for Concurrency, in: Handbook of Logic in Computer Science, vol. 4, Semantic Modelling (S. Abramsky, D. Gabbay, T. Maibaum, Eds.), Oxford Science Publications, 1995, 1–148.