@inproceedings{dd73c686a5cf464ab45499a123419d2c,
title = "Formal semantics and analysis tasks for ME-MAP models",
abstract = "Know-how deals with the knowledge of how to achieve objectives effectively and efficiently. Mapping this knowledge facilitates and encourages understanding domains, learning about problems and solutions, analyzing the trade-offs among these, identifying potential gaps and places for improvements, and reasoning about the existing knowledge. To address these goals we developed a know-how mapping approach-ME-MAP and introduced its abstract and concrete syntax. This paper further equips the modeling/mapping language of the ME-MAP approach with formal semantics and presents related analysis and reasoning tasks, elaborate on these tasks and explain their rationale. These tasks ensure keeping precise, consistent and correct models, enable the extraction of useful knowledge from the model and by this provide an inclusive support to the knowledge stakeholders.",
keywords = "Formal Semantics, Knowledge Mapping, Knowledge Reasoning, ME-MAP",
author = "Azzam Maraee and Arnon Sturm",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 11th IEEE International Conference on Research Challenges in Information Science - RCIS 2017 ; Conference date: 10-05-2017 Through 12-05-2017",
year = "2017",
month = jun,
day = "23",
doi = "10.1109/RCIS.2017.7956542",
language = "English",
series = "Proceedings - International Conference on Research Challenges in Information Science",
publisher = "Institute of Electrical and Electronics Engineers",
pages = "234--243",
editor = "Oscal Pastor and Haralambos Mouratidis and Said Assar",
booktitle = "RCIS 2017 - 11th IEEE International Conference on Research Challenges in Information Science - Conference Proceedings",
address = "United States",
}