Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Precise specification and automatic application of design patterns
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Software Engineering (7th Edition)
Software Engineering (7th Edition)
Security Patterns: Integrating Security and Systems Engineering
Security Patterns: Integrating Security and Systems Engineering
Requirements engineering for trust management: model, methodology, and reasoning
International Journal of Information Security
Systematic pattern selection using pattern language grammars and design space analysis
Software—Practice & Experience
The Growing Divide in the Patterns World
IEEE Software
Selecting Security Patterns that Fulfill Security Requirements
RE '08 Proceedings of the 2008 16th IEEE International Requirements Engineering Conference
Patterns for Fault Tolerant Software
Patterns for Fault Tolerant Software
Goal-driven risk assessment in requirements engineering
Requirements Engineering
Hi-index | 0.00 |
Design Patterns constitute an effective way to model design knowledge for future reuse. There has been much research on topics such as objectoriented patterns, architectural styles, requirements patterns, security patterns, and more. Typically, such patterns are specified informally in natural language, and it is up to designers to determine if a pattern is applicable to a problem-athand, and what solution that pattern offers. Of course, this activity does not scale well, either with respect to a growing pattern library or a growing problem. In this work, we propose to formalize such patterns in a formal modeling language, thereby automating pattern matching for a given problem. The patterns and the problem are formalized in a description logic. Our proposed framework is evaluated with a case study involving Security & Dependability patterns specified in Tropos SI*. The paper presents the formalization of all concepts in SI* and the modeling of problems using OWL-DL and SWRL. We then encode patterns as SPARQL and SQWRL queries. To evaluate the scalability of our approach, we present experimental results using models inspired by an industrial case study