更具体的：一个网格服务流的状态π演算形式化语义（SrvFlow进程）由其流程结构（FlowStruct）和流程上下文（FlowContext）两部分并发组成（SrvFlow= FlowStruct|FlowContext，参见3.5小节定义）。
基于1个网页-相关网页
应用推荐
模块上移
模块下移
不移动