Enhancing conflict detecting mechanism for Web Services composition: A business process flow model transformation approach

Huang, Shi‐Ming; Chu, Yuang-Te; Li, Shing‐Han; Yen, David C.

doi:10.1016/j.infsof.2007.10.014

Cited by 21 publications

(12 citation statements)

References 50 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [14], integral meta-processes and a conflict detecting mechanism (CDM) are designed to facilitate for process designers. Conflicts are defined as events that cause accurate meta-process design and could violate the normal or expected results.…”

Section: Related Workmentioning

confidence: 99%

An energy efficient service composition mechanism using a hybrid meta-heuristic algorithm in a mobile cloud environment

Ibrahim

Rashid

Akinsolu

2020

Journal of Parallel and Distributed Computing

View full text Add to dashboard Cite

Godar J. Ibrahim, Tarik A. Rashid, Mobayode O. Akinsolu. An energy efficient service composition mechanism using a hybrid meta-heuristic algorithm in a mobile cloud environment, Journal of Parallel and Distributed Computing, AbstractBy increasing mobile devices in technology and human life, using a runtime and mobile services has gotten more complex along with the composition of a large number of atomic services. Different services are provided by mobile cloud components to represent the nonfunctional properties as Quality of Service (QoS), which is applied by a set of standards. On the other hand, the growth of the energy-source heterogeneity in mobile clouds is an emerging challenge according to the energy-saving problem in mobile nodes. To mobile cloud service composition as an NP-Hard problem, an efficient selection method should be taken by problem using optimal energy-aware methods that can extend the deployment and interoperability of mobile cloud components. Also, an energy-aware service composition mechanism is required to preserve high energy saving scenarios for mobile cloud components. In this paper, an energy-aware mechanism is applied to optimize mobile cloud service composition using a hybrid Shuffled Frog Leaping Algorithm and Genetic Algorithm (SFGA). Experimental results capture that the proposed mechanism improves the feasibility of the service composition with minimum energy consumption, response time, and cost for mobile cloud components against some current algorithms. An energy efficient service composition mechanism using a hybrid meta-heuristic algorithm in a mobile cloud environment, Journal of Parallel and Distributed Computing, 2 Godar J. Ibrahim, Tarik A. Rashid, Mobayode O. Akinsolu. An energy efficient service composition mechanism using a hybrid meta-heuristic algorithm in a mobile cloud environment, Journal of Parallel and Distributed Computing,

show abstract

Section: Related Workmentioning

confidence: 99%

An energy efficient service composition mechanism using a hybrid meta-heuristic algorithm in a mobile cloud environment

Ibrahim

Rashid

Akinsolu

2020

Journal of Parallel and Distributed Computing

View full text Add to dashboard Cite

show abstract

“…The example scenario we used to elaborate our conflict example is a Loan Flow service was provided by Collaxa [9]. The functionality of the system requires that a user enters a social security number as an input into the system.…”

Section: B Example Conflicting Scenariomentioning

confidence: 99%

Negotiation towards Service Level Agreements: A Life Cycle Based Approach

Hashmi

Haque

Schmieders

et al. 2011

2011 IEEE World Congress on Services

View full text Add to dashboard Cite

Abstract-Service Based Systems (SBSs) are composed of loosely coupled services. Different stakeholders in these systems, e.g. service providers, service consumers, and business decision makers, have different types of concerns which may be dissimilar or inconsistent. Service Level Agreements (SLAs) play a major role in ensuring the quality of SBSs. They stipulate the availability, reliability, and quality levels required for an effective interaction between service providers and consumers. It has been noticed that because of having conflicting priorities and concerns, conflicts arise between service providers and service consumers while negotiating over the functionality of potential services. Since these stakeholders are involved with different phases the life cycle, it is really important to take into consideration these life cycle phases for proposing any kind of SLA negotiation methodology.In this research, we propose a stakeholder negotiation strategy for Service Level Agreements, which is based on prioritizing stakeholder concerns based on their frequency at each phase of the SBS development life cycle. We make use of a Collaxa BPEL Orchestration Server Loan service example to demonstrate the applicability of the proposed approach. In addition, we simulate the negotiation priority values to predict their potential impact on the cost of the SLA negotiation.

show abstract

“…A brief survey of existing business process design tools can be found in [10]. This work compares a set of academic and commercial products for service-based process modeling, namely, Bind Studio, BPEL Orchestration Server, WebDesigner, eFlow, SWORD, DAML-S, WCPT, SODA, and WebDG.…”

Section: Related Workmentioning

confidence: 99%

Data-aware design and verification of service compositions with Reo and mCRL2

Kokash

Krause

Vink

2010

Proceedings of the 2010 ACM Symposium on Applied Computing

View full text Add to dashboard Cite

Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enables a compositional construction of complex connectors from a set of primitive channels. It has been successfully applied in the area of web service composition specification as well as in business process modeling. In this paper, we present a mapping from Reo to mCRL2, a specification language based on the process algebra ACP, extended with data and time. The mapping enables verification of Reo process models and service compositions using the mCRL2 model checking facilities. The supporting Eclipse Coordination Tools suite provides a user-friendly environment for the modeling and verification process.

show abstract

Enhancing conflict detecting mechanism for Web Services composition: A business process flow model transformation approach

Cited by 21 publications

References 50 publications

An energy efficient service composition mechanism using a hybrid meta-heuristic algorithm in a mobile cloud environment

An energy efficient service composition mechanism using a hybrid meta-heuristic algorithm in a mobile cloud environment

Negotiation towards Service Level Agreements: A Life Cycle Based Approach

Data-aware design and verification of service compositions with Reo and mCRL2

Contact Info

Product

Resources

About