切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
YAWL到BPMN的映射研究
YAWL到BPMN的映射研究
来源 :厦门大学学报:自然科学版 | 被引量 : 0次 | 上传用户:suease
【摘 要】
:
针对YAWL语言目前存在较多OR逻辑二义性的情况,提出将YAWL转换成BPMN语言.转换不仅可以解决YAWL在多实例、同步和取消等模式表达上存在的不足,转换后更为简洁的BPMN模型也有
【作 者】
:
叶双
叶剑虹
宋文
孙世新
【机 构】
:
华侨大学计算机科学与技术学院,西华大学数学与计算机学院,电子科技大学计算机科学与工程学院
【出 处】
:
厦门大学学报:自然科学版
【发表日期】
:
2011年4期
【关键词】
:
YAWL
BPMN
形式化仿真
软件模型转换
YAWL BPMN formalization simulation conversion of software
【基金项目】
:
国家自然科学基金项目(60473030), 厦门市科技局科技计划创新项目(3502Z20103027), 华侨大学科研启动基金项目(09BS514), 华侨大学基本科研业务费专项基金项目(JB-ZR1130)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对YAWL语言目前存在较多OR逻辑二义性的情况,提出将YAWL转换成BPMN语言.转换不仅可以解决YAWL在多实例、同步和取消等模式表达上存在的不足,转换后更为简洁的BPMN模型也有利于进一步性质分析.算法的最终实现已嵌入到最新的ProM5.2平台中.
其他文献
眼球震颤阻滞综合征检查诊断图解
眼球震颤阻滞综合征(nystagmus blockage syndrome,NBS),是以婴儿早期发生眼球震颤伴有内斜视、代偿头位及假性展神经麻痹为特征的特殊类型的斜视。本征主要与婴幼儿型内斜视合
期刊
眼球后退综合征
三棱镜
眼球震颤阻滞综合征
内斜视
眼外转
代偿头位
检查诊断
应用神经网络进行高光谱分类的维数讨论
相对于传统的多光谱,高光谱遥感数据具有波段众多、各波段相关性较强、计算量大等特点,这对相应的数据处理技术提出了很高的要求。但对高光谱数据进行分类时,存在一些问题,比
会议
高光谱遥感
维数灾难
特征提取
特征选择
惠州农商银行个人住房按揭贷款业务营销策略研究
近年来,我国经济不断高速发展,社会日益繁荣昌盛,个人住房不仅是每家每户的刚需,也是一种重要的投资产品,更是一直以来国家经济增长的重要支撑。因此,个人住房按揭贷款业务一
学位
惠州农商银行
个人住房按揭贷款
营销策略
足月新生儿缺血缺氧性脑病的CT诊断
目的:探讨足月新生儿缺血缺氧性脑病(HIE)的CT诊断及鉴别诊断.方法:对45例有明确围产期窒息史,且有临床症状的病例进行CT扫描,取得完整的临床及CT诊断资料后加以分析.结果:本
期刊
足月新生儿
缺血缺氧性脑病
CT诊断
HIE
X线计算机
农用拖拉机的节油措施
1、坚持油料净化。柴油的清洁度对燃油供给系精密配件的技术状态和使用寿命有决定性的影响,而柴油供给系的技术状态对发动机的动力性和经济性又有着重要的影响,因此,坚持油料
期刊
节油措施
农用拖拉机
技术状态
延长使用寿命
发动机
喷油器
燃油供给系统
柴油雾化
农业机械
合理使用
通辽市农机普查统计分析
期刊
通辽市
大中型农业机械
统计分析
大中型拖拉机
拖拉机保有量
链式拖拉机
农机化
中型轮式拖拉机
农副产品加工机械
普查
H5N1亚型禽流感病毒M基因的克隆与分子进化分析
以一株H5N1亚型禽流感病毒RNA为模板,用RT-PCR方法,扩增M基因全长,将PCR产物克隆于pMD18-T载体,测序结果表明所克隆的982个核苷酸的片段包含了M1和M2基因的完整阅读框架,通过软件
期刊
禽流感病毒
RT-PCR
M基因
分子进化分析
avian influenza virus RT-PCR matrix gene evolutional ana
市场经济体制下如何开展农机推广工作的探讨
农机化技术推广部门要在完成国家赋予的公益性职能的前提下,充分利用自身优势和技术特长,不断拓宽服务领域,开展有偿服务,兴办经济实体,增强其活力和实力。
期刊
市场经济
农机
推广
深化农机教学改革 努力提高培训水平
期刊
教学改革
教学内容
县农机校
努力提高
优化教学方法
教师队伍素质
“教”与“学”
教学模式
农机培训
巴林左旗
关于四元数体上的双矩阵分解
利用四元数矩阵的奇异值分解及其转换形式,以及体上矩阵秩的有关结论.使用分块矩阵独有的技巧方法,得到四元数体上具有相同行数或相同列数的矩阵分解定理,其形式均为更有意义的拟
期刊
四元数体
奇异值分解
双矩阵分解
quaternion field singular value decomposition pairwise matrices
与本文相关的学术论文