Joint Usage of Frames and the Topological Functioning Model for Domain Knowledge Presentation and Analysis

Vladislavs Nazaruks, Jānis Osis

2017

Abstract

Joint usage of frames and Topological Functioning Model (TFM) provides proper analysis of knowledge in the domain under study. The main issue in domain knowledge analysis is completeness of discovered knowledge. Formal representation of the knowledge in frames allows automated construction and validation of the TFM, thus allowing to discover white places in knowledge. Analysing TFM metamodels, the structure of the frame system for generation of the TFM is proposed. The frame system leads to highlighting structural knowledge, while validation of the generated TFM shows white places in behavioural knowledge. Validation of the TFM does not guarantee the complete identity of obtained knowledge to the domain, since the knowledge is based on expert opinions. Thus, analysis of the problem domain is shifted from the separate investigation of dynamic and structural aspects of the system to holistic understanding of domain phenomena. The presented results should be refined if other derived models are added.

References

  1. Al-Saqqar, F., Bentahar, J. & Sultan, K., 2016. On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems. Expert Systems with Applications, 43, pp.223-236. Available at: http://dl.acm.org/ citation.cfm?id=2840535 [Accessed December 17, 2016].
  2. Asnina, E., 2006. Formalization of Problem Domain Modeling within Model Driven Architecture. Riga Technical University.
  3. Asnina, E. & Ovchinnikova, V., 2015. Specification of decision-making and control flow branching in Topological Functioning Models of systems. In ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering. Lisbon: SciTePress, pp. 364- 373. Available at: https://www.scopus.com/inward /record.uri?eid=2-s2.0- 84933575203&partnerID=40&md5=8d49b05925e036 2f60cb6f1528714891.
  4. Beltrán-Ferruz, P.J., González-Calero, P.A. & Gervás, P., 2004. Converting Mikrokosmos frames into description logics. Proceeedings of the Workshop on NLP and XML (NLPXML-2004): RDF/RDFS and OWL in Language Technology, pp.35-42.
  5. Bimba, A.T. et al., 2016. Towards knowledge modeling and manipulation technologies: A survey. International Journal of Information Management, 36(6), pp.857- 871. Available at: http://linkinghub.elsevier.com/ retrieve/pii/S026840121630336X [Accessed December 17, 2016].
  6. Corcoglioniti, F., Rospocher, M. & Aprosio, A.P., 2016. A 2-phase frame-based knowledge extraction framework. In Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC 7816. New York, New York, USA: ACM Press, pp. 354-361. Available at: http://dl.acm.org/citation.cfm?doid=2851613.2851845 [Accessed December 17, 2016].
  7. Detwiler, L.T., Mejino, J.L.V. & Brinkley, J.F., 2016. From frames to OWL2: Converting the Foundational Model of Anatomy. Artificial Intelligence in Medicine, 69, pp.12-21. Available at: http://www.aiimjournal.com /article/S0933-3657(16)30152-X/abstract [Accessed December 17, 2016].
  8. Donins, U., 2012. Topological Unified Modeling Language: Development and Application. Riga Technical University.
  9. Donins, U. et al., 2012. Using functional characteristics to analyze state changes of objects. In CEUR Workshop Proceedings. Databases and Information Systems. Tenth International Baltic Conference on Databases and Information Systems: Local Proceedings, Materials of Doctoral Consortium. Vilnius: Žara, pp. 94-106.
  10. Gennari, J.H., Mork, P. & Li, H., 2005. Knowledge transformations between frame systems and RDB systems. In Proceedings of the 3rd international conference on Knowledge capture - K-CAP 7805. New York, New York, USA: ACM Press, p. 197. Available at: http://portal.acm.org/citation.cfm?doid=1088622.1088 666 [Accessed December 17, 2016].
  11. Grigorova, D. & Nikolov, N., 2007. Knowledge representation in systems with natural language interface. In Proceedings of the 2007 international conference on Computer systems and technologies - CompSysTech 7807. New York, New York, USA: ACM Press, p. 1. Available at: http://portal.acm.org/citation.cfm?doid=1330598.1330 670 [Accessed December 17, 2016].
  12. Hernández, J.Z. & Serrano, J.M., 2001. Knowledge-based models for emergency management systems. Expert Systems with Applications, 20(2), pp.173-186. Available at: http://linkinghub.elsevier.com/retrieve/pii/S09574174 00000579 [Accessed December 17, 2016].
  13. Kim, K. et al., 2008. A frame-based probabilistic framework for spoken dialog management using dialog examples. In Proceedings of the 9th SIGdial Workshop on Discourse and Dialogue. Columbus, Ohio: Association for Computational Linguistics, Stroudsburg, PA, USA, pp. 120-127.
  14. Kramer, S. & Kaindl, H., 2004. Coupling and cohesion metrics for knowledge-based systems using frames and rules. ACM Transactions on Software Engineering and Methodology, 13(3), pp.332-358. Available at: http://portal.acm.org/citation.cfm?doid=1027092.1027 094 [Accessed December 17, 2016].
  15. Luca, J. De, 2002. Feature Driven Development. Feature Driven Development Processes. Available at: http://www.featuredrivendevelopment.com/node/449 [Accessed January 8, 2017].
  16. Marinov, M., 2008. Using frames for knowledge representation in a CORBA-based distributed environment. Knowledge-Based Systems, 21(5), pp.391-397. Available at: http://linkinghub.elsevier .com/retrieve/pii/S0950705108000154 [Accessed December 17, 2016].
  17. Marinov, M., 2004. Using XML to represent knowledge by frames. In Proceedings of the 5th international conference on Computer systems and technologies - CompSysTech 7804. New York, New York, USA: ACM Press, p. 1. Available at: http://portal.acm.org/citation.cfm?doid=1050330.1050 350 [Accessed December 17, 2016].
  18. Nazaruka, E. et al., 2016. Verification of BPMN Model Functional Completeness by using the Topological Functioning Model. In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering. Portugal: SCITEPRESS - Science and and Technology Publications, pp. 349-358. Available at: http://www.scitepress.org/DigitalLibrary/Link.aspx?do i=10.5220/0005930903490358 [Accessed February 20, 2017].
  19. Okafor, E.C. & Osuagwu, C.C., 2007. Issues in Structuring the Knowledge-base of Expert Systems. Journal of Knowledge Management, 5(3), pp.313-322.
  20. Osis, J., 1969. Topological Model of System Functioning (in Russian). Automatics and Computer Science, J. of Academia of Siences, (6), pp.44-50.
  21. Osis, J. & Asnina, E., 2008a. A Business Model to Make Software Development Less Intuitive. In 2008 International Conference on Computational Intelligence for Modelling Control & Automation. IEEE, pp. 1240-1245. Available at: http://ieeexplore .ieee.org/document/5172803/.
  22. Osis, J. & Asnina, E., 2008b. Enterprise Modeling for Information System Development within MDA. In Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008). Waikoloa, USA: IEEE, pp. 490-490. Available at: http://ieeexplore.ieee.org/document/4439190/.
  23. Osis, J. & Asnina, E., 2011. Topological Modeling for Model-Driven Domain Analysis and Software Development?: Functions and Architectures. In ModelDriven Domain Analysis and Software Development. Hershey, PA: IGI Global, pp. 15-39.
  24. Osis, J., Asnina, E. & Grave, A., 2007. Formal computation independent model of the problem domain within the MDA. In CEUR Workshop Proceedings.
  25. Osis, J. & Donins, U., 2010a. Formalization of the UML Class Diagrams. In Evaluation of Novel Approaches to Software Engineering. 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers. Springer Berlin Heidelberg, pp. 180-192. Available at: http://link.springer .com/10.1007/978-3-642-14819-4_13 [Accessed January 8, 2017].
  26. Osis, J. & Donins, U., 2010b. Platform Independent Model Development by Means of Topological Class Diagrams. In Model-Driven Architecture and Modeling Theory-Driven Development?: Proceedings of the 2nd International Workshop on Model-Driven Architecture and Modeling Theory-Driven Development (MDA & MTDD 2010). Lisbon: SciTePress, pp. 13-22.
  27. Osis, J., Slihte, A. & Jansone, A., 2012. Using Use Cases for Domain Modeling. In Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012), Poland, Wroclaw, 29-30 June. Lisbon: SciTePress, pp. 224-231.
  28. Ovchinnikova, V. & Asnina, E., 2015. The algorithm of transformation from UML sequence diagrams to the Topological Functioning Model. In ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering. Lisbon: SciTePress, pp. 377-384.
  29. Ovchinnikova, V. & Nazaruka, E., 2016. The Validation Possibility of Topological Functioning Model using the Cameo Simulation Toolkit. In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering. SCITEPRESS - Science and and Technology Publications, pp. 327-336. Available at: http://www .scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/ 0005926003270336 [Accessed February 22, 2017].
  30. Oxford University Press, 2013. Oxford Dictionaries. Oxford Dictionaries. Available at: https://en. oxforddictionaries.com/definition/result [Accessed January 8, 2017].
  31. Rector, A., 2013. Axioms and templates: distinctions and transformations amongst ontologies, frames, and information models. In Proceedings of the seventh international conference on Knowledge capture - KCAP 7813. New York, New York, USA: ACM Press, p. 73. Available at: http://dl.acm.org/citation.cfm? doid=2479832.2479840 [Accessed December 17, 2016].
  32. Shiue, W., Li, S.-T. & Chen, K.-J., 2008. A frame knowledge system for managing financial decision knowledge. Expert Systems with Applications, 35(3), pp.1068-1079. Available at: http://linkinghub.elsevier .com/retrieve/pii/S0957417407003247 [Accessed December 17, 2016].
  33. Sim, W.W. & Brouse, P., 2014. Towards an Ontologybased Persona-driven Requirements and Knowledge Engineering. Procedia Computer Science, 36, pp.314- 321. Available at: http://www.sciencedirect.com/ science/article/pii/S1877050914013489 [Accessed October 7, 2016].
  34. Slihte, A., 2015. The Integrated Domain Modeling: an Approach & Toolset for Acquiring a Topological Functioning Model. Riga Technical University.
  35. Solomencevs, A., 2016. Topological Functioning Model for Software Development within MDA (Survey). In Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2016). SciTePress, pp. 315-326.
  36. Tettamanzi, A.G.B., 2006. A Fuzzy Frame-Based Knowledge Representation Formalism. In Di Gesú V., Masulli F., Petrosino A. (eds) Fuzzy Logic and Applications. WILF 2003. Lecture Notes in Computer Science, vol 2955. Springer Berlin Heidelberg, pp. 55- 62. Available at: http://link.springer.com/10.1007 /10983652_8 [Accessed December 17, 2016].
  37. Xue, Y., Ghenniwa, H.H. & Shen, W., 2010. A Framebased Ontological view Specification Language. In The 14th International Conference on Computer Supported Cooperative Work in Design. IEEE, pp. 228-233. Available at: http://ieeexplore.ieee.org/document /5471972/ [Accessed December 17, 2016].
  38. Xue, Y., Ghenniwa, H.H. & Shen, W., 2012. Frame-based ontological view for semantic integration. Journal of Network and Computer Applications, 35(1), pp.121- 131. Available at: http://linkinghub.elsevier.com/
  39. retrieve/pii/S1084804511000488 [Accessed December
Download


Paper Citation


in Harvard Style

Nazaruks V. and Osis J. (2017). Joint Usage of Frames and the Topological Functioning Model for Domain Knowledge Presentation and Analysis . In Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE, ISBN 978-989-758-250-9, pages 379-390. DOI: 10.5220/0006388903790390


in Bibtex Style

@conference{mdi4se17,
author={Vladislavs Nazaruks and Jānis Osis},
title={Joint Usage of Frames and the Topological Functioning Model for Domain Knowledge Presentation and Analysis},
booktitle={Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE,},
year={2017},
pages={379-390},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006388903790390},
isbn={978-989-758-250-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE,
TI - Joint Usage of Frames and the Topological Functioning Model for Domain Knowledge Presentation and Analysis
SN - 978-989-758-250-9
AU - Nazaruks V.
AU - Osis J.
PY - 2017
SP - 379
EP - 390
DO - 10.5220/0006388903790390