论文部分内容阅读
描述了Web服务流语言(WSFL)的Petri网建模方法,利用网结构描述商业流程基本结构.在对WSFL的语法元素进行分析的基础上,有效地对WSFL所描述的商业流程进行了Petri网建模.在此基础上,结合Petri网的可达图分析技术,分析和验证了商业流程的可达性和活性等性质.
基于Petri网的Web服务流语言（WSFL）建模与分析
【摘 要】
：
描述了Web服务流语言(WSFL)的Petri网建模方法,利用网结构描述商业流程基本结构.在对WSFL的语法元素进行分析的基础上,有效地对WSFL所描述的商业流程进行了Petri网建模.在此
【机 构】
：
同济大学计算机科学与工程系
【出 处】
：
小型微型计算机系统
【发表日期】
：
2004年7期
其他文献
近年来,水生蔬菜病害多发,严重影响产品的产量和品质,制约了水生蔬菜产业的持续健康发展.从病害类 型、症状、病原物、发生分布和防治等方面,综述了我国栽培面积大、经济价值
为了加强项目经济评价工作,科学合理地编制农业建设项目的财务分析报告,考察项目在财务上的可行性,为投资决策提供科学的依据,文章针对农业建设项目的特点,结合减轻税费的税
本文通过对多媒体网络通信，网络监控的特点及现存问题的分析，提出了多媒体络实时监控平台的开发模型，并阐述了实现该平台的关键技术。
本文分析势轮转算法的可调度效率性能,指出了势轮转算法存在旋转异常现象.通过分析旋转异常产生的原因,提出一个提高势轮转算法的可调度效率的实用方案.
失眠为临床多发病症,西医多镇静催眠治疗,易引起依赖性、耐受性,副作用明显,中医药着眼整体,随症施治,在改善病者症状方面优势显著。恩师张怀亮是国务院特殊津贴专家、全国优