【摘 要】
：
As it is well known,‘Non-Functional Requirement (NFR)’ is a general term of various quality requirements,such as security requirements,performance requirements,and reliability requirements,etc.Due to
【机 构】
：
State Key Lab of Software Engineering,Wuhan University,Computer School,Wuhan UniversityWuhan,China
【出 处】
：
第十一届全国软件与应用学术会议(NASAC2012)
论文部分内容阅读
As it is well known,‘Non-Functional Requirement (NFR)’ is a general term of various quality requirements,such as security requirements,performance requirements,and reliability requirements,etc.Due to its diversity,the consensus of what NFRs are and how NFRs should be elicited,modeling and validate are still not reached.
其他文献
信息化社会中人们对软件可信性的要求越来越高，传统的测试技术已经不能充分保证系统的安全性，基于模型的形式化验证技术成为解决此类问题的重要途径.SPIN作为典型的模型检测工具，在学术界和工业界都得到了广泛应用.本文在Eclipse平台上设计并实现了一个基于SPIN的易扩展的模型检测环境ESpin.环境通过一个优化了的代码分区算法和可迅速支持SPIN升级的文法分析器，构造了一个高效的、易扩充的Prome
Innovative software-intensive systems are increasingly developed in an incremental and iterative manner.The requirements engineering of such kinds of systems has become a continuous activity through s
目前有色Petri网在Web组合服务的建模和验证方面有了广泛的应用。但由于缺乏时间信息而无法对组合服务的性能进行分析。本文在Petri网研究的基础上，对有色Petri网扩展了时间信息，定义了时间有色Petri网——TCPN网。给出了基于有色Petri网的有色性对Web服务的多态性建模方法，进而可以满足对Web服务多态性的建模需求；给出了Web组合4种控制结构的基于时间有色Petri网的形式化建模方
针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法，提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法。通过在时间通信顺序进程上扩展价格信息得到价格时间通信顺序进程，将嵌入式实时系统指令的功耗映射成为价格时间通信顺序进程的价格，利用价格时间通信顺序进程对嵌入式实时系统软件能耗建模并进行量化分析，提出的最优路径算法可以对建模结果进行指令功耗可满足性检查并计算当前最低能耗可达路径。本方法可
信息物理融合系统(Cyber Physical Systems,CPS)是一种融合了物理进程和计算进程的嵌入式网络系统,在CPS中,多种异构嵌入式软件通过网络交互,如何有效保证这些软件及其交互的可信性是值得关注的问题。由于软件可信性受能耗约束,因此需要研究能耗对软件可信性的影响。针对这一问题,提出一种基于能耗的CPS 软件可信管理框架。该框架通过监测基于能耗的CPS 软件可信属性指标,评估CPS
在云计算环境下,引入网络化的协同开发机制,能优化Web 应用的开发过程,缩短开发周期,提高Web 应用的开发效率。为此,提出了一种采用构件组装技术协同开发Web 应用的方法。在该方法中,Web应用的功能或流程活动将以构件为单位进行划分。划分出的构件可以进一步地拆分成多个子构件,并分别以开发任务的形式发出。开发者可以接受任务,并在构件开发模板和自动生成的代码框架下进行开发。开发出的构件会被统一回收,
动态更新作为当今一项热门技术,其关键问题在于如何保障运行系统更新前后的一致性,同时加快动态更新。已有的一致性保障工作,如Tranquillity 、Version-consistency,都需要依靠系统运行时刻的动态依赖关系才能完成,而且精确的动态依赖关系可以加快动态更新。传统的动态依赖技术在实现时需要程序员针对每个程序手工地计算其动态依赖关系,而现有的可自动获得的方法在某些点得到的动态依赖关系是
许多并发程序存在同步粒度过粗的问题，对此，人们提出可以通过锁分解等代码重构来逐步演化同步结构，提高程序并行性。然而，手工重构一方面识别重构契机较为困难，另一方面代码转换也容易出错。为克服手工重构中存在的问题，本文提出了一种自动化的锁分解重构方法。它可以根据已有的同步代码，自动识别锁分解重构契机，并对相关代码加以转换。实验表明，所提出方法可有效识别真实程序中的可重构代码，并准确实施转换，这将为并发程
时间Petri 网在经典Petri 网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(Cyber-Physical System,CPS)的产生需要对时间Petri 网进一步拓展.CPS 集成计算系统和物理系统,不仅能够实时感知物理环境信息,并且能够通过物理实体改变物理环境.文中对CPS 的物理层面特点进行了深入分析,研究了CP
近年来,Mashup 作为一种新型的Web 应用形态得到了广泛关注。它将网络上多个资源(包括Web服务、Web 应用和Web 网页等)按照一定的逻辑组装起来,以提供增值服务。其中,用来提供数据或功能的资源称为Mashup 构件。目前,互联网上存在大量“同质”的网站或服务,以其封装而成的Mashup构件往往提供相同或相似的功能,且在结构上也存在较大相似度。但是,针对同一用户请求,同质的Mashup