切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
实例化过程模型的时间自动机描述方法研究
实例化过程模型的时间自动机描述方法研究
来源 :计算机应用与软件 | 被引量 : 0次 | 上传用户:heyun102
【摘 要】
:
语法结构正确的过程模型并不能保证过程运作的实际执行,因为没有考虑实例化阶段的时间资源安排。传统的过程自动机描述法不足以分析实例化过程模型。针对这种情况,提出用时间自动机描述过程模型语义的方法,设计了生成时间自动机的算法,分析了这种描述方法在模型检验中的应用。
【作 者】
:
李明
柳军飞
【机 构】
:
中国科学院软件研究所
【出 处】
:
计算机应用与软件
【发表日期】
:
2008年09期
【关键词】
:
软件过程
过程建模
时间自动机
Software process Process modeling Timed automata
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
语法结构正确的过程模型并不能保证过程运作的实际执行,因为没有考虑实例化阶段的时间资源安排。传统的过程自动机描述法不足以分析实例化过程模型。针对这种情况,提出用时间自动机描述过程模型语义的方法,设计了生成时间自动机的算法,分析了这种描述方法在模型检验中的应用。
其他文献
WSANs中基于线性规划的单反应节点选择算法的研究
介绍了无线传感器反应网络中单个反应节点选择算法的特点,并提出一种基于线性规划方案的最优选择算法MCT。最后就MCT算法的两种情形进行了仿真分析。
期刊
无线传感器反应网络
线性规划
最小代价树
Wireless sensor and actor networks Linear programming Minim
基于HMM的频率敏感聚类方法PIFS-HMM
隐马尔可夫模型(Hidden Markov Model,HMM)被广泛地应用于信号处理和模式识别中。当将其应用于聚类时,HMM的训练是一个非常重要的问题。特别是对数据不均衡的数据集,传统的模型训练方法存在使某些类为空类,类中数据偏少等缺点。针对这一特殊问题,提出了基于频率敏感的聚类方法PIFS-HMM,其目的在于提高模型训练的有效性,使聚类结果均衡。实验结果证实了提出方法的有效性。
期刊
频率敏感
均衡聚类
隐马尔可夫模型
Frequency-Sensitive (FS) Balanced clustering Hidden Markov mod
初二语文期中测试题
期刊
测试题
语文
课本
余秋雨
现代文阅读
修辞格
皱纹
基础知识
废墟
初二
头颈外科在突发事件医疗救助中的重要作用
目的 总结头颈外科的特点和救治经验.方法 43例头颈部重大外伤病例,分析其伤情特点及救治过程,总结救治经验.结果 头颈部外伤具有复合伤、呼吸障碍、大出血三大特点.头颈部外
期刊
头颈外科
创伤
紧急救治
Head and neck surgery
Trauma
Emergency medical service
重庆城市一卡通系统设计及实现
随着信息技术在经济社会各领域的广泛应用,IC卡在交通、通信、购物消费、缴纳水电气费、娱乐等社会公共领域得到了推广应用。推进城市一卡通的建设,对于合理配置社会资源,使城市居民便捷地获得各种社会公共服务,全面提升城市公共管理和服务水平,打造服务型政府,培育和发展重庆市IC卡产业,建设长江上游信息中心具有重要的推动作用。如此复杂的系统需要科学规划、科学设计,用合理的投资产生尽可能大的效益。
期刊
智能卡
城市一卡通
系统设计
信息系统
Integrated card City card System design Information system
UML技术在软件可靠性测试中的应用
软件操作剖面的建立是进行软件可靠性测试的基础。介绍了使用UML技术建立软件操作剖面的方法,并结合具体应用实例说明了使用该技术构建软件操作剖面的过程。
期刊
软件
UML
操作剖面
Software UML Operation profile
肺曲霉病12例临床分析
肺曲霉病(pulmonary aspergillosis)由曲霉菌感染引起,临床上分为曲霉寄植(肺曲霉球),变应性支气管肺曲霉病,侵袭性肺曲霉病,其他如慢性坏死性肺曲霉病。该病诊断、治疗困难,患者死亡
期刊
侵袭性肺曲霉病
临床分析
PULMONARY
曲霉菌感染
医疗集团
曲霉球
支气管
变应性
边远地区院外呼救的特点和对策
众所周知西部地区地域辽阔,经济相对落后,基础设施差.阿拉善地区,相当于内地的一个或几个省大.由于地域的特殊性,急救中心在近几年的工作中常遇到一些疑难问题和复杂情况.…
期刊
院外呼救
基于CMMI的轻型软件质量保证框架研究
分析CMMI的特点以及在实际应用中遇到的问题,以CMMI理论模型为基础,通过适当的裁剪,并结合敏捷软件开发的思想,提出基于CMMI的轻型软件质量保证框架(SQAF)。SQAF构建在CMMI的十个过程域上,沿用了CMMI中的主要角色和组,结合了敏捷软件开发的思想和实践。SQAF主要针对中小软件企业,易于实施和应用。
期刊
CMMI
敏捷软件开发
质量保证
过程域
CMMI Agile software development Quality assurance Process a
大面积皮肤撕脱伤20例分析
大面积皮肤撕脱伤是一种严重创伤。努力做好大面积皮肤撕脱伤的处理,最大限度地保留、恢复受伤部位的外形、功能是创伤外科中的一个重要课题。我院白2005年5月至2006年10月对2
期刊
大面积皮肤撕脱伤
严重创伤
受伤部位
创伤外科
修复治疗
伤患者
与本文相关的学术论文