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.