Article

Composing Requirements Using Problem Frames

Authors:

Robin Laney,

Leonor Barroca,

Michael Jackson,

Bashar NuseibehAuthors Info & Claims

RE '04: Proceedings of the Requirements Engineering Conference, 12th IEEE International

Pages 122 - 131

Published: 06 September 2004 Publication History

Publisher Site

Abstract

Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a problem, one approach to solving it is through a process of composing solutions to sub-problems. In this paper, we contribute to supporting such a process by providing a way to compose multiple Problem Frames. We develop a systematic approach to composing inconsistent requirements. We introduce Composition Frames, a requirements construct that models relevant aspects of composition and thus deals with unwanted effects, such as interference of overlapping reactions to events. Throughout the paper we use a simple case study to illustrate and validate our ideas.

Cited By

View all

Zibaeenejad MZhang CAtlee JBodden ESchäfer WDeursen AZisman A(2017)Continuous variable-specific resolutions of feature interactionsProceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering10.1145/3106237.3106302(408-418)Online publication date: 21-Aug-2017
https://dl.acm.org/doi/10.1145/3106237.3106302
Alebrahim AHeisel MEloranta Vvan Heesch U(2014)Problem-oriented security patterns for requirements engineeringProceedings of the 19th European Conference on Pattern Languages of Programs10.1145/2721956.2721963(1-17)Online publication date: 9-Jul-2014
https://dl.acm.org/doi/10.1145/2721956.2721963
Bocovich CAtlee JCheung SOrso AStorey M(2014)Variable-specific resolutions for feature interactionsProceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering10.1145/2635868.2635927(553-563)Online publication date: 11-Nov-2014
https://dl.acm.org/doi/10.1145/2635868.2635927
Show More Cited By

Index Terms

Composing Requirements Using Problem Frames
1. General and reference
  1. Cross-computing tools and techniques
    1. Verification
2. Software and its engineering
  1. Software creation and management
    1. Software development process management
      1. Software development methods
        Rapid application development
    2. Software verification and validation

Recommendations

Quality Requirements Analysis Using Requirements Frames
QSIC '11: Proceedings of the 2011 11th International Conference on Quality Software

Defining quality requirements completely and correctly is more difficult than defining functional requirements because stakeholders do not state most of quality requirements explicitly. We thus propose a method to measure a requirements specification ...
Extending the Problem Frames Approach for Capturing Non-functional Requirements
ICIS '12: Proceedings of the 2012 IEEE/ACIS 11th International Conference on Computer and Information Science

the Problem Frames (PF) approach is a prospective tool for classifying, analyzing and structuring software development problems. However, it at current stage lacks a practical way to capture NFRs. This paper aims to extend the PF Approach for helping ...
Modeling Timing Requirements in Problem Frames Using CCSL
APSEC '11: Proceedings of the 2011 18th Asia-Pacific Software Engineering Conference

As the embedded systems are becoming more and more complex, requirements engineering approaches are needed for modeling requirements, especially the timing requirements. Among various requirements engineering approaches, the Problem Frames(PF) approach ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

RE '04: Proceedings of the Requirements Engineering Conference, 12th IEEE International

September 2004

344 pages

ISBN:0769521746

Publisher

IEEE Computer Society

United States

Publication History

Published: 06 September 2004

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 06 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Zibaeenejad MZhang CAtlee JBodden ESchäfer WDeursen AZisman A(2017)Continuous variable-specific resolutions of feature interactionsProceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering10.1145/3106237.3106302(408-418)Online publication date: 21-Aug-2017
https://dl.acm.org/doi/10.1145/3106237.3106302
Alebrahim AHeisel MEloranta Vvan Heesch U(2014)Problem-oriented security patterns for requirements engineeringProceedings of the 19th European Conference on Pattern Languages of Programs10.1145/2721956.2721963(1-17)Online publication date: 9-Jul-2014
https://dl.acm.org/doi/10.1145/2721956.2721963
Bocovich CAtlee JCheung SOrso AStorey M(2014)Variable-specific resolutions for feature interactionsProceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering10.1145/2635868.2635927(553-563)Online publication date: 11-Nov-2014
https://dl.acm.org/doi/10.1145/2635868.2635927
Tun TLaney RYu YNuseibeh B(2013)Specifying software features for compositionComputer Networks: The International Journal of Computer and Telecommunications Networking10.1016/j.comnet.2013.02.02257:12(2454-2464)Online publication date: 1-Aug-2013
https://dl.acm.org/doi/10.1016/j.comnet.2013.02.022
Colombo PKhendek FLavazza L(2011)Generating early design models from requirements analysis artifacts using problem frames and SysMLProceedings of the 7th European conference on Modelling foundations and applications10.5555/2023522.2023534(97-114)Online publication date: 6-Jun-2011
https://dl.acm.org/doi/10.5555/2023522.2023534
Jackson DKang ERoman GSullivan K(2010)Separation of concerns for dependable software designProceedings of the FSE/SDP workshop on Future of software engineering research10.1145/1882362.1882399(173-176)Online publication date: 7-Nov-2010
https://dl.acm.org/doi/10.1145/1882362.1882399
Colombo PKhendek FLavazza L(2010)Requirements analysis and modeling with problem frames and SysMLProceedings of the 6th European conference on Modelling Foundations and Applications10.1007/978-3-642-13595-8_8(74-89)Online publication date: 15-Jun-2010
https://dl.acm.org/doi/10.1007/978-3-642-13595-8_8
Classen ALaney RTun THeymans PHubaux ARapanotti LHall JJin ZCox K(2008)Using the event calculus to reason about problem diagramsProceedings of the 3rd international workshop on Applications and advances of problem frames10.1145/1370811.1370826(74-77)Online publication date: 10-May-2008
https://dl.acm.org/doi/10.1145/1370811.1370826
Wang JHe KGong PWang CPeng RLi BRapanotti LHall JJin ZCox K(2008)RGPSProceedings of the 3rd international workshop on Applications and advances of problem frames10.1145/1370811.1370817(29-35)Online publication date: 10-May-2008
https://dl.acm.org/doi/10.1145/1370811.1370817
Barragáns Martínez APazos Arias JFernández Vilas AGarcía Duque JLópez Nores MDíaz Redondo RBlanco Fernández Y(2008)On the interplay between inconsistency and incompleteness in multi-perspective requirements specificationsInformation and Software Technology10.1016/j.infsof.2007.02.00150:4(296-321)Online publication date: 1-Mar-2008
https://dl.acm.org/doi/10.1016/j.infsof.2007.02.001
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Quality Requirements Analysis Using Requirements Frames

Extending the Problem Frames Approach for Capturing Non-functional Requirements

Modeling Timing Requirements in Problem Frames Using CCSL

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations