FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2916817286> ?p ?o ?g. }

• W2916817286 endingPage "1607" @default.
• W2916817286 startingPage "1591" @default.
• W2916817286 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." @default.
• W2916817286 created "2019-03-02" @default.
• W2916817286 creator A5007907571 @default.
• W2916817286 creator A5021772077 @default.
• W2916817286 creator A5080921529 @default.
• W2916817286 creator A5088455579 @default.
• W2916817286 date "2019-12-02" @default.
• W2916817286 modified "2023-09-26" @default.
• W2916817286 title "Formal modeling and verification of a service composition approach in the social customer relationship management system" @default.
• W2916817286 cites W1437266093 @default.
• W2916817286 cites W1972784453 @default.
• W2916817286 cites W2030646489 @default.
• W2916817286 cites W2045290959 @default.
• W2916817286 cites W2055410913 @default.
• W2916817286 cites W2079923099 @default.
• W2916817286 cites W2120586626 @default.
• W2916817286 cites W2147486909 @default.
• W2916817286 cites W2177307695 @default.
• W2916817286 cites W2261330476 @default.
• W2916817286 cites W2310167541 @default.
• W2916817286 cites W2393454891 @default.
• W2916817286 cites W2495349330 @default.
• W2916817286 cites W2545713075 @default.
• W2916817286 cites W2597275987 @default.
• W2916817286 cites W2607273697 @default.
• W2916817286 cites W2748732287 @default.
• W2916817286 cites W2760136911 @default.
• W2916817286 cites W2771276885 @default.
• W2916817286 cites W2773588639 @default.
• W2916817286 cites W2773847204 @default.
• W2916817286 cites W2779488527 @default.
• W2916817286 cites W2781543123 @default.
• W2916817286 cites W2793096616 @default.
• W2916817286 cites W2801294926 @default.
• W2916817286 cites W2803604597 @default.
• W2916817286 cites W2807009629 @default.
• W2916817286 cites W2810265518 @default.
• W2916817286 cites W2885654071 @default.
• W2916817286 cites W2890532764 @default.
• W2916817286 cites W2898125743 @default.
• W2916817286 cites W4250687475 @default.
• W2916817286 doi "https://doi.org/10.1108/itp-02-2018-0109" @default.
• W2916817286 hasPublicationYear "2019" @default.
• W2916817286 type Work @default.
• W2916817286 sameAs 2916817286 @default.
• W2916817286 citedByCount "23" @default.
• W2916817286 countsByYear W29168172862019 @default.
• W2916817286 countsByYear W29168172862020 @default.
• W2916817286 countsByYear W29168172862021 @default.
• W2916817286 countsByYear W29168172862022 @default.
• W2916817286 crossrefType "journal-article" @default.
• W2916817286 hasAuthorship W2916817286A5007907571 @default.
• W2916817286 hasAuthorship W2916817286A5021772077 @default.
• W2916817286 hasAuthorship W2916817286A5080921529 @default.
• W2916817286 hasAuthorship W2916817286A5088455579 @default.
• W2916817286 hasConcept C110251889 @default.
• W2916817286 hasConcept C111498074 @default.
• W2916817286 hasConcept C11413529 @default.
• W2916817286 hasConcept C136643341 @default.
• W2916817286 hasConcept C144133560 @default.
• W2916817286 hasConcept C162853370 @default.
• W2916817286 hasConcept C174998907 @default.
• W2916817286 hasConcept C199360897 @default.
• W2916817286 hasConcept C2780378061 @default.
• W2916817286 hasConcept C41008148 @default.
• W2916817286 hasConcept C55439883 @default.
• W2916817286 hasConcept C77088390 @default.
• W2916817286 hasConcept C80444323 @default.
• W2916817286 hasConcept C85345410 @default.
• W2916817286 hasConcept C98045186 @default.
• W2916817286 hasConceptScore W2916817286C110251889 @default.
• W2916817286 hasConceptScore W2916817286C111498074 @default.
• W2916817286 hasConceptScore W2916817286C11413529 @default.
• W2916817286 hasConceptScore W2916817286C136643341 @default.
• W2916817286 hasConceptScore W2916817286C144133560 @default.
• W2916817286 hasConceptScore W2916817286C162853370 @default.
• W2916817286 hasConceptScore W2916817286C174998907 @default.
• W2916817286 hasConceptScore W2916817286C199360897 @default.
• W2916817286 hasConceptScore W2916817286C2780378061 @default.
• W2916817286 hasConceptScore W2916817286C41008148 @default.
• W2916817286 hasConceptScore W2916817286C55439883 @default.
• W2916817286 hasConceptScore W2916817286C77088390 @default.
• W2916817286 hasConceptScore W2916817286C80444323 @default.
• W2916817286 hasConceptScore W2916817286C85345410 @default.
• W2916817286 hasConceptScore W2916817286C98045186 @default.
• W2916817286 hasIssue "6" @default.
• W2916817286 hasLocation W29168172861 @default.
• W2916817286 hasOpenAccess W2916817286 @default.
• W2916817286 hasPrimaryLocation W29168172861 @default.
• W2916817286 hasRelatedWork W1979040956 @default.
• W2916817286 hasRelatedWork W2148684266 @default.
• W2916817286 hasRelatedWork W2159626406 @default.
• W2916817286 hasRelatedWork W2296663577 @default.
• W2916817286 hasRelatedWork W2360631724 @default.
• W2916817286 hasRelatedWork W2373555819 @default.
• W2916817286 hasRelatedWork W2982469106 @default.
• W2916817286 hasRelatedWork W3217123639 @default.
• W2916817286 hasRelatedWork W4315606162 @default.

• next