Abstract:Purpose The purpose of this paper is to present a formal verification method to prove the correctness of social customer relationship management (CRM)-based service composition approach. The correctness of the proposed approach is analyzed to evaluate the customer behavioral interactions for discovering, selecting and composing social CRM-based services. In addition, a Kripke structure-based verification method is presented for verifying the behavioral models of the proposed approach. Design/methodology/approach Evaluating the customer behavioral interactions using the social CRM-based service composition approach is an important issue. In addition, formal verification has an important role in assessing the social CRM-based service composition. However, model checking can be efficient as a verification method to evaluate the functional properties of the social CRM-based service composition approach. Findings The results of model checking satisfied the logical problems in the proposed behavior model analysis. In the statistical testing, the proposed URM mechanism supported the four knowledge creation process conditions. It was also shown that the percentage of state reachability in the URM with KCP conditions is higher than the URM mechanism without supporting KCP conditions. Originality/value The comparison of time and memory consumption of the model checking method shows that the social CRM-based service composition approach covers knowledge process features, which makes it an efficient method.

A model checking approach for user relationship management in the social network

Formal modeling and verification of a service composition approach in the social customer relationship management system

Model Checking Social Network Models

A Verification Method of Software Safety Model Based on Model Checker

Verification Framework for UML-Based Design of Embedded Systems.

Learning a Probabilistic Semantic Model from Heterogeneous Social Networks for Relationship Identification

Fuzzy Petri Nets for Human Behavior Verification and Validation

Model checking of authentication protocols

The Verification of Program Relationships in the Context of Software Cybernetics.

Model Checking Syllabi and Student Carreers

Modeling and Model Checking by Modular Approach

A Verification Method of Security Model Based on UML and Model Checking

An approach for design and formal verification of safety-critical software

Verification of Program by Inspecting Internal Relations Relying on User Requirements

Model-Driven Engineering for Formal Verification and Security Testing of Authentication Protocols

Integration of Modeling and Verification for System Model Based on KARMA Language.

Statistical Model Checking of Complex Robotic Systems

A Formal Approach for Modeling and Verification of Distributed Systems.

A Model Checking Algorithm for Multiagent Systems

Enabling model checking for collaborative process analysis: from BPMN to ‘Network of Timed Automata’

Trust Modelling and Verification Using Event-B