检索结果-内蒙古大学图书馆

软件学报 2009年第3期20卷 557-566页

作者：黎巎李明树王青赵琛杜栓柱中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院研究生院北京100049 中国科学院软件研究所计算机科学国家重点实验室北京100190

大多软件过程模型是预定义的.在变化的应用环境中,需要由相应人员进行适应性调整.提出一种用于软件过程建模的适应性多边协商模型——AMNM-PA,其采用Agent封装软件过程中所涉及的个体,包含组织、团队、个人等,通过Agent间的协商动态、... 详细信息

大多软件过程模型是预定义的.在变化的应用环境中,需要由相应人员进行适应性调整.提出一种用于软件过程建模的适应性多边协商模型——AMNM-PA,其采用Agent封装软件过程中所涉及的个体,包含组织、团队、个人等,通过Agent间的协商动态、适应地建立针对给定软件项目的软件过程模型.AMNM-PA基于非静态有限阶段Markov决策过程,采用模型无关的Q学习算法选取协商策略,因此能够支持动态、非预知环境下的适应性协商,从而满足软件过程建模对环境的适应性需求.AMNM-PA已经实施于软件过程管理系统——SoftPM.

关键词：协商模型适应性 Q学习软件过程建模 Agent

来源：评论

学校读者我要写书评

暂无评论

PETRI网在软件过程建模及过程实施中的应用

引用

小型微型计算机系统 2002年第5期23卷 569-573页

作者：潘秋菱刘宗田张立群刘海杜合肥工业大学微机所安徽合肥230009 上海大学计算机学院上海200072 深圳水务局广东深圳518000 上海亚太公司上海200021

软件过程技术 ,作为一种保证软件开发质量和效率的方法 ,在许多软件企业引起了重视和应用 .本文从条件 /事件网出发 ,应用标记 PETRI网 ,并针对其在软件过程中的特点 ,给出了软件过程和软件过程网合理性的定义 ,根据工作流领域的结论 ,... 详细信息

软件过程技术 ,作为一种保证软件开发质量和效率的方法 ,在许多软件企业引起了重视和应用 .本文从条件 /事件网出发 ,应用标记 PETRI网 ,并针对其在软件过程中的特点 ,给出了软件过程和软件过程网合理性的定义 ,根据工作流领域的结论 ,可以应用经典 PETRI网的工具验证其合理性 .在此理论基础上 ,提出了传统的软件过程结构表示成软件过程网的规则 .并研究其在实践中的应用。

关键词： PETRI网软件过程建模过程实施软件开发

来源：评论

学校读者我要写书评

暂无评论

支持过程度量的软件过程建模方法的研究

引用

软件学报 1999年第8期10卷 843-849页

作者：宿为民朱三元上海计算机软件技术开发中心上海200050

文章提出应从过程建模的角度考虑对过程度量的支持问题，并提出一种支持过程度量的软件过程建模方法的框架．它包括面向目标的过程度量模型建模方法、支持过程度量的软件过程描述机制的选择和支持过程度量的软件过程建模算法．

关键词：过程度量软件过程建模软件工程

来源：评论

学校读者我要写书评

暂无评论

一种软件过程建模语言SPML的设计

引用

计算机科学 2005年第11期32卷 218-222页

作者：陈迎欣刘群哈尔滨工程大学计算机科学技术学院博士哈尔滨150001

本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML。它提供了两个不同抽象层次的描述语言以满足不同用户的需求。高抽象层次的语言SPML/H能够较全面地描述软件过程,具有良好的易用性;低抽象层次的语言SPML/... 详细信息

本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML。它提供了两个不同抽象层次的描述语言以满足不同用户的需求。高抽象层次的语言SPML/H能够较全面地描述软件过程,具有良好的易用性;低抽象层次的语言SPML/L可以描述规则等,适合描述软件过程的细节。SPML/H还能够被逐步地变换成SPML/L,保证了软件过程模型可以在一个共同的形式化基础上被分析和运作。最后通过一个实例说明过程建模语言的有效性。

关键词：软件过程建模软件过程过程建模语言软件过程模型设计抽象层描述语言可扩展易用性

来源：评论

学校读者我要写书评

暂无评论

一种基于Agent的软件过程建模方法研究

一种基于Agent的软件过程建模方法研究

引用

作者：赵欣培中国科学院研究生院（软件研究所）

学位级别：博士

软件过程建模是指对软件过程建立模型并利用该模型对软件产品的开发过程进行管理和改进。软件过程建模技术为软件过程的设计、描述、实施、分析以及改进提供了工具,从而为软件组织实现以过程为中心的软件开发管理提供了有力的支持,对于... 详细信息

软件过程建模是指对软件过程建立模型并利用该模型对软件产品的开发过程进行管理和改进。软件过程建模技术为软件过程的设计、描述、实施、分析以及改进提供了工具,从而为软件组织实现以过程为中心的软件开发管理提供了有力的支持,对于保证软件组织的软件产品质量,提高开发效率具有重要的理论价值和实践价值。软件过程的一个重要特征是极大地依赖于软件开发人员的能力。传统的软件过程建模方法中,人被作为过程的执行者或者过程资源而被动地在预定义的模式下实施软件开发活动,这样的模型忽视了开发人员能力对软件过程的主导性,难以适应软件过程的动态多变性、不确定性、自治性以及主动协同性等特点。本文认为,对于软件生产来说,人不仅仅是过程的执行者,更是决定过程能力的基本要素,软件过程应该表现为一组目标驱动的自治实体间的协同工作。从这个观点出发,本文提出了一种基于Agent的软件过程建模方法。该方法将软件过程中生产者(开发人员、开发团队或者软件组织)描述为具有软件过程相关知识和行为能力的过程Agent。这些过程Agent能够根据其对环境的感知,基于其过程知识和推理机制自治地为实现目标确定所要实施的活动,建立计划,并通过协商确定彼此间的协同关系。过程执行出现偏差时,过程Agent能够自治地对计划以及相互间的协同关系进行调整。本文在组织上采用了从理论到实现的逻辑结构。首先,本文给出了一个形式化模型,该模型描述了基于Agent的软件过程模型的概念结构,过程Agent基于其信念、愿望、意图和规划实现其目标驱动的自治行为的方法,以及过程Agent基于协商建立协同关系的方法,从而为本文研究提供了理论基础。在该形式化模型的基础上,本文提出了一个软件过程建模语言ISPML(Intelligent Software Process Modeling Lauguage)并开发了一个PSEE(Process-Centered Software Engineering Environment)原型系统ISPMS(Intelligent Software Process Management System),从而为软件组织使用本文方法构建基于Agent的软件过程模型以及在实际的软件项目中实施该模型提供了工具支持。 ISPML语言是一个基于XML(Extendible Markup Language)的描述语言,用来对过程Agent Profile进行定义。过程Agent Profile通过对与过程Agent相关的过程知识、过程活动、过程数据、过程制品、参与者以及过程应用的定义来描述过程Agent的特征。一组使用ISPML描述的过程Agent Profile构成了一个基于Agent的软件过程模型。 ISPMS能够将使用ISPML语言描述的软件过程模型实例化为一组过程Agent,并在这些过程Agent实例的支持下实现软件项目计划的自治制定、跟踪以及变更。在该系统的支持下,本文提出的方法能够很好地支持软件过程的自治性、动态多变性以及基于协商的协同特性。同时,本文也通过一个模拟实验验证了过程Agent使用本文所提出的方法进行协同时,实现目标的总的性能较高。

关键词：软件过程技术软件过程建模软件过程建模语言以过程为中心的软件工程环境 Agent 多Agent系统人工智能

来源：评论

学校读者我要写书评

暂无评论

基于代数的软件过程建模系统的设计与实现

引用

计算机工程与设计 2008年第3期29卷 530-534,539页

作者：杨国伟杨秋松翟健袁峰中国科学院软件研究所互联网软件技术实验室

软件过程建模的主要目的是建立组织内软件开发过程的模型,使得软件开发过程在整个组织内获得一致的理解,进而提高软件开发效率和改进软件生产质量。软件过程建模语言一方面要易于理解、具有较强的表达能力,同时也要易于分析和验证,以保... 详细信息

软件过程建模的主要目的是建立组织内软件开发过程的模型,使得软件开发过程在整个组织内获得一致的理解,进而提高软件开发效率和改进软件生产质量。软件过程建模语言一方面要易于理解、具有较强的表达能力,同时也要易于分析和验证,以保证所要描述的软件过程的正确性。介绍了基于代数的软件过程建模系统ASPMS的设计和实现,该系统提供了图形化的建模表示方式,而该图形化表示方式具有基于多元演算的形式化语义,从而较好地平衡了建模语言的易于理解、具有较强的表达能力和易于分析和验证这一矛盾的内在要求。

关键词：软件过程建模多元演算 ASPMS系统形式化分析验证

来源：评论

学校读者我要写书评

暂无评论

具有严格操作语义的图形化软件过程建模研究

具有严格操作语义的图形化软件过程建模研究

引用

作者：杨秋松中国科学院软件研究所

学位级别：博士

“软件危机”，这一始于上世纪60年代的概念，始终伴随着软件业的整个历史发展进程。为了解决该问题，人们逐渐开始借鉴一些传统领域内的管理理论、方法和工具，以期解决软件开发中所面临的问题。其中，更多的是作为一种管理哲学，而不... 详细信息

“软件危机”，这一始于上世纪60年代的概念，始终伴随着软件业的整个历史发展进程。为了解决该问题，人们逐渐开始借鉴一些传统领域内的管理理论、方法和工具，以期解决软件开发中所面临的问题。其中，更多的是作为一种管理哲学，而不是具体管理方法的全面质量管理(Total QualityManagement，TQM)，在软件工程领域得到了广泛应用。全面质量管理对于软件工程的影响，一个很重要的方面是促进了软件过程和软件过程改进的研究、实践。\n 作为软件过程研究的重要内容，软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解，并通过直接或者间接的方式指导实际软件开发活动。为了对软件过程管理活动提供方法和工具支持，人们提出了多种以过程为中心的软件过程工程环境(Process-centered SoftwareEngineering Environment，PSEE)，其最终目的是使得实际软件开发活动受软件过程模型的支配。但由于过程模型本身的正确性得不到保证、PSEE中执行的软件过程模型和实际开发过程之间的信息反馈缺乏客观性以及过程模型和实际开发过程之间的抽象层次不同和描述粒度不一致，导致PSEE中执行的软件过程模型和实际开发过程之间经常产生严重的偏差，以至于PSEE对实际开发活动逐渐地失去了支持和指导作用，进而使得投入大量成本所开发的软件过程模型无法发挥其应有的作用。\n 针对这些问题，本文提出了一种具有严格操作语义的图形化软件过程建模方法。由于在具有图形化表示方式的同时，又具备严格的操作语义，因此基于该方法所描述的软件过程比较易于分析。特别是，通过模型检测技术验证软件过程模型本身的正确性，可以减少由模型错误所导致的不一致；通过比较预定义的过程模型和实际开发过程，可以发现两者间的不一致并及时地消除。同时，具有严格操作语义的软件过程建模方法，可以为软件过程执行提供良好的支持。\n 首先，本文提出了一种具有严格操作语义的图形化建模语言——RISO/ML。该语言具有图形化的表示方式，可以更容易地为软件工程人员所接受，以及更好地满足过程表示对易用性和可理解性的需求。该语言同时具有严格的操作语义，可以映射到多元π演算，从而能够更准确地描述软件过程，避免歧义的产生。更为重要的是，该语言从行为角度出发，能够以一致的方式描述软件过程中的各种实体及其相互间的并发、同步和通信。\n 其次，在TRISO/ML语言的基础之上，提出了一系列的软件过程分析方法。主要研究如何利用多元开演算的理论、方法和工具以及软件验证技术，对软件过程进行分析和验证。软件过程分析的研究主要集中在如下两个方面：a)软件过程模型本身正确性的验证，以确保该模型准确地描述了所希望表达的内容。b)比较两个过程模型是否等价。\n 然后，基于软件过程移动性概念，研究了如何通过软件过程结构的变化支持过程的动态执行。软件过程移动性概念反映了软件过程执行时，由于软件过程实体的动态交互，导致构成软件过程的实体及其相互间的关系不断地发生变化。软件过程移动性这一概念的提出，使得软件过程实体之间的关系可以在软件过程执行时动态地确立和调整，软件过程的定义随着过程信息的不断丰富而逐步地细化和明确，从而能够以更灵活的方式支持软件过程的表示和执行。\n 最后，描述了支持TRISO/ML的原型工具，包括基于TRISO/ML的过程表示、多元7r演算语义描述的自动生成，以及进一步的分析和验证。

关键词：软件工程软件过程建模图形化建模语言软件过程验证软件过程移动性

来源：评论

学校读者我要写书评

暂无评论

面向方面可信软件过程建模方法研究

面向方面可信软件过程建模方法研究

引用

作者：张璇云南大学

学位级别：博士

可信软件基于软件过程在开发或演化条件下的方法论是当前可信软件及软件工程领域国内外的关注重点。不同于普通软件,可信软件的可信性由其功能需求和非功能需求共同来体现,对可信软件需求进行研究,以及在可信软件生命周期全过程中融入... 详细信息

可信软件基于软件过程在开发或演化条件下的方法论是当前可信软件及软件工程领域国内外的关注重点。不同于普通软件,可信软件的可信性由其功能需求和非功能需求共同来体现,对可信软件需求进行研究,以及在可信软件生命周期全过程中融入可信性是实现可信软件生产及演化的一个有效途径。在软件过程建模领域,软件演化过程建模方法已经有效地解决了软件开发及演化的通用流程架构,是一种提高软件开发与演化质量以及效率的重要方法。然而,当面对可信软件时,其对非功能需求的特殊依赖,致使我们对软件过程建模方法提出了新的需求。依托本人主持的国家自然科学基金项目“基于演化的可信软件过程建模研究”(61262025),基于软件演化过程建模方法,使用面向方面方法,提出面向方面的可信软件过程建模方法,解决软件生命周期全过程融入可信性的问题,为可信软件的生产及演化提供可靠的软件过程模型,为实现这一目标,本文从理论、方法以及技术方面给予了全面的支持。在理论方面,针对非功能需求对可信软件的重要性,本文首先提出了分析可信软件需求以及通过可信软件需求获取过程策略的相关理论,在此基础之上,提出了基于面向方面方法扩展软件演化过程建模方法的相关理论,在保证软件演化过程建模方法提供可重用的通用过程模型的同时,可以灵活可控地融入通过可信软件需求推导出的相关过程策略。在方法方面,本文提出了可信软件需求获取、建模与推理方法,通过可信软件需求获取满足可信需求的过程策略。在此基础之上,提出了面向方面的可信软件过程建模方法,可信软件过程建模方法以软件演化过程建模方法为基础,依赖软件演化过程建模方法实现软件有关功能需求的过程建模,然后,使用面向方面方法将过程策略定义的可信方面通过合成机制织入软件演化过程模型,实现可信性融入软件生命周期全过程的需要,其中,重点解决了可信方面织入冲突控制及检测的问题。在技术方面,本文开发了可信需求推理辅助工具和可信软件过程建模辅助工具,为可信软件过程建模提供技术支持。最后,通过在两个可信软件的案例中使用本文提出的理论、方法和技术,说明本文提出的理论和方法是可行的,开发的辅助工具是有效的,可信软件过程建模方法可以通过软件生命周期全过程的可信性保证达到可信软件生产的目标。

关键词：软件过程建模可信软件需求建模可满足性 Petri网面向方面建模冲突

来源：评论

学校读者我要写书评

暂无评论

面向资源随机特征描述的软件过程建模方法

面向资源随机特征描述的软件过程建模方法

引用

作者：张备中国科学院研究生院

学位级别：硕士

软件过程建模的目的是通过描述软件开发活动的要素及其关系,来准确的定义和描述开发行为。这可以帮助统一组织对软件开发过程的理解,从而有助于提高软件生产的效率和质量,降低组织的成本。几十年以来,为了对软件过程进行建模,人们针对... 详细信息

软件过程建模的目的是通过描述软件开发活动的要素及其关系,来准确的定义和描述开发行为。这可以帮助统一组织对软件开发过程的理解,从而有助于提高软件生产的效率和质量,降低组织的成本。几十年以来,为了对软件过程进行建模,人们针对不同的问题和目标,提出了各种各样不同风格和目标的过程建模语言(Process Modeling Language,PML)。各种PML的易用性、可执行性和可验证性不同,通常我们希望定义一种直观易懂的PML,又希望它能够被执行,还希望我们的模型能够被可靠地验证。但是这三种目标很难同时实现。现有的技术通常关注于易用性和可执行性两个方面,而对可验证性之研究较少。\n 基于三维软件过程建模语言(TRISO/ML)的建模方法就是一种以保证软件过程的可验证性为目标的建模方法。TRISO/ML的要素具备以多元π-演算描述的严格执行语义,以保证TRISO/ML所描述的软件过程带有精确的语义。基于TRISO/ML的建模方法的两个扩展(即基于s-TRISO/ML的建模方法和组件化软件过程建模方法(CSPM))分别在原始的TRISO/ML语言中加入了对活动时间的随机性特征的能力和组件化的能力,且均保持了TRISO/ML的可验证性这一特征。作为进一步的扩展,本文提出的面向资源随机特征描述的软件过程建模方法聚合了上述两种方法的扩展,并在保持TRISO/ML的可验证性的同时,增加对人力资源的各个属性的随机特征的描述能力。\n 本文将讨论面向资源随机特征描述的软件过程建模方法的基本概念,给出了面向资源随机特征描述的软件过程建模方法所涉及的两种建模语言——r-TRISO/ML和r-TRISO/Script的定义,并进行了深入的讨论。r-TRISO/ML(面向资源随机特征描述的软件过程建模语言Resource-Stochastic-Feature Focused-Tri-Dimensional Software Process Modeling Language)语言是TRISO/ML语言的一个扩展。它不仅包含对过程维度的描述,还包含对资源维度的随机特性的描述。r-TRISO/Script(面向资源随机特征描述的软件过程建模脚本Resource-Stochastic-Feature Focused-Tri-Dimensional SoftwareProcess Script)语言是一种文本式语言。它的语法元素与r-TRISO/ML具有相同的执行语义。r-TRISO/Script的目的是为了能够对随机性进行细致而方便的建模,并能够重用软件过程中遇到的随机分布。在此基础上,可以对软件过程进行更高精度的仿真。最后本文将讨论上述方法的一个实现:SPIDE并使用一个例子来说明方法的可用性和效率。\n 本文的研究工作对软件过程中人员的随机特征描述提供了有力的支持,并帮助实现了更自然的软件过程仿真方法。为现有的软件过程建模技术提供了很好的指导和参考价值。

关键词：软件过程建模建模语言软件过程验证软件过程仿真

来源：评论

学校读者我要写书评

暂无评论

基于进程代数的软件过程建模系统的研究与实现

基于进程代数的软件过程建模系统的研究与实现

引用

作者：杨国伟中国科学院软件研究所

学位级别：硕士

软件过程建模是对软件过程的抽象，它描述了软件开发活动的主要元素及其相互间的关系。软件过程建模的主要目的是准确地描述和定义组织内的软件开发行为，使得软件开发过程在整个组织内获得一致的理解，进而促进软件开发效率的提高和软... 详细信息

软件过程建模是对软件过程的抽象，它描述了软件开发活动的主要元素及其相互间的关系。软件过程建模的主要目的是准确地描述和定义组织内的软件开发行为，使得软件开发过程在整个组织内获得一致的理解，进而促进软件开发效率的提高和软件生产质量的改善；在以过程为中心的软件工程环境的支持下，某些软件过程模型是可执行的，可以协调和指导实际的软件开发活动。\n 对于软件过程模型所对应的建模语言，不同的场合提出了不尽相同甚至相互矛盾的需求。一方面，为了使软件过程模型成为有效的沟通工具，需要相应的建模语言直观、易懂，同时具有较强的表达能力以减少抽象过程中的信息损失；另一方面，软件过程模型定义了一个组织完成特定任务、实现特定的效率和质量目标所采取的策略、途径和具体步骤，对于组织的正常的运行和实现组织的价值具有至关重要的作用，从而客观上需要相应的建模语言是可以分析验证的，以保证所定义的软件过程模型的正确性。\n 现有的软件过程建模技术主要强调软件过程模型的可理解性和可执行性，并对其提供了不同程度的支持，而对软件过程的分析验证方面的支持较少。本文提出了基于进程代数的软件过程建模系统PASPMS(Process Algebra BasedSoftware Process Modeling System)，该系统提供了图形化的建模语言，可以比较直观的描述软件过程，具有较强表达能力；同时利用不同的抽象机制，把图形化的软件过程转换为不同进程代数形式的描述。通过抽象机制，可以屏蔽掉建模语言本身的一些不可分析和验证的内容，从而使得建模语言在具有一定的可分析验证的特性时具有相对较强的表达能力；同一个软件过程对应多个形式化的描述，可以充分利用每个进程代数的特点进行不同类型的分析，并且能利用相应分析验证工具的比较优势。从而，PASPMS较好地平衡了软件过程所要求的易于理解且具有较强的表达能力和可分析验证的这一内在的矛盾需求。\n 本文论述了PASPMS系统的设计需求和目标，讨论了PASPMS系统的总体结构和其主要组成部分的设计细节，分析了PASPMS系统的关键技术。为了满足结构清晰、开放性、可扩展性的要求，将系统实现为两个Eclipse插件：图形化软件过程建模平台和模型转换引擎。图形化软件过程建模平台主要采用GEF技术，并使用EMF实现平台所对应的GEF框架的模型部分，将图形化的软件过程模型以XML格式的文件进行存储；模型转换引擎通过对XML文件进行解析，通过相应的转换规则将图形化的软件过程模型转换成进程代数形式的描述。最后，本文通过一个软件过程实例验证了系统PASPMS的现实可用性。\n 本文的研究工作对软件过程的形式化分析和验证提供了有力的支持，为现有的软件过程建模技术提供了很好的指导和参考价值。

关键词：软件过程建模进程代数软件开发软件质量

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：