A Controlled Natural Language for Business Intelligence Monitoring

  • Christian ColomboEmail author
  • Jean-Paul Grech
  • Gordon J. PaceEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9103)


With ever increasing information available in social networks, the number of businesses attempting to exploit it is on the rise, particularly by keeping track of their customers’ posts and likes on social media sites like Facebook. Whilst APIs can be used to automate the tracking process, writing scripts to extract information and process it requires considerable technical skill and is thus not an option for non technical business analysts. On the other hand, off-the-shelf business intelligence solutions do not provide the desired flexibility for the specific needs of particular businesses. In this paper, we present a controlled natural language enabling non-technical users to express their queries in a language they can easily understand but which can be directly compiled into executable code.


Controlled natural languages Social networks Runtime verification 


  1. 1.
  2. 2.
    Geckoboard. December 2013.
  3. 3.
    Tableau software. December 2013.
  4. 4.
    Colin, S., Mariani, L.: 18 run-time verification. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 525–555. Springer, Heidelberg (2005) CrossRefGoogle Scholar
  5. 5.
    Colombo, C., Pace, G.J., Schneider, G.: Larva – safer monitoring of real-time java programs (tool paper). In: Software Engineering and Formal Methods, pp. 33–37. IEEE (2009)Google Scholar
  6. 6.
    Esser, M.W., Struss, P.: Obtaining models for test generation from natural-language-like functional specifications. In: Workshop on Principles of Diagnosis, pp. 75–82 (2007)Google Scholar
  7. 7.
    Kuhn, T.: A survey and classification of controlled natural languages. Comput. Linguist. 40(1), 121–170 (2014)CrossRefGoogle Scholar
  8. 8.
    Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebr. Program. 78, 293–303 (2009)zbMATHCrossRefGoogle Scholar
  9. 9.
    Ranta, A.: Grammatical framework. J. Funct. Program. 14(2), 145–189 (2004)zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.University of MaltaMsidaMalta

Personalised recommendations