Long-running Transactions: Semantics, schemas, implementation

Handbook of Research on P2P and Grid Systems for Service-Oriented Computing

2010

Current research and development in ICT has opened new opportunities and threats for both large corporations and SMEs alike. Many SMEs see the new Digital Ecosystem as a new open frontier where they can enter, innovate and compete with large corporations on an equal footing. This chapter examines the role of the large corporations (the keystones) in the digital ecosystem and presents solutions about the emergence of two major problems that if left unanswered will result in the creation of major entry barriers for SMEs. The authors’ proposed distributed coordination and high connectivity between SMEs can provide a more appropriate business environment for fair competition and collaboration.

Section: Fig 3 Transaction Contextmentioning

confidence: 93%

Digital Ecosystems

Razavi

Krause

Handbook of Research on P2P and Grid Systems for Service-Oriented Computing

2010

“…In our previous work [21], [15], [16], we have provided general platform design, pattern behaviour, concurrency control and recovery management for a service-oriented environment, by focusing on specific requirements of Digital Ecosystems [24], [25]. Introducing Representational State Transfer (REST) as a distributed computing architectural style [7], has created a new opportunity for achieving Digital Ecosystem requirements.…”

Section: Transactional Approaches and Digital Ecosystemsmentioning

confidence: 99%

Recovery management in RESTful interactions

Razavi

Marinos

2009 3rd IEEE International Conference on Digital Ecosystems and Technologies

et al. 2009

With REST becoming a dominant architectural paradigm for web services in distributed systems, more and more use cases are applied to it, including use cases that require transactional guarantees. We believe that the loose coupling that is supported by RESTful transactions, makes this currently our preferred interaction style for digital ecosystems (DEs). To further expand its value to DEs, we propose a RESTful transaction model that satisfies both the constraints of recoverable transactions and those of the REST architectural style. We then show the correctness and applicability of the model.

“…The notation of vector languages respects the loosecoupling beween services and can be used to model longrunning transactions [22], [34] involving the execution of service chains [35], [36]. [37] proposes an alternative architecture to WS-* for large-scale distributed applications built on RESTful services, and SBVR as a modelling language.…”

Section: Concluding Remarks and Future Workmentioning

confidence: 99%

Trace-Based Verification of Rule-Based Service Choreographies

2018 IEEE 11th Conference on Service-Oriented Computing and Applications (SOCA)

Μαγλαράς

Manaf

2018

Self Cite

The service choreography approach has been proposed for describing the global ordering constraints on the observable message exchanges between participant services in service oriented architectures. Recent work advocates the use of structured natural language, in the form of Semantics of Business Vocabulary and Rules (SBVR), for specifying and validating choreographies. This paper addresses the verification of choreographies-whether the local behaviours of the individual participants conform to the global protocol prescribed by the choreography. We describe how declarative specifications of service choreographies can be verified using a trace-based model, namely an adaptation of Shields' vector languages. We also use the so-called blackboard rules, which draw upon the Bach coordination language, as a middleware that adds reactiveness to this declarative setting. Vector languages are to trace languages what matrices are to linear transformations; they afford a more concrete representation which has advantages when it comes to computation or manipulation.