• DocumentCode
    1603266
  • Title

    Analysing Wiki Quality Using Probabilistic Model Checking

  • Author

    De Ruvo, Giuseppe ; Santone, Antonella

  • Author_Institution
    Dept. of Eng., Univ. of Sannio, Benevento, Italy
  • fYear
    2015
  • Firstpage
    224
  • Lastpage
    229
  • Abstract
    Wikis delineate a new work tool in enterprises and they are spreading everywhere. Indeed, they are often used as internal documentation for various in-house systems and applications as well as powerful tools for collaboration and knowledge sharing. As occurs with software, the fundamental growth of a wiki may lead to its degradation. The quality of wikis, especially in enterprise contexts, should not play a trivial role. Software quality is a very discussed topic, but there are not many studies regarding the quality of wikis. We propose a probabilistic model to represent wikis and to investigate their quality. Due to the similarity with the World Wide Web it is natural to consider the popular Google PageRank (with minor modifications) to calculate probabilities between pages. Each wiki category, a set of wiki pages, is modelled using the PRISM language in order to verify specific properties in PCTL*. Experiments conducted on a adequate number of (enterprise) wikis assess the validity of our methodology.
  • Keywords
    Web sites; formal verification; information analysis; software quality; Google PageRank; PCTL* language; PRISM language; Wiki quality; Wiki quality analysis; World Wide Web; collaboration tool; knowledge sharing tool; probabilistic model checking; software quality; Electronic publishing; Encyclopedias; Google; Internet; Model checking; Probabilistic logic; PRISM; Probabilistic Temporal Logic; Quality; Wiki;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2015 IEEE 24th International Conference on
  • Conference_Location
    Larnaca
  • Type

    conf

  • DOI
    10.1109/WETICE.2015.18
  • Filename
    7194365