非功能需求满足性的建模及其难解性

非功能性需求(non-functional requirement,NFR)是当前软件工程研究的一个重要课题,是衡量一个软件是否达到用户满意度的重要指标,而软目标相互依存图是描述非功能性需求的重要方法之一。文章研究了根据相互依存图实现软目标最优化的问题,根据软目标的不同,定义了2种图论模型作为非功能需求的理论模型,并给出了相应的计算复杂性。该文模型可以对非功能性需求进行评价,所提出的算法可以为用户(开发者)找出最优的非功能需求选择方案,从而在软件开发过程中为非功能需求分析提供可靠而有效的方法。     

基于框架视图应急救援系统需求工程建模研究

全面而准确地描述应急救援系统的本质需要从多个角度建立其需求模型。本文提出了一种新的基于框架视图的应急救援系统需求工程建模方法,利用多视角多视点的具有强大内涵的分析工具——Zachman框架,从多个不同的方面构建了描述需求的模型,形成了分析应急救援系统需求的建模框架,从而对问题域进行描述。并使这种框架具有多视角、灵活应对变化、与技术无关以及与现有建模方法有效集成4大创新优点。     

基于扩展I~*框架的嵌入式系统需求建模方法

系统功能需求可通过用例建模技术进行有效建模,针对非功能需求缺乏有效建模方法和标准的问题,提出结合使用I*建模技术记录和建模非功能需求的方法,完成对嵌入式系统需求的完整描述。通过扩展I*目标模型和UML模型之间传统的映射规则,在扩展的UML顺序图中实现对非功能属性"实时性"的描述。采用ATM实例,对上述建模方法进行分析并验证可行性。通过上述研究,最终完成了对嵌入式系统需求的完整描述,并结合UML顺序图的扩展实现对"实时性"的描述。     

面向复杂工程系统的虚拟仿真技术应用研究

现实系统认知上的复杂性和仿真过程中的计算复杂性,导致复杂工程系统的建模与仿真方法不同于一般工程系统.根据复杂工程系统设计、管理与施工的一般习惯,运用虚拟仿真技术,将建模仿真过程分为面向不同层次工程施工管理人员与施工操作技术人员的结构化任务建模和面向仿真技术人员的模块化实体建模2大阶段.分阶段面向不同层次管理需求的建模方法,降低了复杂工程系统虚拟施工过程建模的复杂度,所得模型能更真实地反映工程系统的实际施工过程,提高了建模和仿真效率.     

基于Preview的面向方面的需求挖掘

传统的面向视点的方法主要针对功能和非功能需求,而作为方面的横切关注点横切于需求之中,影响了系统的内聚性和耦合度,从而降低了软件的可重用性,增加了维护的难度。因此,通过对Preview方法的扩展实现识别功能需求、提取方面、复合需求。把传统需求分析的功能需求和方面需求的识别的优势相结合,使得其能够明确核心关注,减少横切关系的影响,从而提高系统模块化程度和需求追踪性。实验结果表明此需求分析模型有效地实现了方面的提取。     

一种基于鲁棒性分析的Web应用PIM建模方法

针对目前构建Web应用系统PIM的方法存在的问题,提出一种基于鲁棒性分析,通过用例驱动,创建具有MVC架构模式语义信息的类图和顺序图的Web应用系统PIM建模方法.并经过案例研究,验证了该方法不但能够从功能需求和非功能性需求两个方面实现目标系统的PIM建模,而且所建PIM能够有效转换成为Struts2等MVC实现框架相关的PSM.     

情感化设计视域下的模块化家具创新研究——以城市新移民为例

通过网络平台信息检索和问卷调查的方法,对城市新移民消费模块化家具产品的影响因素进行分析探讨,进一步明确用户需求。在此基础上,以情感化设计理论为指导,从形态、行为和情感三个层面构建模块化家具体系;以基础模型为示例,从结构框架、连接方式和个性定制三个方面进行构建。按照结构与功能相匹配的思路,完善模块化家具的设计,并结合线上订购和改良的预览方式,进一步提升用户购物体验。回访结果的正面反馈进一步验证了研究结果的合理性。研究表明,将情感化设计理论融入模块化家具产品的设计开发,可有效提升城市新移民对模块化家具的认同感,为模块化家具的创新设计提供借鉴。     

某矿床资源及采场环境三维可视化模型框架的建立

资源及开采环境三维可视化模型是数字化矿山的基础,框架是模型核心。通过对各种建模方法的分析,对比钼矿地质情况,选择了适合矿山实际的建模方法。依据建模方法及可视化的功能建立了数据库框架与三维可视化模型框架。     

支持个性化产品设计的产品信息模型研究

个性化产品设计是客户直接参与的基于原型的可变设计。为了支持产品设计全过程,将信息模型分为面向概念设计阶段的功能结构模型、面向技术设计阶段的结构配置模型和面向施工设计阶段的零件部件模型,3个模型集成后形成一种能支持个性化产品设计的信息模型。在建模过程中,提出了建模3原则:集成性原则、装配性原则和可变性原则。采用面向对象设计方法,建立起基于多层原型类的信息模型框架,再由原型类的实例化实现对某个产品的信息模型描述。     

SOA敏捷架构的TOGAF层次化迭代建模

针对面向服务(SOA)敏捷架构演进周期短、业务与IT对齐要求高的特点,提出一套基于开放组架构框架(TOGAF)的层次化迭代建模方法:外层迭代通过敏捷演进闭环使得企业架构能够随架构愿景的调整敏捷地实施增量化更新;内层迭代通过三维迭代矩阵建立架构模型组在需求、语义、粒度3个方面的对齐机制。对内层迭代进一步探讨了基于BPM+SOA的业务架构、信息系统架构及技术架构模型组语义对齐建模方法与典型建模过程,为SOA敏捷架构提供了一种可迭代的、阶段化交付的、业务流程与信息系统对齐的实现方案。     

一种基于UML的面向方面模块动态特性编织方法

在面向方面软件开发Theme方法的基础上引入用例驱动技术,其中用例技术实现软件模块化,面向方面技术封装横切关注点,从而形成一种用例驱动的面向方面软件开发(UCD/Theme)方法。通过分析面向方面模块的动态特性在编织过程中可能产生的冲突,提出了一种扩展UML的面向方面模块动态特性编织时的冲突解决方法。通过ATM案例说明了该方法的应用。     

基于SystemC描述的嵌入式系统的自动化验证

基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式系统模型可自动、重复地测试 ,能够满足系统级模型快速验证和评估的要求 .     

基于概念分析的软件横切关注点提取方法

为解决软件遗产系统中横切特性的理解和进化问题，提出了面向侧面的逆向工程框架模型，并以此为基础给出了一种用例驱动的形式化概念分析方法，对需求分析模型层面上的系统横切特性进行逆向恢复．通过对目标系统执行信息进行概念格分析，文中方法能够识别和提取横切用例模型的系统方法调用集合，并将它们抽象为系统的早期侧面．和仅为了代码重构而进行的侧面挖掘技术相比，该方法更适合在较高的系统抽象层面上进行程序理解．作为一种采用增量式结果产生策略的半自动化方法，它的实施流程也具有更好的可控性和对逆向工程需求变化的适应性．     

基于SSH的SME信息管理系统的设计

为了能采用一套高效的研发方案来进行小微企业信息系统设计,对比较流行的开源框架SSH进行研究,结合Struts、Spring和Hibernate三个主流框架,提出轻量级解决方案,采用AOP面向切面编程等技术实现了模块的横向切割,开发中采用快速建立原型的软件工程方法设计流程,能在短期内搭建结构清晰、可复用性好、可扩展性强、维护方便的系统应用程序,并通过案例具体说明如何将这一方案应用到实际项目中。     

一种基于Object-Z的面向方面建模方法

提出一种基于Object-Z的形式化面向方面建模语言及其建模方法。方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型。该方法能有效地简化系统建模,提高系统模型的可复用性,也为进一步验证系统性质提供了理论基础。     

Design and implementation of DBC based on dynamic AOP

Traditional approach of design by contract, due to mixing the contract code with application code, is difficult for the extensibility and reusability of software system. This paper presents a framework named JADBC for design by contract based on Aspect-Oriented Programming (AOP) to resolve these problems. By providing a new modularized element, aspect, the framework successfully separates the contracts in design by contract, from functional codes. The implementation of this framework is based on dynamic AOP which can have the contract changed at runtime, consequently, enhancing program flexibility. JADBC framework modularizes the contracts in a clear-cut fashion that is easier to design, implement, and maintain. Biography: WEN Jing (1982–), female, Ph.D. candidate, research directions: software engineer, aspect-oriented software development.     

数字图书馆面向方面的建模

介绍了面向方法软件开发的功能和意义,分析面向对象建模的缺点,阐述了面向方面建模的具体内容以及面向方面建模在数字图书馆建模过程中的应用。     

一种基于UML的信息系统需求分析方法

针对目前信息系统开发中,需求分析经常遇到的难题,提出了一种基于UML的信息系统需求分析方法,给出了一个需求分析框架,通过活动图技术来对业务流程建模,用对象图模型、状态图模型、交互图模型来构造系统的领域模型.讨论了业务建模、用例的提取、用例的集成等关键技术的实施步骤,使该方法具有更强的可操作性.     

基于RBAC设计安全系统的面向方面

随着安全政策模型的进化，设计安全系统使用的模型也变得越来越复杂，亟须一种适用于管理开发、重用及设计的演化的方法。针对这种情况，基于角色的访问控制技术，采用AspectJ的组件规则和为设计提供扩展的UML设计符号的方法，提出了面向方面的方法设计安全系统。该方法易于学习和应用，且不必依赖特殊的实现模式。