搜索筛选:
搜索耗时3.3717秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：王远,范玉顺,
来源：制造业自动化 年份：2006
分析了时间管理对工作流模型和工作流系统功能的需求，基于元建模技术提出了一种符合MOF规范的工作流时间元模型，设计了支持时间管理的工作流系统框架，按照该框架开发了工作流原......
[期刊论文] 作者：王远,范玉顺,
来源：计算机集成制造系统 年份：2007
为有效地处理工作流运行中出现的时间异常，分析了工作流系统对时间异常处理的需求，给出了工作流时间异常处理和工作流时序约束相关活动的定义，提出了时间异常的分类方法和时间异......
[期刊论文] 作者：王远,范玉顺,
来源：软件学报 年份：2007
为了解决工作流时间建模与时序一致性验证问题，以时序逻辑和模型检查为基础，提出了一种工作流时间建模与时序一致性验证方法．该方法用一阶逻辑描述工作流模型及其时间信息，用时序......
[期刊论文] 作者：王远,范玉顺,
来源：高技术通讯 年份：2006
提出了一种基于活动时序逻辑（TLA）的工作流建模与模型分析的形式化方法。该方法将模型及模型的性质都表示为一个，TLA公式，对工作流模型性质的分析可以等价为对，TLA中两个公式之间......
[会议论文] 作者：王远;范玉顺;,
来源：网络化制造与大规模定制学术会议 年份：2003
在工作流管理系统运行期间,可能会有同一工作流过程模型的多个实例在同时运行.这些实例可能会需要同时访问一个工作流数据,这样,这些实例之间会发生数据访问冲突,这会在工作...
相关搜索：
