What, not how: A generative approach to service composition

Marinos, Alexandros; Krause, Paul

doi:10.1109/dest.2009.5276716

Cited by 9 publications

(6 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The current state-of-the-art requires manipulation of source code in which each line is context dependent, and so a single intended change may necessitates significant alterations at different locations in the codebase. A paradigm shift to declarative generative programming [104] would be greatly beneficial, avoiding the need to manually manage cascading changes to the codebase. As the requirements behind a service would be made explicit and executable, and being human readable could therefore be manipulated directly as stand-alone artifacts.…”

Section: Coordination Layermentioning

confidence: 99%

See 1 more Smart Citation

Community Cloud Computing

Marinos

Briscoe

2009

Lecture Notes in Computer Science

169

115

View full text Add to dashboard Cite

Abstract-. Cloud Computing is rising fast, with its data centres growing at an unprecedented rate. However, this has come with concerns over privacy, efficiency at the expense of resilience, and environmental sustainability, because of the dependence on Cloud vendors such as Google, Amazon and Microsoft. Our response is an alternative model for the Cloud conceptualisation, providing a paradigm for Clouds in the community, utilising networked personal computers for liberation from the centralised vendor model. Community Cloud Computing (C3) offers an alternative architecture, created by combing the Cloud with paradigms from Grid Computing, principles from Digital Ecosystems, and sustainability from Green Computing, while remaining true to the original vision of the Internet. It is more technically challenging than Cloud Computing, having to deal with distributed computing issues, including heterogeneous nodes, varying quality of service, and additional security constraints. However, these are not insurmountable challenges, and with the need to retain control over our digital lives and the potential environmental consequences, it is a challenge we must pursue.

show abstract

Section: Coordination Layermentioning

confidence: 99%

“…Still, without a more granular approach to conflict resolution from different patching sources, poor developer relations could risk fragmentation of the codebase and network. So, an alternative non-centralised software innovation model would be required, such as the declarative generative programming paradigm [104] mentioned.…”

Section: Distributed Innovationmentioning

confidence: 99%

Community Cloud Computing

Marinos

Briscoe

2009

Lecture Notes in Computer Science

169

115

View full text Add to dashboard Cite

show abstract

“…The relational database is also automatically generated by the model. The work in [17] demonstrates Figure 6: SBVR rules transformed to SQL queries [23] how information systems can be generated directly from SBVR. Therefore, SBVR can be used to formulate complex data queries in a way that provides a higher level of abstraction than SQL (or any other query language) as shown in [23].…”

Section: Discussionmentioning

confidence: 99%

Service Choreography, SBVR, and Time

Manaf

Moschoyiannis

Krause

2015

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

We propose the use of structured natural language (English) in specifying service choreographies, focusing on the what rather than the how of the required coordination of participant services in realising a business application scenario. The declarative approach we propose uses the OMG standard Semantics of Business Vocabulary and Rules (SBVR) as a modelling language. The service choreography approach has been proposed for describing the global orderings of the invocations on interfaces of participant services. We therefore extend SBVR with a notion of time which can capture the coordination of the participant services, in terms of the observable message exchanges between them. The extension is done using existing modelling constructs in SBVR, and hence respects the standard specification. The idea is that users -domain specialists rather than implementation specialists -can verify the requested service composition by directly reading the structured English used by SBVR. At the same time, the SBVR model can be represented in formal logic so it can be parsed and executed by a machine.

show abstract

“…For example, as discussed in [31] where we propose a different approach to service composition that builds on declarative technologies, a request for organising a trip in a DE setting would result in a long-running transaction that includes subtransactions for booking a flight, a hotel and local transport. These would execute concurrently, but would also be provided by different organisations (in fact, different ones even for each run of the corresponding transaction).…”

Section: Related Workmentioning

confidence: 99%

True Concurrency in Long-running Transactions for Digital Ecosystems

Moschoyiannis

Krause

2015

View full text Add to dashboard Cite

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 so-called 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.

show abstract

What, not how: A generative approach to service composition

Cited by 9 publications

References 7 publications

Community Cloud Computing

Community Cloud Computing

Service Choreography, SBVR, and Time

True Concurrency in Long-running Transactions for Digital Ecosystems

Contact Info

Product

Resources

About