论文部分内容阅读
语法结构正确的过程模型并不能保证过程运作的实际执行,因为没有考虑实例化阶段的时间资源安排。传统的过程自动机描述法不足以分析实例化过程模型。针对这种情况,提出用时间自动机描述过程模型语义的方法,设计了生成时间自动机的算法,分析了这种描述方法在模型检验中的应用。
实例化过程模型的时间自动机描述方法研究
【摘 要】
：
语法结构正确的过程模型并不能保证过程运作的实际执行,因为没有考虑实例化阶段的时间资源安排。传统的过程自动机描述法不足以分析实例化过程模型。针对这种情况,提出用时间自动机描述过程模型语义的方法,设计了生成时间自动机的算法,分析了这种描述方法在模型检验中的应用。
【机 构】
：
中国科学院软件研究所
【出 处】
：
计算机应用与软件
【发表日期】
：
2008年09期
其他文献
隐马尔可夫模型(Hidden Markov Model,HMM)被广泛地应用于信号处理和模式识别中。当将其应用于聚类时,HMM的训练是一个非常重要的问题。特别是对数据不均衡的数据集,传统的模型训练方法存在使某些类为空类,类中数据偏少等缺点。针对这一特殊问题,提出了基于频率敏感的聚类方法PIFS-HMM,其目的在于提高模型训练的有效性,使聚类结果均衡。实验结果证实了提出方法的有效性。
软件操作剖面的建立是进行软件可靠性测试的基础。介绍了使用UML技术建立软件操作剖面的方法,并结合具体应用实例说明了使用该技术构建软件操作剖面的过程。
肺曲霉病（pulmonary aspergillosis）由曲霉菌感染引起，临床上分为曲霉寄植（肺曲霉球），变应性支气管肺曲霉病，侵袭性肺曲霉病，其他如慢性坏死性肺曲霉病。该病诊断、治疗困难，患者死亡
分析CMMI的特点以及在实际应用中遇到的问题,以CMMI理论模型为基础,通过适当的裁剪,并结合敏捷软件开发的思想,提出基于CMMI的轻型软件质量保证框架(SQAF)。SQAF构建在CMMI的十个过程域上,沿用了CMMI中的主要角色和组,结合了敏捷软件开发的思想和实践。SQAF主要针对中小软件企业,易于实施和应用。