验证模式
Verification of Patterns
摘要：
软件模式为软件系统的设计和实现提供了构件，并试图使软件工程从经验走向科学。软件模式作为设计模式的引入而闻名于世。此后，图案得到了广泛而迅速的研究和发展。面向模式的软件体系结构系列丛书是软件模式发展的标志。正如在这些书中提到的，模式的形式化和一种中间模式语言是需要的，并且应该在模式的未来得到开发。因此，在本书中，我们按照面向模式的软件体系结构系列丛书的分类，对软件模式进行了形式化描述，并基于真正的并发进程代数对模式的正确性进行了验证。一方面，模式被形式化和验证;另一方面，真正的并发进程代数由于其严格的理论，可以起到中间模式语言的作用。
英文摘要：
The software patterns provide building blocks to the design and implementation of a software system, and try to make the software engineering to progress from experience to science. The software patterns were made famous because of the introduction as the design patterns. After that, patterns have been researched and developed widely and rapidly. The series of books of pattern-oriented software architecture should be marked in the development of software patterns. As mentioned in these books, formalization of patterns and an intermediate pattern language are needed and should be developed in the future of patterns. So, in this book, we formalize software patterns according to the categories of the series of books of pattern-oriented software architecture, and verify the correctness of patterns based on truly concurrent process algebra. In one aspect, patterns are formalized and verified; in the other aspect, truly concurrent process algebra can play a role of an intermediate pattern language for its rigorous theory.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
