期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
工作流模式支持语言YAWL可视化设计环境实现分析 被引量:4
1
作者 孙满囤 李俊山 韩先锋 《微电子学与计算机》 CSCD 北大核心 2006年第3期131-134,共4页
首先总结了工作流模式并对YAWL进行了阐述,进而从YAWL规范生成、保存及导出YAWL引擎文件三个方面分析了YAWL可视化设计环境具体实现技术,对促进YAWL支撑环境的不断完善及相关工作流系统软件的开发有重要参考价值。
关键词 工作流 模式 yawl 可视化设计 分析
在线阅读 下载PDF
YAWL到BPMN的映射研究 被引量:1
2
作者 叶双 叶剑虹 +1 位作者 宋文 孙世新 《厦门大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第4期714-718,共5页
针对YAWL语言目前存在较多OR逻辑二义性的情况,提出将YAWL转换成BPMN语言.转换不仅可以解决YAWL在多实例、同步和取消等模式表达上存在的不足,转换后更为简洁的BPMN模型也有利于进一步性质分析.算法的最终实现已嵌入到最新的ProM5.2平台中.
关键词 yawl BPMN 形式化仿真 软件模型转换
在线阅读 下载PDF
YAWL与BPMN的双向映射研究 被引量:2
3
作者 叶剑虹 叶双 《系统仿真学报》 CAS CSCD 北大核心 2013年第1期1-5,11,共6页
对高级建模语言YAWL及BPMN进行了研究。提出BPMN与YAWL语言之间的双向映射算法。转换可使得建模时对不同高级语言各取所长,减少重复开发的费用。算法的最终实现已以插件嵌入到进程挖掘开发平台ProM6.0中。
关键词 BPMN yawl 映射 算法
原文传递
YAWL中OR-join任务使能判断的改进及形式化说明 被引量:1
4
作者 孙玲芳 方锦烽 +3 位作者 汲铮 沈晶 王燕 徐曰光 《江苏科技大学学报(自然科学版)》 CAS 北大核心 2007年第5期64-68,共5页
为避免YAWL建模过程中嵌套使用或汇合任务可能出现的提前使能问题,提出了使用异或汇合和与汇合任务将嵌套的或汇合任务进行替换的方法,通过替换有效解决了这一问题,而且结合Reset网,对改进作形式化说明。
关键词 工作流 yawl语言 或汇合 Reset网
在线阅读 下载PDF
基于YAWL的商品安全消费系统建模与分析 被引量:1
5
作者 孙玲芳 于枫 《计算机工程与应用》 CSCD 北大核心 2006年第32期173-176,179,共5页
关注商品消费安全是经济活动的迅猛发展的必然要求。在综合分析现有工作流建模技术的基础上,引入YAWL这一新技术,结合商品安全消费问题的特点,建立商品安全消费系统的YAWL模型。同时,应用YAWL的分析方法,以可达性分析说明建立YAWL模型... 关注商品消费安全是经济活动的迅猛发展的必然要求。在综合分析现有工作流建模技术的基础上,引入YAWL这一新技术,结合商品安全消费问题的特点,建立商品安全消费系统的YAWL模型。同时,应用YAWL的分析方法,以可达性分析说明建立YAWL模型对系统性能分析的优点。 展开更多
关键词 yawl 工作流建模 商品安全消费系统 可达图
在线阅读 下载PDF
YAWL语言及其系统的初步研究
6
作者 方锦烽 孙玲芳 《企业技术开发》 2005年第10期6-7,10,共3页
工作流和工作流管理系统的合理应用可大大提高办公自动化的程度,而现有的工作流系统在支持工作流基本模式上存在一定的缺陷。一种新出现的YAWL语言较好地支持了工作流现有的基本模式,文章就YAWL语言及其系统的执行方法进行了初步的研究。
关键词 工作流 yawl语言 视图 工作流模式
在线阅读 下载PDF
基于YAWL的高校人事管理系统工作流建模研究
7
作者 方锦烽 《企业技术开发》 2015年第7期47-49,共3页
文章提出了一种基于YAWL的高校人事管理系统工作流建模的研究方法,并使用人事管理系统中一个具体实例对所提出的建模方法进行分析,分析表明YAWL建模方法简单、可行,而且可以保证工作流模型的可靠性。
关键词 工作流管理系统 工作流建模 yawl
在线阅读 下载PDF
基于YAWL的制造业物流管理控制流程建模与分析 被引量:1
8
作者 张新新 《现代商贸工业》 2018年第3期20-21,共2页
研究的是一种物流管理流程建模方法,主要应用于生产制造业的流程控制方面。通过对具体公司案例的分析应用,说明这种建模方法的具体操作过程,显示出方法的便捷性、易行性以及分析结果的有效性。
关键词 物流管理控制 yawl 可达树分析
在线阅读 下载PDF
运用YAWL和ProM进行工作流仿真研究
9
作者 殷龙 《物流科技》 2017年第12期36-37,共2页
仿真被广泛应用于抽象的稳态业务流程分析,这种分析有助于初始的业务流程设计,但并不太适用于运营决策和持续改进。文章通过信用卡申请示例介绍了在工作流管理环境下的操作决策支持的仿真系统,该方法集合并扩展了工作流管理系统YAWL和... 仿真被广泛应用于抽象的稳态业务流程分析,这种分析有助于初始的业务流程设计,但并不太适用于运营决策和持续改进。文章通过信用卡申请示例介绍了在工作流管理环境下的操作决策支持的仿真系统,该方法集合并扩展了工作流管理系统YAWL和流程挖掘框架Pro M,不仅利用工作流程的设计,而且还记录了描述系统观察到的历史行为的数据,以及关于工作流当前状态的信息。 展开更多
关键词 yawl 工作流 仿真
在线阅读 下载PDF
资源分配演化过程与系统实现研究
10
作者 谭会辛 徐亮 伍先扬 《中国制造业信息化(学术版)》 2007年第7期1-4,9,共5页
通过对各种资源分配类型的分析,提出了控制资源分配的三元结构,并将资源分配过程演化为资源计划、资源准备和资源执行3个阶段。在此思想上设计并实现了一个资源分配系统,通过与YAWL工作流引擎的集成,较好地完成了对工作流实例的资源分配。
关键词 资源分配 演化 工作流管理 yawl
在线阅读 下载PDF
规范流网中OR-join任务的语义及使能判定算法 被引量:2
11
作者 曹国荣 谭庆平 +1 位作者 吴浩 解金刚 《计算机科学与探索》 CSCD 2010年第6期542-551,共10页
对规范流网中OR-join任务语义及使能判定算法进行了深入研究。首先介绍YAWL语言中与OR-join任务有关的概念,规范流网的有关定义,然后在此基础上定义规范流网关于OR-join任务新的语义;最后提出一种判定规范流网OR-join任务使能的算法,并... 对规范流网中OR-join任务语义及使能判定算法进行了深入研究。首先介绍YAWL语言中与OR-join任务有关的概念,规范流网的有关定义,然后在此基础上定义规范流网关于OR-join任务新的语义;最后提出一种判定规范流网OR-join任务使能的算法,并举例说明算法的正确性和有效性。 展开更多
关键词 OR-join任务 规范流网 yawl语言 PETRI网
在线阅读 下载PDF
基于工作流网的银行业务库高安全门禁系统 被引量:1
12
作者 王晓晓 杜勇前 +1 位作者 叶剑虹 孙世新 《计算机工程与应用》 CSCD 北大核心 2016年第8期221-228,共8页
银行业务库门禁系统是一种对安全要求极高的出入口控制系统,作为业务库的第一道安全防线,该系统比普通门禁拥有更多的约束条件、更复杂的流程。先对比普通门禁和业务库门禁系统,由此引出定理合理的工作流网中加入约束后仍然是合理的工... 银行业务库门禁系统是一种对安全要求极高的出入口控制系统,作为业务库的第一道安全防线,该系统比普通门禁拥有更多的约束条件、更复杂的流程。先对比普通门禁和业务库门禁系统,由此引出定理合理的工作流网中加入约束后仍然是合理的工作流网。然后通过工作流网对普通门禁和业务库门禁系统进行了系统模型的建立,再采用YAWL Editor工具分析了所构建系统的正确性,最后使用软硬件协同设计的方法改进并实现了业务库门禁系统。实验结果验证了定理的正确性,同时表明基于工作流网的方法有效降低了门禁系统的设计难度,并在具体实现之前确保了设计的正确性,提高了系统的开发效率。 展开更多
关键词 PETRI网 工作流网 yawl EDITOR 门禁系统 软硬件协同设计
在线阅读 下载PDF
基于工作流模式的元建模研究 被引量:1
13
作者 魏歌 《计算机工程与设计》 CSCD 北大核心 2011年第5期1730-1733,1737,共5页
把另一个工作流语言系统纳入到模型驱动架构中来,是该系统开发由理论逐步走向应用的途径,为了实现这个构思,提供了基于的工作流模式的建模方法。通过对于工作流元建模开发架构进行的认知与分解,确定了另一个工作流语言系统在该架构中最... 把另一个工作流语言系统纳入到模型驱动架构中来,是该系统开发由理论逐步走向应用的途径,为了实现这个构思,提供了基于的工作流模式的建模方法。通过对于工作流元建模开发架构进行的认知与分解,确定了另一个工作流语言系统在该架构中最适合的阶段和层次。在此基础上,建立了基于工作流模式的元建模框架,利用图的语言,设计了基于结构及特点分析的模型转换的框架。该方法有利于提高软件开发的效率并具有交互性和可复用性。 展开更多
关键词 元模型 模型转换 模型驱动架构 工作流模式 另一个工作流语言
在线阅读 下载PDF
CALM单点系泊油船“鱼尾效应” 被引量:4
14
作者 周楠 《中国海洋平台》 2018年第5期70-74,共5页
为充分认识和分析CALM(Catenary Anchor Leg Mooring)单点系泊油船可能存在的"鱼尾效应",应用数值分析方法对该现象进行模拟分析和研究,得出外部环境载荷对该效应的影响规律,并探讨控制该效应的方法,对于CALM单点系泊系统设... 为充分认识和分析CALM(Catenary Anchor Leg Mooring)单点系泊油船可能存在的"鱼尾效应",应用数值分析方法对该现象进行模拟分析和研究,得出外部环境载荷对该效应的影响规律,并探讨控制该效应的方法,对于CALM单点系泊系统设计具有一定的指导意义。 展开更多
关键词 CALM 单点系泊 艏摇 鱼尾效应
在线阅读 下载PDF
Designing Conceptual Framework for Aligning Service Oriented Architecture with Business Process
15
作者 Zulqarnain Abdul Jabbar Manoj Kumar Asia Samreen 《Journal of Computer and Communications》 2015年第4期11-22,共12页
A problem in most of the organizations is to find the best way to mature their business processes. Process maturity can make the organizations more profitable and competent for other competitors. The problem can be so... A problem in most of the organizations is to find the best way to mature their business processes. Process maturity can make the organizations more profitable and competent for other competitors. The problem can be solved by aligning service oriented architecture (using web services) with business processes within the organization. The purpose of this paper is to design a conceptual framework for aligning business processes with the Service Oriented Architecture and then prove the framework’s validity using simulation. An organization is working in education sector and wants to integrate its multiple web applications to allow data flow from one system to another. The framework will help the organization to align business process of service oriented architecture and to easily mold their business process according to business needs. The framework’s validity will be proved by simulating the entire process using Yet Another Workflow Language (YAWL). 展开更多
关键词 SOA Process MATURITY CONCEPTUAL Framework yawl
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部