论文部分内容阅读
针对用例描述，提出了基于事件序列的轻量形式化定义。对于由包含、扩展或泛化关系构成的复合用例．构造了相应的算法确定其对应的事件序列，并证明了任意一个无关联环的复合用例均可通过这些算法确定对应的事件序列表达式。在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
基于事件序列的用例描述形式化及分析
【摘 要】
：
针对用例描述，提出了基于事件序列的轻量形式化定义。对于由包含、扩展或泛化关系构成的复合用例．构造了相应的算法确定其对应的事件序列，并证明了任意一个无关联环的复合用例均
【机 构】
：
中南大学信息科学与工程学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年23期
【基金项目】
：
国家自然科学基金项目(编号:50275150);教育部博士点基金项目(编号:20030533011)资助
其他文献
鉴于传统文本分类研究缺少针对性,在安全隐患文本分类实际应用中表现不佳,以及企业安全隐患文本文本长度短、特征单元选取困难,为高效地从大量安全隐患文本数据中提取、分析
随着我国经济的快速发展和日益激烈的市场竞争,我国的许多企业越来越重视提高自身素质,增强竞争力,成为市场的主体,但同时也出现了环境污染、生态破坏等诸多问题。因此,我国
高速公路项目建设投资规模大,点多、线长、面广,青年职工多,且远离家庭、远离城市,常年累月在野外工作,工作环境单调枯燥。如何在高速公路工程建设项目开展党建思想政治工作,
2019年1~9月,有色金属行业生产运行总体平稳,效益小幅增长,行业信心有所提振。一、生产总体平稳。2019年1~9月,我国十种有色金属产量4 347万t,同比增长4.5%。其中,铜、铝、铅
目的探讨入院时血清尿酸水平对急性缺血性脑卒中患者6个月内出现抑郁的预测价值.方法选取2015年8月-2016年12月于华北理工大学附属医院住院治疗的急性缺血性脑卒中患者498例
从能量利用率角度,采用Tabu算法对椭球反光碗的初始结构进行了优化,得出椭球反光碗长短轴之比与逃逸能量的变化关系,并对棒状透镜的尺寸的选取做了一定的分析。这为椭球反光
施工企业要把项目管理引向到新的发展阶段和发展层面,从而提高参与市场竞争的能力,必须抓好项目文化建设。加强工程项目文化建设,是增强企业核心竞争力的基础工程。这也正是
凯恩斯的货币需求理论建立于三大动机之上,强调人们的流动性偏好和利率影响的重要性,并提出了具体的货币需求函数。本文以中国近30年的数据以M1和M2两个货币层次进行实证,对