A roadmap of problem frames research

It has been a decade since Michael Jackson introduced problem frames to the software engineering community. Since then, he has published further work addressing problem frames as well as presenting several keynote addresses. Other authors have researched problem frames, have written about their experiences and have expressed their opinions. It was not until 2004 that an opportunity presented itself for researchers in the field to gather as a community. The first International Workshop on Advances and Applications of Problem Frames (IWAAPF'04) was held at the International Conference on Software Engineering in Edinburgh on 24th May 2004. This event attracted over 30 participants: Jackson delivered a keynote address, researchers presented their work and an expert panel discussed the challenges of problem frames. Featuring in this special issue are two extended papers from the workshop, an invited contribution from Jackson in which he positions problem frames in the context of the software engineering discipline, and this article, where we provide a review of the literature. he literature.

[1]  Michael Jackson,et al.  Defining a Discipline of Description , 1998, IEEE Softw..

[2]  Sheridan Jeary,et al.  On the applicability of problem frames to Web-based business applications , 2004 .

[3]  Neil A. M. Maiden,et al.  The Domain Theory for Requirements Engineering , 1998, IEEE Trans. Software Eng..

[4]  Dines Bjørner,et al.  Michael Jackson's problem frames: towards methodological principles of selecting and applying formal software development techniques and tools , 1997, First IEEE International Conference on Formal Engineering Methods.

[5]  Jim Woodcock,et al.  Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Professor Sir Antony Hoare , 2000 .

[6]  J. Brier,et al.  Problem frames for socio-technical systems: predictability and change , 2004 .

[7]  Eric S. K. Yu,et al.  Modeling organizations for information systems requirements engineering , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[8]  Christine Choppy,et al.  A UML-based method for the commanded behaviour frame , 2004 .

[9]  Yun Lin,et al.  Applying problem frames to modeling 'abstraction' concepts , 2004 .

[10]  Michael A. Jackson,et al.  Software requirements and specifications - a lexicon of practice, principles and prejudices , 1995 .

[11]  Michael Jackson,et al.  Will there ever be software engineering? , 1998, IEEE Software.

[12]  Bashar Nuseibeh,et al.  Weaving Together Requirements and Architectures , 2001, Computer.

[13]  Michael Jackson,et al.  Problem frame semantics for software development , 2005, Software & Systems Modeling.

[14]  R. Stacey.  Dynamic Strategic Management for the 1990s , 1990 .

[15]  Michael Jackson,et al.  Problems, methods and specialisation , 1994, Softw. Eng. J..

[16]  Alistair G. Sutcliffe,et al.  The domain theory - patterns for knowledge and software reuse , 2002 .

[17]  Michael Jackson,et al.  A Reference Model for Requirements and Specifications , 2000, IEEE Softw..

[18]  Jon G. Hall,et al.  A reference model for requirements engineering , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[19]  Karl Cox,et al.  The Simulator; Another, Elementary Problem Frame? , 2003 .

[20]  N. Ourusoff,et al.  Towards a CASE tool for Jackson's JSP, JSD and problem frames , 2004 .

[21]  Karl Cox,et al.  Requirements engineering for e-business systems: integrating Jackson problem diagrams with goal modeling and BPM , 2004, 11th Asia-Pacific Software Engineering Conference.

[22]  Zhi Li,et al.  Reasoning about decomposing and recomposing problem frames developments: a case study , 2004 .

[23]  Ian K. Bray,et al.  An Introduction to Requirements Engineering , 2002 .

[24]  Robin C. Laney,et al.  Using Problem Frames and projections to analyze requirements for distributed systems , 2004 .

[25]  Axel van Lamsweerde,et al.  Goal-Oriented Requirements Engineering: A Guided Tour , 2001, RE.

[26]  Karl Cox,et al.  Strategic alignment in requirements analysis for organizational IT: an integrated approach , 2005, SAC '05.

[27]  Michael A. Jackson,et al.  Problem Frames - Analysing and Structuring Software Development Problems , 2000 .

[28]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[29]  Michael Jackson,et al.  Domain descriptions , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[30]  Walter G. Vincenti,et al.  What Engineers Know and How They Know It: Analytical Studies from Aeronautical History. , 1992 .

[31]  Michael Jackson,et al.  Problem complexity , 1997, Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.97TB100168).

[32]  Michael Jackson,et al.  Connecting viewpoints by shared phenomena , 1996, ISAW '96.

[33]  Benjamin L. Kovitz,et al.  Practical Software Requirements: A Manual of Content and Style , 1998 .

[34]  Michael Jackson,et al.  Four dark corners of requirements engineering , 1997, TSEM.

[35]  Bashar Nuseibeh,et al.  Problem Frames: A Case for Coordination , 2004, COORDINATION.

[36]  Michael Jackson,et al.  Problems and requirements [software development] , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[37]  Roel Wieringa,et al.  The declarative problem frame: designing systems that create and use norms , 2000, Tenth International Workshop on Software Specification and Design. IWSSD-10 2000.

[38]  Walter Guido Vincenti,et al.  What Engineers Know and How They Know It: Analytical Studies from Aeronautical History by Walter G. Vincenti , 1992, Technology and Culture.

[39]  Michael Jackson,et al.  Principles of program design , 1975 .

[40]  Michael Jackson,et al.  Formal methods and traditional engineering , 1998, J. Syst. Softw..

[41]  Martin Fowler,et al.  Analysis patterns - reusable object models , 1996, Addison-Wesley series in object-oriented software engineering.

[42]  Karl Cox,et al.  Modeling Business Strategy in E-Business Systems Requirements Engineering , 2004, ER.

[43]  Kent L. Beck,et al.  Extreme programming explained - embrace change , 1990 .

[44]  Sandro Morasca,et al.  A Dual Language Approach to the Development of Time-Critical Systems , 2005, TACoS.

[45]  Bashar Nuseibeh,et al.  Composing requirements using problem frames , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[46]  Paulo S. C. Alencar,et al.  Geographic problem frames , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[47]  M. Jackson,et al.  Problem Analysis and Structure , 2000 .

[48]  M. Nelson,et al.  Exploring problem-frame concerns using formal analysis , 2004 .

[49]  Bashar Nuseibeh,et al.  An Example Using Problem Frames: Analysis of a Lighting Control System , 2003 .

[50]  Michael Jackson,et al.  Why software writing is difficult and will remain so , 2003, Inf. Process. Lett..

[51]  Philippe Kruchten,et al.  The Rational Unified Process: An Introduction , 1998 .

[52]  Keith Phalp,et al.  Deriving requirements from process models via the problem frames approach , 2005, Inf. Softw. Technol..

[53]  Paul R. Taylor,et al.  Problem frames and object-oriented software architecture , 2000, Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000.

[54]  Bashar Nuseibeh,et al.  Architecture-driven problem decomposition , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[55]  Jaap Gordijn,et al.  Value Framing: A Prelude to Software Problem Framing , 2004 .

[56]  Michael Jackson,et al.  Problems, methods and specialization , 1994, IEEE Software.

[57]  Karl Cox,et al.  RE Approach for e-Business Advantage , 2004 .

[58]  Betty H. C. Cheng,et al.  Requirements patterns for embedded systems , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[59]  Michael Jackson,et al.  The meaning of requirements , 1997, Ann. Softw. Eng..

[60]  Charles B. Haley.  Using problem frames with distributed architectures: a case for cardinality on interfaces , 2003 .

[61]  Luigi Lavazza,et al.  A UML-based Approach for Representing Problem Frames , 2004 .

[62]  Christine Choppy,et al.  Using CASL to Specify the Requirements and the Design: A Problem Specific Approach , 1999, WADT.

[63]  Michael Jackson,et al.  Some Basic Tenets of Description , 2002, Software and Systems Modeling.

[64]  Michael Jackson,et al.  Problem Analysis Using Small Problem Frames , 1999 .

[65]  Karl Cox,et al.  Validating strategic alignment of organizational IT requirements using goal modeling and problem diagrams , 2006, J. Syst. Softw..

[66]  Bashar Nuseibeh,et al.  Introducing abuse frames for analysing security requirements , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[67]  Michael Jackson,et al.  Description is our Business , 1991, VDM Europe.

[68]  Michael Jackson,et al.  Problem decomposition for reuse , 1996, Softw. Eng. J..

[69]  Keith Phalp,et al.  Picking the Right Problem Frame—An Empirical Study , 2000, Empirical Software Engineering.

[70]  Bashar Nuseibeh,et al.  Using abuse frames to bound the scope of security problems , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[71]  I. K. Bray,et al.  Experiences of teaching problem frame based requirements engineering to undergraduates , 2004 .

[72]  Keith Phalp,et al.  From Process Model to Problem Frame - A Position Paper , 2003 .

[73]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[74]  S. J. Bleistein,et al.  Problem frames approach for e-business systems , 2004 .

[75]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[76]  Bashar Nuseibeh,et al.  Relating software requirements and architectures using problem frames , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[77]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[78]  Michael Jackson,et al.  The World and the Machine , 1995, 1995 17th International Conference on Software Engineering.