Chapter 34: Verification of design patterns
Abstract
This chapter introduces the verification of design patterns based on truly concurrent process algebra.
Keywords
Design Patterns; Verification; Process Algebra
Design patterns are middle-level patterns, which are lower than the architecture patterns and higher than the programming language-specific idioms. Design patterns describe the architecture of the subsystems.
In this chapter, we verify the five categories of design patterns. In Section 34.1, we verify the patterns related to structural decomposition. In Section 34.2, we verify the patterns related to organization of work. We verify the patterns related to access control in Section 34.3 and verify management oriented patterns in Section 34.4 ...
Get Handbook of Truly Concurrent Process Algebra now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
