A Formal Description of Problem Frames
Souleymane Koussoubé, Roger NOUSSI, Balira O. Konfé · International Journal of Information Technology and Computer Science · 2014
MichaelJackson defines a Problem Frame as a mean to describe and classify software development problems.The initial description of problem Frames is essentially graphical.A weakness of this proposal is the lack of formal specification allowing efficient reasoning tools.This paper deals with Problem Frames' formal specification with Description Logics.We first propose a formal terminology of Problem Frames leading to the specification of a Problem Frames' TBOX and a specific problem's ABOX.The Description Logics inference tools can then be used to decompose multi frame problems or to fix a particular problem into a Problem Frame.