Problem frame transformations: deriving specifications from requirements
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Developer requirements in the PF approach
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Information and Software Technology
RGPS: a unified requirements meta-modeling frame for networked software
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Using the event calculus to reason about problem diagrams
Proceedings of the 3rd international workshop on Applications and advances of problem frames
The socio-economics of software architecture
Automated Software Engineering
Problem frames and software engineering
Information and Software Technology
Separation of concerns for dependable software design
Proceedings of the FSE/SDP workshop on Future of software engineering research
Generating early design models from requirements analysis artifacts using problem frames and SysML
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Bridging the gap between requirements and design: An approach based on Problem Frames and SysML
Journal of Systems and Software
Requirements analysis and modeling with problem frames and SysML: a case study
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
EA-Analyzer: automating conflict detection in a large set of textual aspect-oriented requirements
Automated Software Engineering
Specifying software features for composition: A tool-supported approach
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 0.00 |
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.