INFORMATION CHANGE THE WORLD

International Journal of Information Technology and Computer Science(IJITCS)

ISSN: 2074-9007 (Print), ISSN: 2074-9015 (Online)

Published By: MECS Press

IJITCS Vol.6, No.4, Mar. 2014

A Formal Description of Problem Frames

Full Text (PDF, 574KB), PP.56-65


Views:85   Downloads:0

Author(s)

Souleymane KOUSSOUBE, Roger NOUSSI, Balira O. KONFE

Index Terms

Problem Frame, Description Logics, Problem Diagram, Problems Matching, Problem Decomposition

Abstract

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.

Cite This Paper

Souleymane KOUSSOUBE, Roger NOUSSI, Balira O. KONFE,"A Formal Description of Problem Frames", International Journal of Information Technology and Computer Science(IJITCS), vol.6, no.4, pp.56-65, 2014. DOI: 10.5815/ijitcs.2014.04.07

Reference

[1]M. JACKSON Software Requirements & Specifications: a Lexicon of Practice, Principles, and Prejudices. Addison-Wesley, 1995,

[2]M. JACKSON Problem Frames. Addison-Wesley 2001.

[3]D. JACKSON and M. JACKSON Problem decomposition for reuse Technical Report Carnegie Melon University CMU-CS-95-108

[4]M. PETRE Why looking isn’t always seeing: readership skills and graphical programming. Commun.ACM, 38(6):33–44, 1995. 

[5]D. BJORNER, S. KOUSSOUBE, R. NOUSSI, and G. SATCHOK Michael Jackson’s problem frames: Towards methodological principles of selecting and applying formal software development techniques and tools. In 1st IEEE International Conference on Formal Engineering Methods. IEEE Computer Society Press, 1997

[6]S. JON, G. HALL, L. RAPANOTTI, M. JACKSON Problem frame semantics for software development. In Software and Systems Modeling, Volume 4 Number 2, pages 189-198, May 2005.

[7]H. PANETTO, N. BOUDJILIDA Formalizing Problem Frames with ontology. Interoperability for Enterprise Software and Applications: Proceedings of the Workshops and the Doctorial Symposium of the Second IFAC/IFIP I-ESA International Conference: EI2N, WSI, IS-TSPQ 2006

[8]Xio Hong CHEN, Zhi JIN and Lijun Yi An ontology of Problem frames for guiding Problem Frames specification Knowledge Science, Engineering and Management Lecture Notes in Computer Science Volume 4798, 2007, pp 384-395

[9]M. JACKSON Problem Frames and Software Engineering, The Open University, December. 2004

[10]F. BAADER, D. CALVANESE, D. MCGUINNESS, D. NARDI, P. SCHNEIDER, The description logic handbook: Theory, implementation and applications, Cambridge University Press (ISBN-13: 9780521781763 j ISBN-10: 0521781760), 2003

[11]I. HORROCKS, U. SATTELER S. TOBIES, Practical reasoning for expressive description logics, Logic for Programming and Automated Reasoning, pp. 161-180, 1999

[12]S. BRANDT; ANNI-YASMIN TURHAN, Using Non-standard Inferences in Description Logic. What does it buy me, Proc. of KI-2001 Workshop on Applications of Description Logics (KIDLWS.01). Volume 44 of CEUR (http://ceur-ws.org/)/. 2001

[13]D. BERARDI, D. CALVANESE, G. DE GIACOMO, Reasoning on UML Class Diagrams using Description Logic Based Systems Proc. of the KI.2001 Workshop on Applications of Description Logics. Volume 44 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/ Vienna, September 18, 2001

[14]D. BJORNER. Domain engineering – technology management, research and engineering. JAIST February 2009.