@article{ART002537641},
author={Eun-Sook Cho and Chee-Yang Song},
title={A Formal Specification and Meta-Model for Development of Cooperative Collection·Analysis Framework},
journal={Journal of The Korea Society of Computer and Information},
issn={1598-849X},
year={2019},
volume={24},
number={12},
pages={85-92},
doi={10.9708/jksci.2019.24.12.085}
TY - JOUR
AU - Eun-Sook Cho
AU - Chee-Yang Song
TI - A Formal Specification and Meta-Model for Development of Cooperative Collection·Analysis Framework
JO - Journal of The Korea Society of Computer and Information
PY - 2019
VL - 24
IS - 12
PB - The Korean Society Of Computer And Information
SP - 85
EP - 92
SN - 1598-849X
AB - Companies can identify user groups or consumption trends by collecting and analyzing opinions of many users on special subjects or their products as well as utilize them as various purposes such as predicting some specific trends or marketing strategies. Therefore current analyzing tools of social media have come into use as a means to measure the performances of social media marketing through network’s statistical analysis. However these tools require expensive computing and network resources including burden of costs for building up and operating complex software platforms and much operating know-how. Hence, small companies or private business operators have difficulty in utilizing those social media data effectively. This paper proposes a framework applied into developing analysis system of social media. The framework could be set up and operate the system to extract necessary social media’s data. Also to design the system, this study suggests a meta-model of proposed framework and to guarantee completeness and consistency, a formal specification of meta-model by using Z language is suggested. Finally, we could verify the clearness of framework’s design by performing Z model checking of formal specification’s output through Z-EVES tool.
KW - Social Media;Data Analysis;Framework;Meta-model;Formal Specification
DO - 10.9708/jksci.2019.24.12.085
ER -
Eun-Sook Cho and Chee-Yang Song. (2019). A Formal Specification and Meta-Model for Development of Cooperative Collection·Analysis Framework. Journal of The Korea Society of Computer and Information, 24(12), 85-92.
Eun-Sook Cho and Chee-Yang Song. 2019, "A Formal Specification and Meta-Model for Development of Cooperative Collection·Analysis Framework", Journal of The Korea Society of Computer and Information, vol.24, no.12 pp.85-92. Available from: doi:10.9708/jksci.2019.24.12.085
Eun-Sook Cho, Chee-Yang Song "A Formal Specification and Meta-Model for Development of Cooperative Collection·Analysis Framework" Journal of The Korea Society of Computer and Information 24.12 pp.85-92 (2019) : 85.
Eun-Sook Cho, Chee-Yang Song. A Formal Specification and Meta-Model for Development of Cooperative Collection·Analysis Framework. 2019; 24(12), 85-92. Available from: doi:10.9708/jksci.2019.24.12.085
Eun-Sook Cho and Chee-Yang Song. "A Formal Specification and Meta-Model for Development of Cooperative Collection·Analysis Framework" Journal of The Korea Society of Computer and Information 24, no.12 (2019) : 85-92.doi: 10.9708/jksci.2019.24.12.085
Eun-Sook Cho; Chee-Yang Song. A Formal Specification and Meta-Model for Development of Cooperative Collection·Analysis Framework. Journal of The Korea Society of Computer and Information, 24(12), 85-92. doi: 10.9708/jksci.2019.24.12.085
Eun-Sook Cho; Chee-Yang Song. A Formal Specification and Meta-Model for Development of Cooperative Collection·Analysis Framework. Journal of The Korea Society of Computer and Information. 2019; 24(12) 85-92. doi: 10.9708/jksci.2019.24.12.085
Eun-Sook Cho, Chee-Yang Song. A Formal Specification and Meta-Model for Development of Cooperative Collection·Analysis Framework. 2019; 24(12), 85-92. Available from: doi:10.9708/jksci.2019.24.12.085
Eun-Sook Cho and Chee-Yang Song. "A Formal Specification and Meta-Model for Development of Cooperative Collection·Analysis Framework" Journal of The Korea Society of Computer and Information 24, no.12 (2019) : 85-92.doi: 10.9708/jksci.2019.24.12.085
