Basic Mechanisms of the Formal Knowledge Representation for the Information Searching Tool for Process Modeling

Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 303)


Formal modeling of the processes is an issue that has its practical consequences. It could provide us enormous benefits that will solve many problems of the semi-formal modeling. Our intention is to develop a solution that will be able to be used as a tool that provides powerful searching mechanism of the modeled environment. That tool will be used as easily as any other informal or semi-formal approaches. Since the software development process is the area that might effectively use the benefits of formal approaches, we use it as an environment for the development of our method. In this paper we focus on the description and implementation of the necessary modeling mechanisms in the PROLOG language and provide a demonstration of the essential benefits of such an approach.


Formal modeling Software process Ontology PROLOG 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Atkinson, C., Kennel, B., Goß, B.: The Level-Agnostic Modeling Language. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 266–275. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  2. 2.
    Duží, M., Jespersen, B., Materna, P.: Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Springer (2010)Google Scholar
  3. 3.
    Kožusznik, J., Štolfa, S.: Basic Constructions for the Definition of the Software Development Process with Formal Method Paper read at the 2011 European Simulation and Modelling Conference (ESM 2011), Guimaraes (2011)Google Scholar
  4. 4.
    Kožusznik, J., Štolfa, S.: Knowledge based approach to software development process modeling. Paper read at Digital Information Processing and Communications, Ostrava (2011)Google Scholar
  5. 5.
    Kožusznik, J., Štolfa, S., Duží, M., Košinár, M., Číhalová, M.: Know How and Know What for Software Processes. In: Maciaszek, L.A., Loucopoulos, P. (eds.) ENASE 2010. CCIS, vol. 230, pp. 178–192. Springer, Heidelberg (2011)Google Scholar
  6. 6.
    Lenat, D., Miller, G., Yokoi, T.: Cyc, Wordnet, and Edr - Critiques and Responses - Discussion. Communications of the Acm 38(11), 45–48 (1995), doi:10.1145/219717.219757CrossRefGoogle Scholar
  7. 7.
    Machado, E.P., Traina Jr., C., Araujo, M.R.B.: Classification Abstraction: An Intrinsic Element in Database Systems. In: Yakhno, T. (ed.) ADVIS 2000. LNCS, vol. 1909, pp. 57–70. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  8. 8.
    Mossakowski, T., Maeder, C., Lüttich, K.: The heterogeneous tool set, HETS. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 519–522. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  9. 9.
    Ozorhan, E.K., Kuban, E.K., Cicekli, N.K.: Automated composition of web services with the abductive event calculus. Information Sciences 180(19), 3589–3613 (2010), doi:10.1016/j.ins.2010.05.040CrossRefGoogle Scholar
  10. 10.
    Scacchi, W.: Experience with software process simulation and modeling. Journal of Systems and Software 46(2-3), 183–192 (1999)CrossRefGoogle Scholar
  11. 11.
    Shanahan, M.: An abductive event calculus planner. Journal of Logic Programming 44(1-3), 207–239 (2000), doi:10.1016/s0743-1066(99)00077-1CrossRefMATHMathSciNetGoogle Scholar
  12. 12.
    Smith, J.M., Smith, D.C.P.: Database abstractions: aggre-gation and generalization. ACM Transactions on Database Systems 2(2), 105–133 (1977), doi:10.1145/320544.320546CrossRefGoogle Scholar
  13. 13.
    Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Compu-tational Foundations. Brooks Cole Publishing Co., Pacific Grove (©2000)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  1. 1.Department of Computer ScienceVSB - Technical University of OstravaOstrava-PorubaCzech Republic

Personalised recommendations