【摘 要】
：
形式化软件规约与设计间的语义断层问题,是制约形式化方法从规约向设计平滑迁移的重要问题,目标操作化是解决这一问题的重要方法.KAOS是主要的支持目标操作化的规约语言之一,
论文部分内容阅读
形式化软件规约与设计间的语义断层问题,是制约形式化方法从规约向设计平滑迁移的重要问题,目标操作化是解决这一问题的重要方法.KAOS是主要的支持目标操作化的规约语言之一,但它给出的主体、目标和操作缺乏统一的语义描述,对目标操作化的支持仅限于模型实例化级别上规约(触发条件)与设计(状态变化)间的语义连接,且只能针对具体实例实施目标操作化,本文引入主体模型,将主体的结构(状态)上的操作与BDI模型中的事件统一起来,并扩充BDI模型的语法、语义,建立了一种新的目标操作化规约模型(GOP模型),实现了主体、目标、操作在GOP模型中的统一描述;通过引入对偶主体和完全世界的概念,把操作描述为主体与对偶主体的状态关系上的一个算子,从而在元模型级别较好地解决了规约与设计间的语义断层问题;本文基于多类型代数建立主体属性域结构模型,使得GOP模型中描述操作的算子可与下层属性域结构模型,使得GOP模型中描述操作的算子可与下层属性域的结构性质联系起来,籍此在一个域原子操作的基础上,根据域结构构造出属性域上的任意原子目标操作,因而可以用一个域原子操作模型解决一个属性域上全部原子目标操作化的问题,具有更广泛的理论指导意义和实践应用价值.
其他文献
伴随着商务活动的全球化,企业价值的提升将更多源于服务.Internet技术的快速发展,促使企业分布计算进行面向服务的变革,响应这种现实需求.本文基于We服务和业务流程管理技术
本文讨论了整体粒的分解和局部粒的合并的思想方法,提出了分解和合并的规则.这就是定义了粒和粒的计算规则.
廉政文化建设是社会主义先进文化的重要组成部分,是反腐倡廉工作的重要内容.加强医院廉政文化建设,对造就一支高素质的职工队伍,纠正医疗行业的不正之风,解决群众看病难、看
本文依据可辨识下三角矩阵结合Tabu搜索算法,提出了一种基于Tabu搜索的粗糙集知识约简算法.实例证明,该算法可以求解属性集的最小约简和相对最小约简,并可解决如上启发式算法
本文通过研究分析ID4、ID5R、属性最小约简的增量式学习算法以及概念格上规则提取的渐进式算法等增量式学习算法发现,当把知识的树结构和粗糙集的知识获取思想进行结合后,对
学生复习和应试方法不当影响护考通过率,指导学生学习策略,使他们形成正确的复习方法很有必要.学生在复习应考过程中进行读书练习三循环,即通过通读教材、配套练习、务实基础
本文只讨论"模糊粗糙集".在扩展粗糙集的过程中,首先需要将论域的普通子集扩展为模糊子集,其次需要对论域U上的等价关系R进行扩展.可以将R扩展为模糊相似关系或Δ-传递相似关
总结高等院校计算机基础教育工作,分析医学计算机技术应用的现状和发展,结合我校计算机教学现状及面临的问题,探讨医学院校计算机课程体系与教学改革.
本文主要介绍西安交通大学理学院信息与系统科学研究所在粗糙集理论方面所获得的研究成果,并对未来的发展提出一些看法.
本文从Rough集上近似和下近似理论出发,提出一种基于Rough集的几个实函数连续定理的描述方法,并给出了其定理的描述性算法证明.