标签： schema proof notation fuzzy-logic conjunctive-normal-form
考虑一个具有多个流程的复杂系统。在系统内部 有一个封闭的小组，加入该小组的进程可以共享外界的消息。系统的所有进程部分构成Procs集。加入该组的流程是Joined集的一部分，而尚未加入或离开的流程则是Left的一部分。
•假设进程的类型为P，则定义代表复杂系统的CmpS模式。
•定义用于初始化复杂系统的initSys操作的模式。
•定义将操作p添加到组的联接操作的模式。
•定义从组中删除进程p的请假操作的模式。
•定义将操作p添加到复杂系统的创建操作的模式。