Towards a Formalization of a Framework to Express and Reason about Software Engineering Methods
Miguel Morales-Trujillo; Engineering Faculty, National Autonomous University of Mexico, Mexico City ; Hanna Oktaba; Science Faculty, National Autonomous University of Mexico, Mexico City ; Francisco Hernández-Quiroz; Science Faculty, National Autonomous University of Mexico, Mexico City ; Boris Escalante-Ramírez; Engineering Faculty, National Autonomous University of Mexico, Mexico City
Computing and Informatics, Tome 36 (2018) no. 6, / Harvested from Computing and Informatics
Text on Computing and Informatics
Software Engineering is considered a knowledge-intensive discipline, in which knowledge creation, collection and sharing is an uninterrupted process. However, a large part of this knowledge exists in a tacit form and depends on practitioners. Therefore defining a mechanism to transform tacit knowledge into explicit one is of upmost importance. This paper presents a formalization approach to represent Software Engineering practitioners' tacit knowledge, which is related to their ways of working, as a set of explicit statements. The formalization is based on KUALI-BEH, which is a normative kernel extension of ESSENCE formal specification, and consists of three parts: an ontology to share a common representation of knowledge as a set of concepts; a Situational Method Engineering based algebra that represents well-defined method properties and operations; and a knowledge representation of the ontology and algebra using Description Logics. The main objectives of this initial formalization are to improve communication among humans and machines, computational inference and reuse of knowledge.
Publié le : 2018-05-09
Classification:  Software Engineering; Knowledge and Information Engineering,  Software engineering, situational method engineering, ontology, description logics, ESSENCE, KUALI-BEH,  68N30 
@article{cai2018_1_109,
     author = {Miguel Morales-Trujillo; Engineering Faculty, National Autonomous University of Mexico, Mexico City and Hanna Oktaba; Science Faculty, National Autonomous University of Mexico, Mexico City and Francisco Hern\'andez-Quiroz; Science Faculty, National Autonomous University of Mexico, Mexico City and Boris Escalante-Ram\'\i rez; Engineering Faculty, National Autonomous University of Mexico, Mexico City},
     title = {Towards a Formalization of a Framework to Express and Reason about Software Engineering Methods},
     journal = {Computing and Informatics},
     volume = {36},
     number = {6},
     year = {2018},
     language = {en},
     url = {http://dml.mathdoc.fr/item/cai2018_1_109}
}

Miguel Morales-Trujillo; Engineering Faculty, National Autonomous University of Mexico, Mexico City; Hanna Oktaba; Science Faculty, National Autonomous University of Mexico, Mexico City; Francisco Hernández-Quiroz; Science Faculty, National Autonomous University of Mexico, Mexico City; Boris Escalante-Ramírez; Engineering Faculty, National Autonomous University of Mexico, Mexico City. Towards a Formalization of a Framework to Express and Reason about Software Engineering Methods. Computing and Informatics, Tome 36 (2018) no. 6, . http://gdmltest.u-ga.fr/item/cai2018_1_109/