Workflow Composition of Service Level Agreements

Blake, M. Brian; Cummings, David J.

doi:10.1109/scc.2007.136

Cited by 34 publications

(20 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The atomic applications defined in the workflow are static, which means they will not be modified or removed frequently. The atomic services, however, are dynamic [6] [7]. There are many famous techniques including eFlow [8] [9] and PPM [10].…”

Section: Related Workmentioning

confidence: 99%

Towards Service Composition Based on Theorem Proving

Zhai¹,

Xin²,

Song

2015

Advanced Science and Technology Letters

View full text Add to dashboard Cite

Abstract. Web Service composition has become a critical technology to react to the complex functional requirements put forward by business logic in ecommerce. How to guarantee the reliability of composite Web service is a hot topic through all the phase of lifecycle, including design, development and deployment. To this end, we are motivated to propose a Type Theory (TT) based method to automatic service composition. First of all, a service model in form of TT representation defines the atomic services declarations, semantic relation and composition request. Then, a set of TT rules that helps to prove the satisfiability of the user's request is formally given. Later, several useful tools transforming the service declaration files to the propositions and extracting the composition result from the proof is discussed. To face the challenge of reliability, we show a hybrid model, which dynamically binds service with the corresponding strict proving, to ensure the reliability of our method during compositing services. At last, the proposed method is implemented and a complete case study is conducted to demonstrate the applicability and effectiveness of our techniques.

show abstract

Section: Related Workmentioning

confidence: 99%

Towards Service Composition Based on Theorem Proving

Zhai¹,

Xin²,

Song

2015

Advanced Science and Technology Letters

View full text Add to dashboard Cite

show abstract

“…A little research has been carried out towards dynamic SLA composition of workflows [3,33,34]. The research area corresponding to the management of such aggregated SLAs is still wide open.…”

Section: Related Workmentioning

confidence: 99%

“…Workflow composition also implies the composition of their corresponding SLAs. SLA composition in workflows has been mostly treated [3] as a single-layer process. This single-layer SLA composition model was insufficient to describe coalition workflows [4] where a multilayered aggregation of services is required that results in supply-chain type of business networks.…”

Section: Introductionmentioning

confidence: 99%

Rule-based validation of SLA choreographies

et al. 2010

View full text Add to dashboard Cite

For the Service Economy to prosper, IT-based Service Markets are required to perform certain business actions autonomically and autonomously, e.g. helping companies to establish networks of business relationships. Service Markets, to be practically realized require an enabling infrastructure that supports business-to-business (B2B) relationships among business stakehoders, resulting in value chains.B2B workflow interoperation across Virtual Organisations (VOs) brings about novel business scenarios. In these scenarios, parts of workflows corresponding to different partners can be aggregated in a producer-consumer manner, leading to hierarchical structures of added value. Service Level Agreements (SLAs), which are contracts between service providers and service consumers, guarantee the expected quality of service (QoS) to different stakeholders at various levels along this hierarchy. Automation of service composition in these coalition workflows directly implies the aggregation of their corresponding SLAs. This hierarchical choreography and aggregation poses new challenges regarding SLA description, management, maintenance, validation, trust and security. In this paper we focus on design and architecture of an agent-oriented, rule-based validation framework for hierarchical SLA aggregation, enabling cross-VO workflow cooperation. The framework is based on the Rule Responder architecture, the RBSLA project, a formal model of SLA Views, and a distributed trust model.

show abstract

“…A little research has been carried out towards dynamic SLA composition of workflows [5] [10,25]. The research area corresponding to the management of such aggregated SLAs is still wide open.…”

Section: Related Workmentioning

confidence: 99%

“…Workflow composition also implies the composition of their corresponding SLAs. So far, SLA composition in workflows has been considered [5] as a single-layer process. This single-layer SLA composition model is insufficient to describe coalition workflows [23] where a multilayered aggregation of services is required that results in supply-chain type of business networks.…”

Section: Introductionmentioning

confidence: 99%

Rule-Based Workflow Validation of Hierarchical Service Level Agreements

Haq

Paschke

Schikuta

et al. 2009

2009 Workshops at the Grid and Pervasive Computing Conference

View full text Add to dashboard Cite

Business-to-business workflow interoperation across Virtual Organisations (VOs) brings about possibilities for novel business scenarios. In such business scenarios, parts of workflows corresponding to different partners can be aggregated in a producer-consumer manner, making hierarchical structures of added value. Service Level Agreements (SLAs), which are contracts between service providers and service consumers, guarantee the expected quality of service (QoS) to different stake holders at various levels in this hierarchy. This hierarchical SLA choreography and aggregation poses new challenges regarding its description, management, maintenance, validation, trust and security. In this paper we focus on the design and assessment of an agentenabled, rule-based validation framework for the hierarchical SLA aggregation, corresponding to cross-VO workflow cooperation.

show abstract

Workflow Composition of Service Level Agreements

Cited by 34 publications

References 7 publications

Towards Service Composition Based on Theorem Proving

Towards Service Composition Based on Theorem Proving

Rule-based validation of SLA choreographies

Rule-Based Workflow Validation of Hierarchical Service Level Agreements

Contact Info

Product

Resources

About