资源描述：
《基于求精关系的多视点需求工程框架模型new》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、计算机科学翅‘’基于求精关系的多视点需求工程框架模型一一何炎祥黄谦武汉大学计算机科学系软件工程国家重点实验室武汉一一,一·,只,,,一框架模型并没有涉及具体的需求工程过程和形式描述语引论,。言是多视点需求工程的一般通用模型具体的模型和应用实。,传统需求工程方法应用于大型分布式系统的开发有一个〕例请参考有关文献限于篇幅本文略去全部定理的证明。。严〕重问题需求工程中的每一子过程里只能有一个全局规格具体证明可参考有关文献这一点与实际的分布式系统的特点很不适应。大规模的分布,框架模型式系统的开发必然会涉及到许多人员这些人员由于各自目,,、的和职责不同因而都会以自己拥有的知识从不同的角度求精关系不同的
2、地点、使用不同的语言和工具对系统提,可以存在多种规格语言。出不同的需求在多视点需求工程中对于每一而且、,,。所有的子过程只能串行地进行降低了系统开发的效种规格语言可以定义一种或多种求精关系其它规格关系与率。为了更好地支持分布式系统的需求工程,已经开始出现一规格转换均依赖于求精关系。,艺。些新的需求工程方法多视点需求工程卜〕就是其中之一定义求精关系求精关系镇里是定义在规格语多视点需求工程把系统需求划分为多个视点需求。视点言上的二元偏序自反的和传递的关系。既可以是参与者从各白的角度对系统的不同的认识,也可以不同的规格语言有不同的求精关系。同一规格语言在不是同的需求环境和目标下,。在多视点按照一定
3、标准对系统的划分一个视点不仅仅是系统的部也可以有不同的求精关系,。,需求工,几个视点的规格语言可能是同一种规格语言,分规格还包括如何求精该部分规格的部分知识闭这样系程中但,。它们。统需求就转化为视点需求降低了需求工程的难度相比传统可以使用不同的求精关系需求工程,多视点需求工程允许多个视点规格同时存在而定义求精集设〔,是的一个求精关系,则且,由于视点规格主要是独立地进行求精,从而整个分布式系在毛下的求精集定义为。‘‘。统的需求工程过程能够以一种更加灵活的方式进行正因为〔〕毛一〔簇如此,近年来多视点需求工程逐渐受到人们的重视,已有一些一个规格的求精集是对该规格进行求精可能得到的规格,相关的工作如
4、国际标准化组织制定的开放分布式系统参考的集合。,同一规格在不同的求精关系下有不同的求一般来说一,,。模型以及面向视点的软件工程川的研究精集因此,在多视点需求工程中,规格是特定求精关系下的。但对于多视点需求工程的理论研究还较少规格,规格语言也是特定求精关系下的规格语言。在不产生歧目前己有一种基于实现关系的多视点需求工程框架模义的条件下,常常略去求精关系,只给出规格和规格语言。。型卜’〕以及一些相应的研究工作’」该框架模型的基本出发求精关系等价于求精集的子集关系。,,。点是、、区分规格和模型并利用实现关系来定义规格和模型间定理毛口仁」互的对应关系,因此在大多数情形下显得较为复杂,而且与人们因此,
5、可以用求精关系和求精集两种方式来研究规格关通常的思维习惯不一致。针对上述问题,本文在有关研系与规格转换。,、“〕,究的基础上从求精关系同一规格语言内的规格关系定义弓求精幂集求精幂集簇定义为、。与规格转换规格翻译和不同规格语言问的规格关系与规格簇一〔〕、任转换等四个方面全面地提出一种基于求精关系的多视点需求定义公共求精规格是规格集的公共求精,如果工程框架模型。相比基于实现关系的多视点需求工程框架模满足,,,·。型这一框架模型较为简单符合人们的思维习惯在大多数‘‘口〔簇。,情形下能够满足多视点需求工程的需要〕应注意的是这定义最大公共求精公共求精是最大公共求精,如,,国家教育部重点项目资助武汉大学
6、自强科技创新基金资助何炎祥教授,博士生导师,研究方向为并行分布处理知识信息处理。黄谦硕士生,研究方向为分布并行公理。©1994-2009ChinaAcademicJournalElectronicPublishingHouse.Allrightsreserved.http://www.cnki.net果满足、,,,,,‘,,或‘是,和的集成,但和,,·‘·,,‘“。。口〔口任毛毛的最大集成并不存在定理是规格集的公共求精口〕二,当二元最大集成存在时,多元集成可转化为多次二元最,。。,〕大集成且集成结果也为最大集成图是三个规格的集成‘。、簇是规格集的最大公共求精口「臼,〔,同一规格语言内的规格关
7、系与规格转换·规格等价厂“定义规格等价规格等价二是定义在上的二元关,,系即二二满足一,。。三簇镇。根据定义可以得出规格等价确实是等价关系图三个规格的集成定理二是等价自反的、对称的和传递的关系。,规格翻译定义等价集设任则在等价关系三下的等价集,在处理多种规格语言下的规格关系和规格转换时或者定义为是处理同一规格语言在不同求精关系下的规格关系和规格转‘,。二〔〕三换时,首先要定义翻译函数以进行规格间的转换。,、、,
