【摘 要】
：
面向目标的需求工程就是对需要实现的系统的目标进行确定、然后对目标进行求精细化、再将其转化为相应的约束条件以及可操作性的事务归约、并在多Agent之间进行目标责任分配
论文部分内容阅读
面向目标的需求工程就是对需要实现的系统的目标进行确定、然后对目标进行求精细化、再将其转化为相应的约束条件以及可操作性的事务归约、并在多Agent之间进行目标责任分配这样一个过程.因而在这种需求分析过程中多Agent之间目标责任的分配是一个关键性的策略性问题,它决定了未来所要实现的软件系统的体系结构,也由此决定了未来系统的质量特性.该章论文系统地描述了如何进行目标的求精细化,进而确定实现系统的多个Agent,并最终得到几个可选的责任分配方案.另外,在面向目标的需求工程中,通过将目标可操作化获取软件事务归约是需求求精过程中的一个核心方面.但目前对这一方面的系统性和构造性支持仍十分匮乏.该篇论文还介绍一种形式化的构造方法,可以从系统的较高级目标增量获取可操作化软件归约,并能确保其正确性.
其他文献
水情遥测系统是水利信息化的重要组成部分。水情遥测系统主要对水情信息进行采集和处理，并做出准确的预报和调度。水情信息的传输方式是该系统的重要部分。在传统的传输方式中
随着Internet的不断发展，移动agent技术的应用越来越广泛。实际的应用通常需要由多个移动agent共同来完成任务，如何组织与协调移动agent之间的行动带来了对分布式环境中移动age
关联分析又称关联挖掘,主要目的是在交易数据、关系数据或者其它信息载体中,挖掘存在于项目集合或者对像集合中的频繁模式、关联、相关性或者因果结构等。本文将所有基于事务
P2P以其相对于C/S模式的巨大优势,不仅激发了信息技术领域科研人员的研究热情,而且也调动了普通人对P2P的期望.这些因素使P2P成为一个热门的前沿研究领域.P2P的主要好处就是
在软件工程中，具有决定意义的是系统建模。建模是为了更好的理解和构造系统，并可以提供简化和复用的机会。通常软件系统的分析与设计都是通过建模来完成的。 随着计算机应用
基于内容的图像检索(Content-BasedImageRetrieval,CBIR)是目前国内外学者所研究的热点之一，它是涉及到计算机信息检索、计算机视觉、人工智能和数据库等多个研究领域的综合性
在学位论文检索系统中,检索系统的构建模式是系统的关键.该文在分析了现有学位论文检索系统的构建模式的基础上,运用P2P(peer-to-peer)技术建立一个基于源数据的分布式学位论
随着EAST装置不断升级和实验水平的提高，为了满足等离子体长时间放电的要求，现有的EAST核心数据采集系统已升级为基于MDSplus的长脉冲实时数据采集系统。然而目前大部分独立数
演化计算是一种基于生物自然选择和基因遗传学原理的计算模型.它使用计算机模拟大自然的演化过程来求解复杂问题.由于演化计算具有自组织、自适应、自学习等智能特征,且描述
无损探伤技术在工业生产中有着广泛的应用，其中通过X光成像再结合人工检查的方式最为普遍，轮胎生产就是一个典型的案例。随着市场的庞大需求和汽车工业的高速发展，全世界每年的