Information Technology Reference
In-Depth Information
2.1
Verification of Design Patters
In describing the relation between the syntactic language of UML and the se-
mantics of the formal description language package from Oldenburg, the CSP-
OZ-DC it is now possible to illustrate the idea of using verification patterns in
the software development process graphically, as seen in Figure 1.
Design and Implementation
Validation and Verification
1
1
Design
Pattern
Verification
Pattern
*
*
*
Rely/Guarantee
Assert/Assume
*
*
1
1
Component
Validator
Component
*
1
1
1
Application
Validator
Application
Fig. 1. The framework of Component Based Development using Design Patterns and
Verification Patters
Figure 1 represents the framework for Component Based Development using
Design Patterns and Verification Patterns. The framework extend what is con-
sidered ordinary software development efforts by explicitly emphasising the use
of design patterns and by illustrating the associated validation possibilities that
verification patterns offer.
Design patterns are usually applied in a context similar to the one illustrated
in the Design and Implementation part of Figure 1. Design patterns provides
guides on how to develop good designs to well known design challenges and
components that must address one or more of these challenges can then be
designed using the respective design patterns. That the component is designed
and implemented using certain design patterns can be useful for the system
developer that later will embed the component in a system design. Most design
patterns, however, contains more useful information that can be exploited, as
illustrated in the Validation and Verification part of Figure 1. For each design
pattern a verification pattern, which is a range of rely/guarantee pairs, can be
specified reflecting the different aspects of the pattern. The specification can
 
Search WWH ::




Custom Search