Formal semantics and analysis tasks for ME-MAP models

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.