Handbook of Truly Concurrent Process Algebra

Chapter 33: Verification of architectural patterns

Abstract

This chapter introduces the verification of architectural patterns based on truly concurrent process algebra.

Keywords

Architectural Patterns; Verification; Process Algebra

Architecture patterns are highest-level patterns that present structural organizations for software systems and contain a set of subsystems and the relationships among them.

In this chapter, we verify four categories of architectural patterns, in Section 33.1, we verify structural patterns including the Layers pattern, the Pipes and Filters pattern, and the Blackboard pattern. In Section 33.2, we verify patterns considering distribution aspects. We verify patterns that feature human–computer interaction in Section 33.3 ...