论文部分内容阅读
针对使能最终用户直接组合服务生成个人应用的问题,提出一种基于Petri网模型:WF_logic,WF_semantics,WM_logic和WM_semantics(统称为PWF_nets)的服务组合方法.该方法可以指导最终用户在不同的抽象等级逐步为服务组合流程的逻辑、语义和管理建模,使最终用户在不同的阶段专注于服务组合的不同方面并且在每个阶段都有合适的网模型支持,不仅可以提高其构造合理有效应用的成功率,而且各个阶段建立的模型也可以被形式验证.