Conflict detection in composite web services based on model checking

Kim, Yeon Seok; Shin, Dong Hoon; Jeon, Hyun Bae; Lee, Kyong-Ho; Cho, Kee Seong; Park, Wonjoo

doi:10.1504/ijwgs.2013.057470

Cited by 6 publications

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Some researchers have explored the design conflict identification approaches. Kim et al (2013) propose a method to detect conflicts, which may occur during the execution time of composite web services, based on model checking. Yan and Zeng (2011) propose a formal structure which represents conflicts based on the axiomatic theory of design modeling and the recursive object model.…”

Section: Literature Review 21 Design Conflict Identificationmentioning

confidence: 99%

“…They lack tools considering the features of PSO, e.g. the conflict identification method in Kim et al (2013) is only designed for composite web services. Yan (2013) proposes methods for detecting conflicts and presents a set of general resolution principles, which include modifying resource object, separating conflict relations in time or in space, changing the two competing objects, using optimization methods, and replacing the whole conflict.…”

Section: Literature Review 21 Design Conflict Identificationmentioning

confidence: 99%

See 1 more Smart Citation

Service conflict identification and resolution for design of product–service offerings

Song

Sakao

2016

Computers & Industrial Engineering

View full text Add to dashboard Cite

Many manufacturers today are striving to provide high value-added productservice offerings (PSO) to their customers. PSO has heterogonous structure and various requirements, which may lead to technical attributes' conflicts during the design process. The conflicts will lead to the difficulty of concept generation, increase of service delivery failure, and eventually the decrease of customer satisfaction. However, the conflicts in PSO design areas are more intangible and harder to formulate. Moreover, those conflicts are often resolved with trial and error methods in ad hoc processes, which largely depend on the designer's intuition. Thus, in this paper, the authors propose a systematic method to identify PSO design conflicts and resolve them. The proposed method is based on the approach of service function and attributes analysis, group decision making with unbalanced linguistic label set and TRIZ methodology. In addition, a case study of design conflict identification and resolution for elevator service reveals the feasibility and potentials of the proposed method.

show abstract

Section: Literature Review 21 Design Conflict Identificationmentioning

confidence: 99%

Section: Literature Review 21 Design Conflict Identificationmentioning

confidence: 99%