The Knowledge Frame System based on Principles of Topological Functioning Model

Nazaruks, Vladislavs

doi:10.1515/acss-2017-0004

Abstract

Understanding of domain phenomena and their interrelations is necessary for successful software development. The knowledge frame system based on principles of Topological Functioning Modelling (TFM) can be used for this purpose at the Computation Independent level within Model Driven Development. Research on knowledge formats showed that inferring in the closed world paradigm and similarity to the object-oriented paradigm made frames an attractive candidate to the knowledge representation format. Frames can hold information necessary for generation of the TFM. The knowledge system based on the principles of the TFM does not allow inferring ambiguous facts and leads to the more complete discovery of knowledge.

References

[1] J. Miller and J. Mukerji, “Model Driven Architecture (MDA),” 2001.
Search in Google Scholar Back to article
[2] OMG, “The MDA Foundation Model,” SparxSystems, pp. 1-9, 2010.
Search in Google Scholar Back to article
[3] Y. Rhazali, Y. Hadi, and A. Mouloudi, “CIM to PIM Transformation in MDA: from Service-Oriented Business Models to Web-Based Design Models,” Int. J. Softw. Eng. Its Appl., vol. 10, no. 4, pp. 125-142, 2016. https://doi.org/10.14257/ijseia.2016.10.4.1310.14257/ijseia.2016.10.4.13
Search in Google Scholar Back to article
[4] M. Kardoš and M. Drozdová, “Analytical method of CIM to PIM transformation in model driven architecture (MDA),” J. Inf. Organ. Sci., vol. 34, no. 1, pp. 89-99, 2010.
Search in Google Scholar Back to article
[5] I. Essebaa and S. Chantit, “Toward an automatic approach to get PIM level from CIM level using QVT rules,” in 2016 11th International Conference on Intelligent Systems: Theories and Applications (SITA), 2016, pp. 1-6. https://doi.org/10.1109/sita.2016.777227110.1109/SITA.2016.7772271
Search in Google Scholar Back to article
[6] E. Asnina and J. Osis, “Topological Functioning Model as a CIMBusiness Model,” in Model-Driven Domain Analysis and Software Development, Hershey, PA: IGI Global, 2011, pp. 40-64. https://doi.org/10.4018/978-1-61692-874-2.ch00310.4018/978-1-61692-874-2.ch003
Search in Google Scholar Back to article
[7] V. Nazaruks and J. Osis, “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 (ENASE 2017), 2017, pp. 379-390. https://doi.org/10.5220/000638890379039010.5220/0006388903790390
Search in Google Scholar Back to article
[8] C. Roux, “Can ‘Made Up’ Languages Help Computers Translate Real Ones?,” 2013.
Search in Google Scholar Back to article
[9] A. A. Kornienko, A. V. Kornienko, O. B. Fofanov, and M. P. Chubik, “Knowledge in Artificial Intelligence Systems: Searching the Strategies for Application,” Procedia - Soc. Behav. Sci., vol. 166, pp. 589-594, Jan. 2015. https://doi.org/10.1016/j.sbspro.2014.12.57810.1016/j.sbspro.2014.12.578
Search in Google Scholar Back to article
[10] M. Marinov, “Using XML to represent knowledge by frames,” in Proceedings of the 5th international conference on Computer systems and technologies - CompSysTech ’04, 2004, p. 1. https://doi.org/10.1145/1050330.105035010.1145/1050330.1050350
Search in Google Scholar Back to article
[11] M. Minsky, “A Framework for Representing Knowledge,” 1974.
Search in Google Scholar Back to article
[12] H. H. Wang, N. Noy, A. Rector, M. Musen, T. Redmond, D. Rubin, S. Tu, T. Tudorache, N. Drummond, M. Horridge, and J. Seidenberg, “Frames and OWL Side by Side,” in 9th International Protégé Conference, 2006.
Search in Google Scholar Back to article
[13] V. Nazaruks and J. Osis, “A Survey on Domain Knowledge Representation with Frames,” in Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2017), 2017, pp. 346-354. https://doi.org/10.5220/000638830346035410.5220/0006388303460354
Search in Google Scholar Back to article
[14] P. J. Beltrán-Ferruz, P. A. González-Calero, and P. Gervás, “Converting Mikrokosmos frames into description logics,” Proceeedings of the Workshop on NLP and XML (NLPXML-2004): RDF/RDFS and OWL in Language Technology. Association for Computational Linguistics, USA, pp. 35-42, 2004. https://doi.org/10.3115/1621066.162107210.3115/1621066.1621072
Search in Google Scholar Back to article
[15] W. Shiue, S.-T. Li, and K.-J. Chen, “A frame knowledge system for managing financial decision knowledge,” Expert Syst. Appl., vol. 35, no. 3, pp. 1068-1079, Oct. 2008. https://doi.org/10.1016/j.eswa.2007.08.03510.1016/j.eswa.2007.08.035
Search in Google Scholar Back to article
[16] A. T. Bimba, N. Idris, A. Al-Hunaiyyan, R. B. Mahmud, A. Abdelaziz, S. Khan, and V. Chang, “Towards knowledge modeling and manipulation technologies: A survey,” Int. J. Inf. Manage., vol. 36, no. 6, pp. 857-871, Dec. 2016. https://doi.org/10.1016/j.ijinfomgt.2016.05.02210.1016/j.ijinfomgt.2016.05.022
Search in Google Scholar Back to article
[17] L. T. Detwiler, J. L. V. Mejino, and J. F. Brinkley, “From frames to OWL2: Converting the Foundational Model of Anatomy,” Artif. Intell. Med., vol. 69, pp. 12-21, May 2016. https://doi.org/10.1016/j.artmed.2016.04.00310.1016/j.artmed.2016.04.003491582327235801
Search in Google Scholar Back to article
[18] D. Grigorova and N. Nikolov, “Knowledge representation in systems with natural language interface,” in Proceedings of the 2007 international conference on Computer systems and technologies - CompSysTech ’07, 2007, p. 1. https://doi.org/10.1145/1330598.133067010.1145/1330598.1330670
Search in Google Scholar Back to article
[19] Y. Xue, H. H. Ghenniwa, and W. Shen, “A Frame-based Ontological view Specification Language,” in The 14th International Conference on Computer Supported Cooperative Work in Design, 2010, pp. 228-233. https://doi.org/10.1109/cscwd.2010.547197210.1109/CSCWD.2010.5471972
Search in Google Scholar Back to article
[20] Y. Xue, H. H. Ghenniwa, and W. Shen, “Frame-based ontological view for semantic integration,” J. Netw. Comput. Appl., vol. 35, no. 1, pp. 121-131, Jan. 2012. https://doi.org/10.1016/j.jnca.2011.02.01010.1016/j.jnca.2011.02.010
Search in Google Scholar Back to article
[21] F. Corcoglioniti, M. Rospocher, and A. P. Aprosio, “A 2-phase framebased knowledge extraction framework,” in Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC ’16, 2016, pp. 354-361. https://doi.org/10.1145/2851613.285184510.1145/2851613.2851845
Search in Google Scholar Back to article
[22] K. Kim, C. Lee, S. Jung, and G. G. Lee, “A frame-based probabilistic framework for spoken dialog management using dialog examples,” in Proceedings of the 9th SIGdial Workshop on Discourse and Dialogue, 2008, pp. 120-127. https://doi.org/10.3115/1622064.162208810.3115/1622064.1622088
Search in Google Scholar Back to article
[23] S. Kramer and H. Kaindl, “Coupling and cohesion metrics for knowledge-based systems using frames and rules,” ACM Trans. Softw. Eng. Methodol., vol. 13, no. 3, pp. 332-358, Jul. 2004. https://doi.org/10.1145/1027092.102709410.1145/1027092.1027094
Search in Google Scholar Back to article
[24] M. Marinov, “Using frames for knowledge representation in a CORBAbased distributed environment,” Knowledge-Based Syst., vol. 21, no. 5, pp. 391-397, Jul. 2008. https://doi.org/10.1016/j.knosys.2008.02.00310.1016/j.knosys.2008.02.003
Search in Google Scholar Back to article
[25] J. H. Gennari, P. Mork, and H. Li, “Knowledge transformations between frame systems and RDB systems,” in Proceedings of the 3rd international conference on Knowledge capture - K-CAP ’05, 2005, p. 197. https://doi.org/10.1145/1088622.108866610.1145/1088622.1088666
Search in Google Scholar Back to article
[26] A. G. B. Tettamanzi, “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, 2006, pp. 55-62. https://doi.org/10.1007/10983652_810.1007/10983652_8
Search in Google Scholar Back to article
[27] A. Rector, “Axioms and templates: distinctions and transformations amongst ontologies, frames, and information models,” in Proceedings of the seventh international conference on Knowledge capture - K-CAP ’13, 2013, p. 73. https://doi.org/10.1145/2479832.247984010.1145/2479832.2479840
Search in Google Scholar Back to article
[28] W. W. Sim and P. Brouse, “Towards an Ontology-based Persona-driven Requirements and Knowledge Engineering,” Procedia Comput. Sci., vol. 36, pp. 314-321, 2014. https://doi.org/10.1016/j.procs.2014.09.09910.1016/j.procs.2014.09.099
Search in Google Scholar Back to article
[29] F. Al-Saqqar, J. Bentahar, and K. Sultan, “On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems,” Expert Syst. Appl., vol. 43, pp. 223-236, Jan. 2016. https://doi.org/10.1016/j.eswa.2015.08.01910.1016/j.eswa.2015.08.019
Search in Google Scholar Back to article
[30] I. Zeltmate, “Development of Intelligent System for Structural Modelling of Complex Systems,” Riga Technical University, 2012.
Search in Google Scholar Back to article
[31] J. Z. Hernández and J. M. Serrano, “Knowledge-based models for emergency management systems,” Expert Syst. Appl., vol. 20, no. 2, pp. 173-186, Feb. 2001. https://doi.org/10.1016/S0957-4174(00)00057-910.1016/S0957-4174(00)00057-9
Search in Google Scholar Back to article
[32] J. Osis, “Topological Model of System Functioning,” Autom. Comput. Sci. J. Acad. Siences, no. 6, pp. 44-50, 1969. (in Russian).
Search in Google Scholar Back to article
[33] J. Osis and E. Asnina, “Topological Modeling for Model-Driven Domain Analysis and Software Development : Functions and Architectures,” in Model-Driven Domain Analysis and Software Development, Hershey, PA: IGI Global, 2011, pp. 15-39. https://doi.org/10.4018/978-1-61692-874-2.ch00210.4018/978-1-61692-874-2.ch002
Search in Google Scholar Back to article
[34] E. Nazaruka, V. Ovchinnikova, G. Alksnis, and U. Sukovskis, “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, 2016, pp. 349-358. https://doi.org/10.5220/000593090349035810.5220/0005930903490358
Search in Google Scholar Back to article
[35] V. Ovchinnikova and E. Nazaruka, “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, 2016, pp. 327-336. https://doi.org/10.5220/000592600327033610.5220/0005926003270336
Search in Google Scholar Back to article
[36] E. Asnina and V. Ovchinnikova, “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, 2015, pp. 364-373. https://doi.org/10.5220/000547990364037310.5220/0005479903640373
Search in Google Scholar Back to article
[37] J. Osis and E. Asnina, “Enterprise Modeling for Information System Development within MDA,” in Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008), 2008, pp. 490-490. https://doi.org/10.1109/HICSS.2008.15010.1109/HICSS.2008.150
Search in Google Scholar Back to article
[38] U. Donins, “Topological Unified Modeling Language: Development and Application,” Riga Technical University, 2012.
Search in Google Scholar Back to article
[39] A. Slihte, “The Integrated Domain Modeling: an Approach & Toolset for Acquiring a Topological Functioning Model,” Riga Technical University, 2015.
Search in Google Scholar Back to article
[40] E. Asnina, “Formalization of Problem Domain Modeling within Model Driven Architecture,” Riga Technical University, 2006.
Search in Google Scholar Back to article
[41] J. Osis, E. Asnina, and A. Grave, “Formal computation independent model of the problem domain within the MDA,” in CEUR Workshop Proceedings, 2007, vol. 252.10.1109/SwSTE.2007.20
Search in Google Scholar Back to article
[42] J. Osis and U. Donins, “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), 2010, pp. 13-22.
Search in Google Scholar Back to article
[43] J. Osis, A. Slihte, and A. Jansone, “Using Use Cases for Domain Modeling,” in Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012), Poland, Wrocław, 29-30 June, 2012, pp. 224-231.
Search in Google Scholar Back to article
[44] A. Solomencevs, “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), 2016, pp. 315-326. https://doi.org/10.5220/000592280315032610.5220/0005922803150326
Search in Google Scholar Back to article
[45] J. Osis and U. Donins, “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, 2010, pp. 180-192. https://doi.org/10.1007/978-3-642-14819-4_1310.1007/978-3-642-14819-4_13
Search in Google Scholar Back to article
[46] U. Donins, J. Osis, E. Asnina, and A. Jansone, “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, 2012, vol. 924, pp. 94-106.
Search in Google Scholar Back to article
[47] Oxford University Press, “Oxford Dictionaries,” Oxford Dictionaries, 2013. [Online]. Available: https://en.oxforddictionaries.com/definition/result. [Accessed: 08-Jan- 2017].
Search in Google Scholar Back to article
[48] J. De Luca, “Feature Driven Development,” Feature Driven Development Processes, 2002. [Online]. Available: http://www.featuredrivendevelopment.com/node/449. [Accessed: 08-Jan-2017].
Search in Google Scholar Back to article
[49] E. Asnina, J. Osis, and A. Jansone, “System thinking for formal analysis of domain functioning in the computation independent model,” in ENASE 2012 - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, 2012, pp. 232-240.
Search in Google Scholar Back to article

The Knowledge Frame System based on Principles of Topological Functioning Model

Abstract

Paradigm

My account