收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于SOFL的业务流程分析技术研究

李少翀  
【摘要】:随着Web服务技术的兴起,为了在企业级构建合适的基于SOA的应用系统,如何正确的Web服务组合和验证成为业务流程建模的关键的步骤。在业务流程建模中,Web服务组合验证能够提前发现Web服务组合中存在的问题,以确保正确可用的服务组合投入使用,从而提高服务组合执行的成功率和用户满意度。因此,如何有效的对业务流程分析和设计成为当今研究的热点。由于SOFL的形式化方法可以为我们提供一种比较严谨却又不失工程性的方法,因此在本文中采用该方法来描述工作流,工作流的实现是由服务的组合来完成的,对于服务的功能性需求选择,重要的在于验证组合出的服务是否符合用户的需求,假如设计出的工作流是可验证的,那么就可判断出组合出的服务是否与需求相一致。 本文在描述工作流方面摒弃了以往设计工作流采用一种特定的工作流描述语言的方式,而是先抽象出工作流的核心集合,工作流的描述基于该核心集合。同时为了适应不同领域的模型,在工作流核心集合的基础上增加了扩展方法。利用SOFL的相关理论知识形式化描述工作流,并提出了一个利用形式化方法严格复审和验证工作流的框架。该框架可以指导用户检查设计出的工作流的数据缺陷、内部不一致性、不完备性,并判定它是否满足用户需求。为了能够兼容现有的工作流,本文还提出了可以把SOFL设计的工作流转换为BPEL的方法,从而使用形式化方法描述的工作流可以在支持BPEL的应用服务器中使用。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 崔立真;王海洋;;一种基于工作流类型版本和实例迁移的动态修改方法[J];计算机科学;2004年09期
2 郑白桦;袁潜龙;;基于信息传送和事件驱动的分布式工作流系统[J];计算机科学;1999年12期
3 李雄,薛开,毛雨辉;基于B/S的工艺工作流管理的研究[J];应用科技;2004年02期
4 李海波;战德臣;;工作流无效路径的识别方法[J];计算机集成制造系统;2006年05期
5 任瑞贞;常会友;;工作流系统的组织模型管理及动态维护[J];计算机应用与软件;2008年01期
6 宋斌;李国栋;柳长安;;组件化工作流模型的研究与设计[J];中国电力教育;2008年S1期
7 陈桂鸿;;基于SOA和工作流技术的图书馆集成信息平台研究[J];图书馆学研究;2009年06期
8 王凯,白庆华;基于工作流管理的动态联盟企业信息系统模型[J];计算机应用;1999年10期
9 赵丽萍,陈鸿;面向CAPP的工作流程管理研究与应用[J];计算机工程与应用;2001年17期
10 施奕勇,景栋盛,杨洋;一个基于工作流的协同编辑系统的设计与实现[J];计算机时代;2005年09期
11 郑文煜;葛玮;;WEB工作流的访问控制研究与实现[J];计算机技术与发展;2006年02期
12 罗敬;管强;;基于Web服务的电子政务平台研究与实践[J];河南科学;2006年01期
13 赵峰;;管理信息系统开发平台的构建及实现[J];信息技术;2006年08期
14 郭昂;武永卫;田金兰;杨广文;;面向生物信息学计算的网格工作流系统[J];华中科技大学学报(自然科学版);2006年S1期
15 胡金柱;王挥;王小庆;田峰;;基于Petri网的工作流在电子政务系统中的建模与分析[J];计算机应用与软件;2006年09期
16 杨冬梅;胡彧;张亦军;;基于角色的工作流模型研究与应用[J];电脑开发与应用;2006年11期
17 杨庆;王红卫;王丽娟;万虎;;基于HLA分布演练系统的事件管理与调度[J];华中科技大学学报(自然科学版);2007年12期
18 薛丁海;陈海松;凌海风;李庆文;;工程机械维修业务管理系统设计与实现[J];建筑机械化;2008年08期
19 宋燕;闫崇京;;扩散工作流管理系统研究[J];中国制造业信息化;2009年13期
20 赵宗敏;吴海涛;王洋;;工作流元模型到SPEM的扩展与映射[J];计算机应用;2010年03期
中国重要会议论文全文数据库 前10条
1 韩建民;何小卫;贾泂;;基于工作流的网上协同设计系统的实现[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
2 沙海燕;崔浩;;办公自动化中工作流管理系统模型[A];OA’99办公自动化全国学术研讨暨展示会论文集[C];1999年
3 李新;薛永生;;可重构工作流系统设计方法研究[A];第二十届全国数据库学术会议论文集(技术报告篇)[C];2003年
4 周颖;崔立真;王海洋;;一种解决工作流中并发流程间资源冲突的方法[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
5 李强;刘亚军;;一种基于任务补偿的工作流实例迁移策略[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
6 刘庆;刘英博;王建民;;基于工作流日志的层次化角色挖掘[A];第二十四届中国数据库学术会议论文集(技术报告篇)[C];2007年
7 常仕军;;基于工作流的生产过程监控系统体系构建[A];第二届民用飞机制造技术及装备高层论坛资料汇编(论文集)[C];2010年
8 查攀;;多级混合工作流及软内核引擎在数字交通中的研究应用[A];全国城市公路学会第十九次学术年会论文集[C];2010年
9 袁征;肖宇;;基于事例处理的工程项目工作流管理[A];土木建筑学术文库(第12卷)[C];2009年
10 崔金红;王旭;;工作流管理在信息系统设计中的应用研究[A];全国第七届工业工程与企业信息化学术会议论文集[C];2003年
中国博士学位论文全文数据库 前10条
1 高昂;基于多种视角的工作流挖掘技术研究[D];北京科技大学;2010年
2 伍章俊;云工作流服务组合与活动调度策略研究[D];合肥工业大学;2011年
3 龙浩;网格语义工作流关键技术研究[D];北京工业大学;2010年
4 郭文彩;面向服务的网格工作流关键技术研究[D];北京科技大学;2006年
5 聂作先;广义良构工作流业务过程实例时间性能分析[D];中南大学;2010年
6 杨浩澜;动态网格计算工作流关键技术研究[D];重庆大学;2011年
7 张金艳;基于工作流的医疗信息系统研究[D];浙江大学;2009年
8 万林;网格GIS下协同式空间信息工作流实现技术研究[D];中国地质大学;2012年
9 邹灵浩;基于工作流的某型号产品协同设计方法研究[D];大连理工大学;2010年
10 刘灿灿;科学工作流管理及调度研究[D];国防科学技术大学;2011年
中国硕士学位论文全文数据库 前10条
1 李少翀;基于SOFL的业务流程分析技术研究[D];上海交通大学;2011年
2 任静;基于工作流的办公自动化系统的研究与实现[D];西安电子科技大学;2010年
3 张福新;工作流动态构建技术研究及应用[D];山东科技大学;2010年
4 陈旭;面向警务督察的活动模型及工作流平台的研究与设计[D];天津大学;2010年
5 贾音;基于工作流的协同信访系统的设计与实现[D];电子科技大学;2009年
6 乔英合;东软软件外包项目管理工作流引擎的设计与实现[D];东北大学;2009年
7 洪智强;大型广告企业工作流管理平台设计与实现[D];电子科技大学;2010年
8 王晨;基于工作流的通信整机调试数字化系统研究[D];西安电子科技大学;2010年
9 吴强;银行业文档与工作流通用平台设计与实现[D];华南理工大学;2010年
10 方胜;基于关系数据库的工作流引擎管理系统的设计与开发[D];北京邮电大学;2010年
中国重要报纸全文数据库 前10条
1 ;《工作流管理——模型、方法和系统》出版[N];中华读书报;2004年
2 蒋明炜 戴宝纯 吴英;工作流管理使企业系统实现集成[N];中国乡镇企业报;2004年
3 何进伟;还工作流管理一个说法[N];中国计算机报;2003年
4 蒋明炜、戴宝纯、吴英;工作流管理与ERP的应用[N];中国计算机报;2003年
5 记者 朱冰;北京大学提出工作流的三层模型[N];中国高新技术产业导报;2007年
6 工作流资深专家 刘航;中国企业迈向流程公司的十个路标[N];中国计算机报;2007年
7 刘喜喜;超越工作流管理[N];中国计算机报;2006年
8 朱静芬;CRM与ERP的整合[N];财会信报;2007年
9 ;轻松办公的好选择[N];中国计算机报;2005年
10 ;为企业工作流程注入活力[N];计算机世界;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978