Formal modeling and verification of a service composition approach in the social customer relationship management system
- 2 December 2019
- journal article
- research article
- Published by Emerald in Information Technology & People
- Vol. 32 (6), 1591-1607
- https://doi.org/10.1108/itp-02-2018-0109
Abstract
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. 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. 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. 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.Keywords
This publication has 33 references indexed in Scilit:
- Fostering sustainability by linking co-creation and relationship management conceptsJournal of Cleaner Production, 2017
- Categorization and standardization of accidental risk-criticality levels of human error to develop risk and safety management policySafety Science, 2016
- The impact of cost, technology acceptance and employees' satisfaction on the effectiveness of the electronic customer relationship management systemsComputers in Human Behavior, 2016
- A two-step model for self-organized social network pre-constructionTelematics and Informatics, 2016
- Dominant Cognitive Frames and the Innovative Power of Social NetworksOrganization Studies, 2016
- Behavioral modeling and formal verification of a resource discovery approach in Grid computingExpert Systems with Applications, 2014
- Exploring the role of customer relationship management (CRM) systems in customer knowledge creationInformation & Management, 2014
- Managing Customer Relationships in the Social Media Era: Introducing the Social CRM HouseJournal of Interactive Marketing, 2013
- Formal verification of collaboration patterns in healthcareBehaviour & Information Technology, 2013
- Understanding success and failure in customer relationship managementIndustrial Marketing Management, 2008