A CP-Nets-Based Model and Verification for Consumer-Centric Information Service Composition

A CP-nets-based model for consumer-centric information service composition is proposed. Moreover, an algorithm was provided to construct the model. The model can explicitly express the diversity and individuality of users´ needs, and the combinational logic between services graphically, and verify the correctness of services composition by using the reachability, safeness, boundedness, liveness and fairness of CP-nets. Finally, there is an example, a concrete consumer-centric information service composition for a system is modeled and validated based on CP-nets method. It shows that this modeling approach has enough capability of expressing and verifying consumer-centric information service composition.