A Formal Description of Problem Frames
Автор: Souleymane KOUSSOUBE, Roger NOUSSI, Balira O. KONFE
Журнал: International Journal of Information Technology and Computer Science(IJITCS) @ijitcs
Статья в выпуске: 4 Vol. 6, 2014 года.
Бесплатный доступ
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.
Problem Frame, Description Logics, Problem Diagram, Problems Matching, Problem Decomposition
Короткий адрес: https://sciup.org/15012072
IDR: 15012072
Список литературы A Formal Description of Problem Frames
- M. JACKSON Software Requirements & Specifications: a Lexicon of Practice, Principles, and Prejudices. Addison-Wesley, 1995,
- M. JACKSON Problem Frames. Addison-Wesley 2001.
- D. JACKSON and M. JACKSON Problem decomposition for reuse Technical Report Carnegie Melon University CMU-CS-95-108
- M. PETRE Why looking isn’t always seeing: readership skills and graphical programming. Commun.ACM, 38(6):33–44, 1995.
- 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
- 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.
- 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
- 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
- M. JACKSON Problem Frames and Software Engineering, The Open University, December. 2004
- 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
- I. HORROCKS, U. SATTELER S. TOBIES, Practical reasoning for expressive description logics, Logic for Programming and Automated Reasoning, pp. 161-180, 1999
- 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
- 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
- D. BJORNER. Domain engineering – technology management, research and engineering. JAIST February 2009.
