본문 바로가기
  • Home

A Formal Specification and Meta-Model for Development of Cooperative Collection·Analysis Framework

  • Journal of The Korea Society of Computer and Information
  • Abbr : JKSCI
  • 2019, 24(12), pp.85-92
  • DOI : 10.9708/jksci.2019.24.12.085
  • Publisher : The Korean Society Of Computer And Information
  • Research Area : Engineering > Computer Science
  • Received : November 15, 2019
  • Accepted : December 16, 2019
  • Published : December 31, 2019

Eun-Sook Cho 1 Chee-Yang Song 2

1서일대학교
2경북대학교

Accredited

ABSTRACT

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.

Citation status

* References for papers published after 2022 are currently being built.