【摘 要】
:
由于面临用户要求、业务规则和系统上下文环境等方面的变化,面向服务软件系统的需求不可避免的要求持续的演化。目前已有的一些与需求演化有关的方法与技术存在一些问题是:缺
论文部分内容阅读
由于面临用户要求、业务规则和系统上下文环境等方面的变化,面向服务软件系统的需求不可避免的要求持续的演化。目前已有的一些与需求演化有关的方法与技术存在一些问题是:缺乏显式地描述并使用支持面向服务需求规约演化操作和过程的元信息。由于这些元信息的缺乏,使得面向服务需求规约的演化过于依赖需求分析人员的经验而难以完成。针对上述问题,本文针对面向服务需求规约的特点,提出了一种基于反射的面向服务需求规约演化方法。该方法利用支持面向服务需求规约演化的元信息,将需求规约封装成可管理、可演化的反射式需求规约,在需求演化时,利用这些元信息支持整个演化过程,并通过反射机制完成需求规约的演化工作。在该方法的支持下,需求分析人员就可以通过一系列支持变更管理、变更实施和需求模型重用的操作,完成对面向服务需求规约的演化任务。论文的主要工作有:(1)重点研究一种基于反射的需求规约演化方法,需求分析人员使用该方法,可以有效地管理需求变更,同时在该方法的帮助下,以一种简单的方式完成需求演化。(2)构建了基于π演算的反射式需求规约演化模型,支持需求规约演化的分析和验证。首先对反射式需求规约的基级、元级以及两级之间交互进行形式化规约;然后对反射式需求规约的演化进行形式化规约;最后在这些形式化规约的基础上给出了对演化后需求规约中业务过程的合理性、业务过程组合的合理性和需求演化的正确性问题进行形式化分析和验证的方法。(3)设计了一个支持本文方法的支撑工具,介绍了支撑工具的功能、总体设计和关键的实现技术。(4)进行案例研究,展示在反射式需求规约的支持下进行面向服务需求规约演化的过程,实证本文提出的需求规约演化方法的正确性和有效性。
其他文献
国家批准武汉城市圈和长株潭城市群成为"全国资源节约型和环境友好型社会",该试验区重点在于找准战略定位,探索新型工业化、新型城市化发展之路。
缺血性脑卒中疾病的重要病理基础是动脉粥样硬化( atherosclerosis, AS ),而炎症现已被公认为是AS发展过程中的核心因子,贯穿于AS的整个发生、发展环节[1]。脂蛋白相关磷脂酶 A2( lip
配电自动化是提高供电可靠性和供电质量的重要手段,也是当前我国供配电领域的重要研究课题,而馈线自动化是配电自动化的重要内容之一,其核心是故障定位、故障区域隔离和非故
<正> 随着技术进步,我国液压挖掘机更多地采用总功率变量系统液压传动,通过容积变量而实现无级调速,其核心部件是一只双联变量泵,它是整机动力匹配的关键所在,这里就此问题加
以2008年国家质检总局抽查的109家生产婴幼儿奶粉的乳制品企业为样本,重点分析了乳制品企业的产权性质,区域差异,产品获得免检与非免检与乳制品企业发生质量安全的关系。结果
创业教育和大学生的创业活动既是毕业生就业的重要渠道,又是发展经济、为社会创造就业岗位的重要途径。高校的创业教育内容包括:创业意识、创业知识、创业能力和创业精神,重点培
[摘要] 激烈动荡的经营环境对中小企业提出了严峻的挑战,同时也提供了一个良好的机遇。本文结合我国市场渠道的实际情况,提倡利用信息技术的优点,组建国内大范围的中小企业渠道联盟的设想,通过资源互补优配,形成一个有实力从上游供应商和物流等服务公司处赢得主动的实体,最终融入国际化大市场中。 [关键词] 中小企业 流通领域 股份制 渠道联盟 一、建立流通领域的中小企业股份制渠道联盟的动因 在竞
本文对当前我国厨房电器行业的现状,竞争规则、竞争格局及存在的机会做了详细地分析。
磁感应成像(Magnetic Induction Tomography, MIT)是一种无创、无损、无需与目标物体直接接触的新型成像技术,尤其适合于医疗应用。MIT对于还未发生病变,但存在潜在危险的肿
随着计算机和媒体技术的迅速发展,计算机视觉技术在各个领域中受到了极大的关注。作为计算机视觉领域中最具挑战性的研究热点之一,视频对象处理涉及计算机、电子学、数学、人工