Smart monitors for composed services

Baresi, Luciano; Ghezzi, Carlo; Guinea, Sam

doi:10.1145/1035167.1035195

Cited by 157 publications

(107 citation statements)

References 10 publications

Supporting

Mentioning

104

Contrasting

Unclassified

Order By: Relevance

“…BPEL for Java (BPELJ), for example, combines the capabilities of BPEL and the Java programming language [44]; in [45], Ezenwoye et al propose a language-based approach to transparently adapt BPEL processes to address reliability at the business process layer. Baresi et al in [46] propose an approach where BPEL processes are monitored at run-time through aspect-oriented techniques to check whether individual services comply with their contracts.…”

Section: Related Workmentioning

confidence: 99%

Towards Self-adaptation for Dependable Service-Oriented Systems

Cardellini

Casalicchio

Grassi

et al. 2009

Architecting Dependable Systems VI

View full text Add to dashboard Cite

Abstract. Increasingly complex information systems operating in dynamic environments ask for management policies able to deal intelligently and autonomously with problems and tasks. An attempt to deal with these aspects can be found in the Service-Oriented Architecture (SOA) paradigm that foresees the creation of business applications from independently developed services, where services and applications build up complex dependencies. Therefore the dependability of SOA systems strongly depends on their ability to self-manage and adapt themselves to cope with changes in the operating conditions and to meet the required dependability with a minimum of resources. In this paper we propose a model-based approach to the realization of self-adaptable SOA systems, aimed at the fulfillment of dependability requirements. Specifically, we provide a methodology driving the system adaptation and we discuss the architectural issues related to its implementation. To bring this approach to fruition, we developed a prototype tool and we show the results that can be achieved with a simple example.

show abstract

Section: Related Workmentioning

confidence: 99%

Towards Self-adaptation for Dependable Service-Oriented Systems

Cardellini

Casalicchio

Grassi

et al. 2009

Architecting Dependable Systems VI

View full text Add to dashboard Cite

show abstract

“…Both works do not provide a formal model, formal guarantees of correctness, nor support behavioural analysis. BPEL [4,5,27] is an orchestration description language that is now a common part of many industrial distributed systems where web services must be used in a coordinated manner. It supports the definition of abstract specifications as well as their execution.…”

Section: Related Workmentioning

confidence: 99%

“…BPEL specifications are designed to be run in a centralised way. Baresi et al [4] developed a run-time monitoring tool with assertions based on BPEL as an execution language. When the execution of a BPEL process reaches the point where an assertion must be checked, the tool calls an external service to check its satisfaction.…”

Section: Related Workmentioning

confidence: 99%

Monitoring Networks through Multiparty Session Types

Bocchi

Chen

Demangeon

et al. 2013

Formal Techniques for Distributed Systems

View full text Add to dashboard Cite

In large-scale distributed infrastructures, applications are realised through communications among distributed components. The need for methods for assuring safe interactions in such environments is recognised, however the existing frameworks, relying on centralised verification or restricted specification methods, have limited applicability. This paper proposes a new theory of monitored π -calculus with dynamic usage of multiparty session types (MPST), offering a rigorous foundation for safety assurance of distributed components which asynchronously communicate through multiparty sessions. Our theory establishes a framework for semantically precise decentralised run-time enforcement and provides reasoning principles over monitored distributed applications, which complement existing static analysis techniques. We introduce asynchrony through the means of explicit routers and global queues, and propose novel equivalences between networks, that capture the notion of interface equivalence, i.e. equating networks offering the same services to a user. We illustrate our static-dynamic analysis system with an ATM protocol as a running example and justify our theory with results: satisfaction equivalence, local/global safety and transparency, and session fidelity.

show abstract

“…Moreover, monitoring is addressed with several approaches: business rules [Lazovik et al 2004], WS-BPEL [Baresi et al 2004], event calculus [Mahbub and Spanoudakis 2004], WS-Agreement [Ludwig et al 2004], etc. Advanced conformance checking techniques described in [Rozinat and van der Aalst 2006] are used in and implemented in the ProM framework ; this approach has been applied to SOAP messages generated from Oracle BPEL.…”

Section: Related Workmentioning

confidence: 99%