Diagnosing and Measuring Incompatibilities between Pairs of Services

Aït-Bachir, Ali; Fauvet, Marie-Christine

doi:10.1007/978-3-642-03573-9_18

Cited by 6 publications

(3 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…On the one hand, dynamic compatibility considers the behavioral features of Web services, basically by means of describing and examining the possible sequences of messages each of them can send or receive. This compatibility is the subject of some important studies such as [34] and [36]- [38]. They all would have to be taken into account if stateful Web services were used.…”

Section: B Web Service Incompatibilitiesmentioning

confidence: 99%

Aligning Business Processes With the Services Layer Using a Semantic Approach

et al. 2019

View full text Add to dashboard Cite

Organizations require their business processes goals and the underlying information technology (IT) to be in synchronization with each other, but the continual changes in business processes makes this difficult. To accomplish this synchronization, there needs to be an alignment between the business processes and the IT. Business processes are currently defined using such well-known notations as BPMN, and the IT is made available by different services. Hence, the alignment process can be defined as one between the organization's BPMNs and the services provided by its IT. In practice, however, this process is a complex task which is carried out by hand and hence is error prone. The present communication analyzes the conditions, relations, and incompatibilities between BPMNs and the service descriptions. The incompatibilities are formalized mathematically in order to facilitate their identification and resolution. Then, an alignment process is defined taking into account these incompatibilities and their solutions. The wrapper code needed to resolve each incompatibility identified during the alignment process is generated automatically. Finally, a case study is presented to validate and illustrate the use of the proposed alignment process. The results provided by the semiautomatic alignment process were similar to those obtained manually by a group of experts. INDEX TERMS Alignment process support, business process alignment, service-oriented architecture, semantic algorithms, service incompatibility resolution. ENCARNA SOSA-SÁNCHEZ received the B.Sc. and Ph.D. degrees in computer science from the University of Granada, in 1995 and 2018, respectively. She is currently pursuing the Ph.D. degree with the Computer Science Department, University of Extremadura, Spain. She is also an Assistant Professor with the Computer Science Department, University of Extremadura. She has published several peer-reviewed papers in international journals, workshops, and conferences. She is involved in several research projects. Her research interests include service-oriented architectures, business process modeling, and model-driven development.

show abstract

Section: B Web Service Incompatibilitiesmentioning

confidence: 99%

Aligning Business Processes With the Services Layer Using a Semantic Approach

et al. 2019

View full text Add to dashboard Cite

show abstract

“…In order to analyze the compatibility of service choreography, several formal semantics have been adopted, such as graphs [40], message sequence charts (MSC) [41], ontology [3], finite state machines (FSM) [43], process algebra (PA) [47], martin type theory (MTT) [49] and Petri nets (PN) [50]- [52]. In particular, Petri net models have been widely adopted to describe service choreography, from languages like WS-CDL to interaction Petri nets [25].…”

Section: Related Workmentioning

confidence: 99%

“…To establish a mapping between the interfaces from the automated synthesis of mediators, Bennaceur and Issarny [42] present a method to combine constraint programming and ontology reasoning. Based on FSM, Bachir and Fauvet [43] check whether two services are incompatible syntactically, and locate interfaces of services where incompatibilities happen.…”

Section: A Compatibility Verificationmentioning

confidence: 99%

A Petri Net Method for Compatibility Enforcement to Support Service Choreography

Yuan

Zhou

2016

IEEE Access

View full text Add to dashboard Cite

Non-local choice mismatch is one of the most important problems in the Internet-scale and service-based workflow ecosystems. The state-of-the-art method can solve it by generating adaptors to check deadlock-freeness based on a reachability graph. The states in the reachability graph give clues to re-design the composition. Deadlocks are resolved via an iterative process. However, this method is inefficient due to the overlook of the future deadlock state and the requirement of many interactions with a developer. In this paper, an abnormity prevention strategy based on an optimal controller is proposed for collaboration services described by Web Services Choreography Description Language. To overcome the deficiencies of the previous work, we describe service choreography by using service workflow nets. Then, by combining structure and reachability analyses, we formulate a different reachability graph called controlled reduced one. We next develop a maximally permissive state feedback control policy to prevent abnormity. We finally construct an optimal controller for the administrator of service composition to avoid deadlocks in service choreography. The advantage of our methodology is verified via an example.

show abstract

Log-based service diagnosis method in cloud

Jia

Xing

2014

2014 International Conference on Mechatronics and Control (ICMC)

View full text Add to dashboard Cite

Diagnosing and Measuring Incompatibilities between Pairs of Services

Cited by 6 publications

References 19 publications

Aligning Business Processes With the Services Layer Using a Semantic Approach

Aligning Business Processes With the Services Layer Using a Semantic Approach

A Petri Net Method for Compatibility Enforcement to Support Service Choreography

Log-based service diagnosis method in cloud

Contact Info

Product

Resources

About