Chapter 38: Composition of patterns
Abstract
This chapter introduces the verification of composition of patterns.
Keywords
Composition of Patterns; Verification; Process Algebra
Patterns can be composed to satisfy the actual requirements freely, once the syntax and semantics of the output of one pattern can be inserted into the syntax and semantics of the input of another pattern.
In this chapter, we show the composition of patterns. In Section 38.1, we verify the composition of the Layers patterns. In Section 38.2, we show the composition of Presentation–Abstraction–Control (PAC) patterns. We compose patterns for resource management in Section 38.3.
38.1 Composition of the Layers patterns
In this section, we show the composition of the Layers patterns, ...
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.
