ASTRO: Supporting Composition and Execution of Web Services

Abstract-This paper presents a systematic literature review of end-user service composition. It reviews current activities performed by end users, and tools and approaches that enable them to compose and develop service systems from Web Services. The paper also highlights some key open research issues for the future.Keywords -Systematic literature review, end user, end-user service composition, end-user development, end-user programming, end-user computing, service composition platform.

show abstract

“…In Astro [6] and VIEW [12], service monitors are applied to monitor the violation of the monitored properties of composite services.…”

Section: ) Checking Against Design Specification Another Approach Tmentioning

confidence: 99%

Supporting End-User Service Composition: A Systematic Review of Current Activities and Tools

Hang

Zhao

2015

2015 IEEE International Conference on Web Services

View full text Add to dashboard Cite

show abstract

“…The ASTRO toolset [35] supports automated composition of Web services and the monitoring of their execution. It aims to compose a service starting from a business requirement and the description of the protocols defining available external services.…”

Section: Related Workmentioning

confidence: 99%

Automated Integration of Service-Oriented Software Systems

Autili

Inverardi

Tivoli

2015

Fundamentals of Software Engineering

View full text Add to dashboard Cite

Abstract. In the near future we will be surrounded by a virtually infinite number of software applications that provide services in the digital space. This situation radically changes the way software will be produced and used: (i) software is increasingly produced according to specific goals and by integrating existing software; (ii) the focus of software production will be shifted towards reuse of third-parties software, typically blackbox, that is often provided without a machine readable documentation. The evidence underlying this scenario is that the price to pay for this software availability is a lack of knowledge on the software itself, notably on its interaction behaviour. A producer will operate with software artefacts that are not completely known in terms of their functional and non-functional characteristics. The general problem is therefore directed to the ability of interacting with the artefacts to the extent the goal is reached. This is not a trivial problem given the virtually infinite interaction protocols that can be defined at application level. Different software artefacts with heterogeneous interaction protocols may need to interoperate in order to reach the goal. In this paper we focus on techniques and tools for integration code synthesis, which are able to deal with partial knowledge and automatically produce correct-by-construction serviceoriented systems with respect to functional goals. The research approach we propose builds around two phases: elicit and integrate. The first concerns observation theories and techniques to elicit functional behavioural models of the interaction protocol of black-box services. The second deals with compositional theories and techniques to automatically synthesize appropriate integration means to compose the services together in order to realize a service choreography that satisfies the goal.

show abstract

“…Common approaches to process verification usually take a business process model, translate a process model into a Petri net or another form of a state-based encoding and then run a Petri-net analysis tool or model checker on the encoding. Examples are the Woflan tool [18] or the application of SMV or Spin to BPEL verification, e.g., [19,20]. In principle, these approaches make it possible to detect errors in business processes.…”

Section: Structural and Semantic Analysismentioning

confidence: 99%

Towards a Compiler for Business-IT Systems

Koehler

Gschwind

Küster

et al. 2011

Software Engineering Techniques

View full text Add to dashboard Cite

Abstract. Business information systems and enterprise applications have continuously evolved into Business-IT systems over the last decades, directly linking and integrating Business Process Management with recent technology evolutions such as Web services and Service-Oriented Architectures. Many of these technological evolutions include areas of past academic research: Business rules closely relate to expert systems, Semantic Web technology uses results from description logics, attempts have been made to compose Web services using intelligent planning techniques, and the analysis of business processes and Web service choreographies often relies on model checking. As such, many of the problems that arise with these new technologies have been solved at least in principle.However, if we try to apply these "in principle" solutions, we are confronted with the failure of these solutions in practice: many proposed solution techniques do not scale to the real-world requirements or they rely on assumptions that are not satisfied by Business-IT systems.As has been observed previously, research in this area is fragmented and does not follow a truly interdisciplinary approach. To overcome this fragmentation, we propose the vision of a compiler for Business-IT systems that takes business process specifications described at various degrees of detail as input and compiles them into executable IT systems. As any classical compiler, the parsing, analysis, optimization, code generation and linking phases are supported. We describe a set of ten research problems that we see as critical to bring our compiler vision to reality.

show abstract

ASTRO: Supporting Composition and Execution of Web Services

Cited by 40 publications

References 1 publication

Supporting End-User Service Composition: A Systematic Review of Current Activities and Tools

Supporting End-User Service Composition: A Systematic Review of Current Activities and Tools

Automated Integration of Service-Oriented Software Systems

Towards a Compiler for Business-IT Systems

Contact Info

Product

Resources

About