收藏本站
《2006年全国理论计算机科学学术年会论文集》2006年
收藏 | 手机打开
二维码
手机客户端打开本文

UML状态图中的数据流语义

陆公正  张广泉  
【摘要】:正1 引言工作流管理模型中,具有这样的数据流机制:管理作为工作流中活动输入的数据和提供作为活动输出的数据;确保工作流模型中活动提供的数据对于模型中需要它的其它活动是有效的;提供确保从一

手机知网App
【参考文献】
中国期刊全文数据库 前2条
1 陆公正;戎玫;张广泉;;基于UML-Statecharts的工作流控制结构的验证[J];计算机科学;2006年05期
2 李留英,王戟,齐治昌;UML Statechart图的操作语义[J];软件学报;2001年12期
【共引文献】
中国期刊全文数据库 前10条
1 庾佳;;浅析基于UML模型的软件测试[J];才智;2009年34期
2 孙辉;张术梅;;基于UML的软件测试用例自动生成技术的研究[J];长春理工大学学报;2006年03期
3 林敬恩;滕忠坚;陈圣群;;一种基于状态机的形式化验证技术[J];电脑知识与技术;2008年13期
4 陆公正;吴澜波;顾小晶;张广泉;;一种基于扩展UML状态图的并发工作流验证方法[J];电脑知识与技术;2009年01期
5 庞晓剑;毛明志;;一种基于状态的面向对象类测试策略[J];电子产品可靠性与环境试验;2006年06期
6 赖明志,尤晋元;从UML状态图到PVS规范的自动转换、验证[J];电子学报;2002年S1期
7 周颖 ,郑国梁 ,李宣东;面向模型检验的UML状态机语义[J];电子学报;2003年S1期
8 王聪;王智学;;UML活动图的操作语义[J];计算机研究与发展;2007年10期
9 郭艳燕;刘惊雷;;UML状态机模型元素的RSL形式化定义[J];计算机科学;2013年05期
10 陆公正;吴澜波;于复生;张广泉;;UML Statechart图中数据流的语义及验证[J];苏州市职业大学学报;2009年01期
中国重要会议论文全文数据库 前1条
1 陈冬梅;王忠群;;基于UML的动态工作流过程建模的研究[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(上册)[C];2008年
中国博士学位论文全文数据库 前8条
1 董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年
2 占学德;基于UML statecharts测试方法的研究[D];上海大学;2005年
3 谭永东;自律分散系统动态进化问题研究[D];西南交通大学;2007年
4 邓睿;面向作战效能评估的架构驱动仿真方法及其关键技术研究[D];国防科学技术大学;2008年
5 伍江华;C4ISR体系结构建模与设计技术研究[D];哈尔滨工程大学;2008年
6 程亮;基于模型检测的安全操作系统验证方法研究[D];中国科学技术大学;2009年
7 富浩;体系结构扩展支持的软件故障检测和定位技术研究[D];浙江大学;2009年
8 张涛;复杂信息系统模型的形式化验证方法研究[D];哈尔滨工程大学;2012年
中国硕士学位论文全文数据库 前10条
1 林红昌;基于UML的软件系统的功能性验证和非功能性度量[D];浙江理工大学;2010年
2 李敬刚;基于活动信息传递的工作流验证的研究与实现[D];大连理工大学;2010年
3 王倩倩;CTCS-3级列控系统测试案例优化生成方法研究[D];北京交通大学;2011年
4 黄吉亚;状态图到C++上的映射方法研究[D];昆明理工大学;2009年
5 王志超;面向活动图的代码自动生成技术研究[D];哈尔滨工业大学;2010年
6 吕飞;基于混合式P2P网络的NAT穿越技术的研究与应用[D];大连理工大学;2011年
7 肖春艳;基于模型的软件测试自动化研究[D];江南大学;2012年
8 赵鹏;基于UML状态图的面向对象类级测试方法的研究与实现[D];暨南大学;2003年
9 邹显春;基于活动图模型的工作流形式化语义研究[D];西南师范大学;2003年
10 陈武;UML状态机的形式化语义研究[D];西南师范大学;2004年
【相似文献】
中国期刊全文数据库 前10条
1 杨萍;曹健;;工作流门户中业务过程数据的配置[J];信息技术;2009年08期
2 容晓峰,周水生,郭晓雷,刘平,周利华;电子政务中的动态工作流管理[J];计算机工程;2005年18期
3 文一凭;陈志刚;刘建勋;李欢欢;;成批处理工作流中数据流的管理与控制[J];计算机集成制造系统;2011年08期
4 闫峰;;分布式工作流技术的研究[J];科技情报开发与经济;2007年17期
5 高勇,刘瑜,邬伦;基于Petri网的空间信息工作流模型[J];计算机工程;2005年16期
6 朱士信,吴波;产生k元de Bruijn序列的一个递归算法[J];合肥工业大学学报(自然科学版);2005年09期
7 吴晓东;卜佳俊;陈纯;;基于工作流的ASP服务组合模型研究[J];通信学报;2007年11期
8 刘亚军;康建初;吕卫锋;;采用动态描述逻辑实现UML状态图特性检测[J];计算机科学;2007年10期
9 张晓蒙;戎玫;张广泉;;基于rCOS的UML状态图语义研究[J];计算机工程;2009年02期
10 幸莉珊;石彦芳;石建国;;深入剖析交互图与状态图对类图的完善作用[J];内蒙古农业大学学报(自然科学版);2009年03期
中国重要会议论文全文数据库 前10条
1 陆公正;张广泉;;UML状态图中的数据流语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年
2 蔡致远;魏藜;钱卫宁;周傲英;;DEODS:快速准确的数据流密度估计[A];第十九届全国数据库学术会议论文集(研究报告篇)[C];2002年
3 丁健;李建中;李金宝;高宏;;数据流上的并行决策树构成算法[A];第二十二届中国数据库学术会议论文集(技术报告篇)[C];2005年
4 李康宁;樊小泊;陈红;;一种数据流滑动窗口范围连接上基于局部特征的查询索引[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
5 后小亮;刘奇志;高先锋;檀宝权;;大量多态数据流的综合压缩算法[A];第二十五届中国数据库学术会议论文集(二)[C];2008年
6 李爱平;杨庆民;甘亮;;基于Dwarf的数据流立方体的研究与实现[A];第15届全国信息存储技术学术会议论文集[C];2008年
7 林子雨;林琛;冯少荣;张东站;;MESHJOIN~*:实时数据仓库环境下的数据流更新算法[A];NDBC2010第27届中国数据库学术会议论文集A辑二[C];2010年
8 李国徽;黄蕾;;数据流环境下的基于加权网格的聚类算法研究[A];第二十四届中国数据库学术会议论文集(技术报告篇)[C];2007年
9 赵哲;孙婷;陈立军;崔斌;;一种数据流上的快速分段算法[A];第二十四届中国数据库学术会议论文集(技术报告篇)[C];2007年
10 王潇;卢阳;陈立军;;网内查询处理中的一种基于数据流共享的过滤查询算法[A];第26届中国数据库学术会议论文集(B辑)[C];2009年
中国重要报纸全文数据库 前10条
1 李;金山毒霸力推数据流杀毒技术[N];计算机世界;2007年
2 本报记者  林风华;杀毒市场力推“中国派”[N];中国工业报;2006年
3 建平;金山再投2700万元争夺杀毒市场[N];计算机世界;2006年
4 李骏 唐宁九 赵杉 周先涛 靳泰戈 吴淞;网格技术 让社会保险网络系统全国畅联[N];中国计算机报;2006年
5 ;用ICT构建中小企业信息体系[N];人民邮电;2007年
6 赵志娟;Diligent HyperFactor保证数据完整性[N];中国计算机报;2008年
7 刘靓;轻松应对高程软件设计题[N];中国电脑教育报;2003年
8 李广录;BakBone NetVault TrueCDP可恢复到任意时间点[N];中国计算机报;2008年
9 陈翔;金山毒霸选定市场突破口[N];中国计算机报;2007年
10 ;小改造亦有大作为[N];网络世界;2007年
中国博士学位论文全文数据库 前10条
1 陈刚;数据流的无阻塞连接算法研究[D];华中科技大学;2010年
2 赵也非;动态UML子图的形式语义研究[D];华东师范大学;2010年
3 曹锋;数据流聚类分析算法[D];复旦大学;2006年
4 陈辉;数据流频繁模式挖掘及数据预测算法研究[D];华中科技大学;2008年
5 张涛;复杂信息系统模型的形式化验证方法研究[D];哈尔滨工程大学;2012年
6 杨蓓;数据流top-K频繁模式挖掘算法研究[D];北京交通大学;2009年
7 刘青宝;模糊、动态多维数据建模理论与方法研究[D];国防科学技术大学;2006年
8 王鹏;数据流上的分类算法的研究[D];复旦大学;2007年
9 黄芹华;隐私保持数据挖掘与知识发现研究[D];上海大学;2007年
10 郭建奎;数据流相似性查询及模式挖掘研究[D];复旦大学;2008年
中国硕士学位论文全文数据库 前10条
1 张可;利用scenario获取对象状态图的算法研究与隐含scenario的获取[D];吉林大学;2005年
2 邓剑波;公路车道收费软件的设计和开发[D];电子科技大学;2005年
3 梁若莹;逆向工程中恢复UML行为模型的研究[D];西安电子科技大学;2008年
4 汪宏海;一种基于ECA规则的动态工作流变更方法研究[D];苏州大学;2008年
5 朱才玺;车载导航的通讯录系统设计与实现[D];上海交通大学;2011年
6 袁宇;基于状态的分布式组件系统集成测试[D];重庆大学;2004年
7 张庆;一种基于UML状态图的类级测试技术的研究与实现[D];电子科技大学;2005年
8 赵国斌;铁路试点数据中心设计及实现[D];北京交通大学;2007年
9 宫剑飞;客户区域化归属问题的研究[D];哈尔滨工程大学;2009年
10 康维;基于UML模型的类簇级测试用例生成方法研究[D];中南大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026