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.
翻译:软件模式为设计和实施软件系统提供了构件,并试图使软件工程从经验到科学的发展。软件模式由于作为设计模式的引入而出名。之后,对模式进行了广泛和迅速的研究与开发。软件模式结构系列书籍应在软件模式的开发中标出。正如这些书籍中所提到的,模式和中间模式语言的正规化是必要的,在未来的模式模式中也应开发出来。因此,在本书中,我们根据模式导向软件结构系列书籍的类别正式确定软件模式,并核实基于真正同时的代数进程模式的正确性。在其中一个方面,模式得到正规化和核实;在另一个方面,真正同时的代数进程可以发挥中间模式语言的作用,以形成严格的理论。