论文标题
验证模式
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.
