A Formal Description of Problem Frames | Zendy

Souleymane Koussoubé | Zendy; Roger NOUSSI | Zendy; Balira O. Konfé | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Formal Description of Problem Frames

Author(s) -

Souleymane Koussoubé,

Roger NOUSSI,

Balira O. Konfé

Publication year - 2014

Publication title -

international journal of information technology and computer science

Language(s) - English

Resource type - Journals

eISSN - 2074-9015

pISSN - 2074-9007

DOI - 10.5815/ijitcs.2014.04.07

Subject(s) - computer science , frame problem , frame (networking) , terminology , inference , formal specification , formal methods , programming language , theoretical computer science , artificial intelligence , telecommunications , philosophy , linguistics

Michael Jackson 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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research