基于设计演算的形式化用例分析建模框架

来源 :软件学报 | 被引量 : 0次 | 上传用户:bear81
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述。利用该框架,可以从方法的交互行为规约和功能规约合成描述方法全部行为的全规约;也可以定义用例模型的性质,并通过设计演算中的证明来分析验证这些性质.作为应用,研究了检查用例模型一致性的规则.给出一个实例说明建模框架的可行性.
其他文献
中国国情要求我们全面节俭,合理利用有限资源。中国的交通系统不能模仿美、日,欧已走过的道路,要走自己的路。
本文对钻孔灌注桩的施工工艺进行浅谈,对施工中各个环节进行了分析。
内外墙抹灰属单项工程中一重要的装饰分项工程,该分项工程质量控制的好与坏,将直接影响着本单项工程竣工验收。怎样更好的保证墙面的施工质量,除要做好墙面基层处理之外,掌握外墙
文章通过分析影响管理学教学效果的因素,提出了运用权变思想来设计教学改革方案的基本思路,即充分考虑学生的特点、教师的修养以及学科的实际情况等变量的影响,来确定在《管理学
以传统的计算方法为基础,给出了飞机机械操纵系统传动参数计算的两种方法。一种是动点坐标法,以空间解析几何和空间坐标变换为基础,利用动点坐标求出各个环节的运动参数、极
众所周知。口算是一切笔算、简算和估算的基础,课程标准强调“要重视口算”。而实际情况是,很多人认为口算就是简单的口头计算,只是一种单一的运算技能,没有多大的思维含量,因此长
高校团委学生会作为一个先进的学生组织,必须坚持以“从学生中来,为学生服务”为宗旨。高校学生干部必须具备为同学,为老师,为社会服务的观念和精神,树立“服务他人,锻炼自己”的服
本文对我院九五级和九九级新生男子入学时身体素质的主要指标:力量、速度、耐力等项目的测试情况,进行了统计分析,从而了解近年来身体素质发状况,为体育教学改革提供依据。
给出了描述行为驱动的信任管理语言RTB.将变量引入到角色中可以记录用户的累积行为状态:行为驱动的信任规则根据用户已发生的行为调整其在本信任域中被分配的角色;组合规则提高
水利工程移民安置,实行以"城镇安置化"和"城市宗地安置"的安置方式是云南移民安置的创新,是解决我国西部(云南、四川、西藏、贵州等地)地区水电发展与工程建设占地移民安置矛