Advanced C++ programming styles and idioms
Advanced C++ programming styles and idioms
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Analysis patterns: reusable objects models
Analysis patterns: reusable objects models
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
XUnit Test Patterns: Refactoring Test Code
XUnit Test Patterns: Refactoring Test Code
Component composition through architectural patterns for problem frames
APSEC '06 Proceedings of the XIII Asia Pacific Software Engineering Conference
A Pattern System for Security Requirements Engineering
ARES '07 Proceedings of the The Second International Conference on Availability, Reliability and Security
Requirement progression in problem frames: deriving specifications from requirements
Requirements Engineering
Towards the integration of sysml and problem frames
Proceedings of the 3rd international workshop on Applications and advances of problem frames
A Formal Metamodel for Problem Frames
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A UML profile for requirements analysis of dependable software
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Towards systematic integration of quality requirements into software architecture
ECSA'11 Proceedings of the 5th European conference on Software architecture
Supporting quality-driven design decisions by modeling variability
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Hi-index | 0.00 |
Pattern-based and model-based software development approaches have a high potential to improve the quality of software. Patterns allow engineers to re-use established and proven development knowledge. Developing software by constructing a sequence of models provides engineers with various possibilities for validation, because the different development models are not independent of each other and hence can be checked for coherence. We present a UML profile equipped with numerous OCL constraints that supports a pattern- and model-based software development process. The basis of the UML profile is a representation of problem frames, which are patterns supporting requirements analysis. OCL constraints provide a formal underpinning of the development process and allow one to perform semantic checks every time a new model is set up. Our approach is supported by a tool, called UML4PF. The tool is based on the Eclipse development environment, extended by an EMF-based UML tool, in our case, Papyrus. In this paper, we specifically focus on ensuring that problem frames are instantiated correctly. We illustrate our approach by the case study of an automatic teller machine.