题名 基于UML的软件过程建模方法研究
被引量：33
1
作者
李思广 林子禹 胡峰 潘小劲
机构
武汉大学软件工程国家重点实验室
出处
《计算机工程与应用》
CSCD
北大核心
2003年第6期76-78,共3页
文摘
论文运用UML对软件过程建模,用类图对静态结构建模,用顺序图,状态图对动态行为建模,并给出了一个软件配置管理过程建模的实例。
关键词
UML 软件过程建模 方法软件 工程软件 开发软件 配置管理过程 软件 能力成熟度模 型
Keywords
Software Process modeling,UML ,Software Configuration Management Process
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 一种用于软件过程建模的适应性Agent协商
被引量：4
2
作者
黎巎 李明树 王青 赵琛 杜栓柱
机构
中国科学院软件研究所互联网软件技术实验室 中国科学院研究生院 中国科学院软件研究所计算机科学国家重点实验室
出处
《软件学报》
EI
CSCD
北大核心
2009年第3期557-566,共10页
基金
国家自然科学基金 国家高技术研究发展计划(863) +1 种基金 国家科技攻关计划 国家重点基础研究发展计划(973)~~
文摘
大多软件过程模型是预定义的.在变化的应用环境中,需要由相应人员进行适应性调整.提出一种用于软件过程建模的适应性多边协商模型——AMNM-PA,其采用Agent封装软件过程中所涉及的个体,包含组织、团队、个人等,通过Agent间的协商动态、适应地建立针对给定软件项目的软件过程模型.AMNM-PA基于非静态有限阶段Markov决策过程,采用模型无关的Q学习算法选取协商策略,因此能够支持动态、非预知环境下的适应性协商,从而满足软件过程建模对环境的适应性需求.AMNM-PA已经实施于软件过程管理系统——SoftPM.
关键词
协商模 型 适应性 Q学习 软件过程建模 AGENT
Keywords
negotiation model adaptability Q-learning software process modeling agent
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 支持过程度量的软件过程建模方法的研究
被引量：18
3
作者
宿为民 朱三元
机构
上海计算机软件技术开发中心
出处
《软件学报》
EI
CSCD
北大核心
1999年第8期843-849,共7页
基金
国家"九五"科技攻关项目
文摘
文章提出应从过程建模的角度考虑对过程度量的支持问题，并提出一种支持过程度量的软件过程建模方法的框架．它包括面向目标的过程度量模型建模方法、支持过程度量的软件过程描述机制的选择和支持过程度量的软件过程建模算法．
关键词
过程 度量软件过程建模 软件 工程
Keywords
Process measurement, software process modeling
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 PETRI网在软件过程建模及过程实施中的应用
被引量：5
4
作者
潘秋菱 刘宗田 张立群 刘海杜
机构
合肥工业大学微机所 上海大学计算机学院 深圳水务局 上海亚太公司
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第5期569-573,共5页
基金
安徽省自然科学基金资助 (项目编号 :0 10 42 2 0 7)
文摘
软件过程技术 ,作为一种保证软件开发质量和效率的方法 ,在许多软件企业引起了重视和应用 .本文从条件 /事件网出发 ,应用标记 PETRI网 ,并针对其在软件过程中的特点 ,给出了软件过程和软件过程网合理性的定义 ,根据工作流领域的结论 ,可以应用经典 PETRI网的工具验证其合理性 .在此理论基础上 ,提出了传统的软件过程结构表示成软件过程网的规则 .并研究其在实践中的应用 。
关键词
PETRI网 软件过程建模 过程 实施软件 开发
Keywords
software process technology petri net software development efficiency
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 软件过程建模中的并行性挖掘与延拓技术研究
5
作者
马臻 张毅坤 魏芳
机构
西安理工大学计算机科学与工程学院
出处
《西安理工大学学报》
CAS
2005年第4期433-436,共4页
文摘
针对软件过程建模中存在的诸多问题,提出了一个基于并行性挖掘与延拓技术的软件过程建模模型,并利用此模型对火车调度系统进行了建模。结果表明,该模型正确且工作效率高。
关键词
PETRI网 并行性挖掘与延拓技术 软件过程建模 模 型火车调度系统
Keywords
Petri-net concurrent mining and extending technology MCMETBSPM train deployment system
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基于代数的软件过程建模系统的设计与实现
被引量：1
6
作者
杨国伟 杨秋松 翟健 袁峰
机构
中国科学院软件研究所互联网软件技术实验室
出处
《计算机工程与设计》
CSCD
北大核心
2008年第3期530-534,539,共6页
基金
国家自然科学基金项目(60473060) 国家863高技术研究发展计划基金项目(2006AA01Z185)
文摘
软件过程建模的主要目的是建立组织内软件开发过程的模型,使得软件开发过程在整个组织内获得一致的理解,进而提高软件开发效率和改进软件生产质量。软件过程建模语言一方面要易于理解、具有较强的表达能力,同时也要易于分析和验证,以保证所要描述的软件过程的正确性。介绍了基于代数的软件过程建模系统ASPMS的设计和实现,该系统提供了图形化的建模表示方式,而该图形化表示方式具有基于多元演算的形式化语义,从而较好地平衡了建模语言的易于理解、具有较强的表达能力和易于分析和验证这一矛盾的内在要求。
关键词
软件过程建模 多元演算 ASPMS系统 形式化分析 验证
Keywords
software process modeling polyadic π-calculus ASPMS formal analysis verification
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 一种软件过程建模语言SPML的设计
7
作者
陈迎欣 刘群
机构
哈尔滨工程大学计算机科学技术学院
出处
《计算机科学》
CSCD
北大核心
2005年第11期218-222,共5页
文摘
本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML。它提供了两个不同抽象层次的描述语言以满足不同用户的需求。高抽象层次的语言SPML/H能够较全面地描述软件过程,具有良好的易用性;低抽象层次的语言SPML/L可以描述规则等,适合描述软件过程的细节。SPML/H还能够被逐步地变换成SPML/L,保证了软件过程模型可以在一个共同的形式化基础上被分析和运作。最后通过一个实例说明过程建模语言的有效性。
关键词
软件过程建模 软件 过程 过程 建 模 语言软件 过程 模 型设计 抽象层 描述语言 可扩展 易用性
Keywords
Software process modeling , Software process,Software process modeling language
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 一种基于模型融合的CMM实施过程建模方法
被引量：3
8
作者
李娟 袁峰 李明树 王青
机构
中国科学院软件研究所互联网软件技术实验室
出处
《计算机学报》
EI
CSCD
北大核心
2006年第1期54-65,共12页
基金
国家自然科学基金(60273026 60473060) +1 种基金 国家"八六三"高技术研究发展计划项目基金(2002AA116060 2001AA113080)资助~~
文摘
提出了一种基于模型融合的CMM实施过程建模方法.该方法使用软件过程工程元模型SPEM建立CMM过程模型CPM和企业过程模型EPM,通过融合CPM和EPM来获得CMM实施过程模型C IPM.文中利用带标记的有向图描述过程模型,给出了模型融合方法,并进行了一致性证明.最后通过一个过程模型融合原型工具和实例说明了方法的应用情况.
关键词
CMM 软件过程建模 模 型融合有向图
Keywords
CMM software process modeling model merging directed graph
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 一种基于对象网的多视角软件过程模型
被引量：1
9
作者
葛季栋 顾庆 胡昊 吕建
机构
南京大学 计算机软件新技术国家重点实验室
出处
《软件学报》
EI
CSCD
北大核心
2008年第6期1363-1378,共16页
基金
Supported by the National Natural Science Foundation of China under Grant Nos.60233010,60403014,60603034(国家自然科学基金) the National High-Tech Research and Development Plan of China under Grant Nos.2004AA112090,2005AA113160,2006AA01Z159,2006AA01Z177(国家高技术研究发展计划(863)) the National Basic Research Program of China under Grant No.2002CB312002(国家重点基础研究发展计划(973))
文摘
基于关注点分离原则,结合多视角软件过程建模与对象网之间的相似性,提出了一种基于对象网的多视角软件过程模型MOPN-SP-net,可以提高软件过程模型的可复用性(reusability).在使用MOPN-SP-net建模时,得到的多视角软件过程模型是一种多维网.直接分析这种多维网比较困难,为此,提供了一种从对象网到平面网的等价转换规则,且转换前后的模型在合理性准则上保持等价.根据这个转换规则,可以通过分析转换后平面网模型的合理性得知转换前的对象网的合理性.
关键词
软件 过程 软件过程建模 以过程 为中心的软件 工程环境 对象网
Keywords
software process software process modeling PSEE object Petri nets
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 一种基于协商的软件过程协同方法
被引量：2
10
作者
赵欣培 李明树 陈振冲 王青
机构
中国科学院软件研究所互联网软件技术实验室 香港理工大学计算学系
出处
《计算机研究与发展》
EI
CSCD
北大核心
2006年第2期314-320,共7页
基金
国家自然科学基金项目(60273026 60473060) 国家"八六三"高技术研究发展计划基金项目(2001AA113080)~~
文摘
大型软件系统的开发大多要求多人协同完成·软件过程协同的一个重要特点是协同的参与者都试图通过实施协同任务来取得最大化的获利,因而协同的决策和实施不是强制性的,而是由软件开发人员或软件组织经过协商来进行的·传统的软件过程建模方法中对软件过程协同的描述是刚性的,即在满足进入条件或者被显式调用时,协同就一定会被触发,并按照一个规定好的规则或方针来实施,这样的方法难以适应软件过程协同中所表现的协商特性·提出了一个基于协商的软件过程协同方法,将软件过程描述为一组相对独立的、自治的、理性的、协作的软件过程Agent,过程Agent之间的协同关系由过程Agent通过协商确定,相比传统的方法,具有能够更好地适应软件过程协同的特点·
关键词
软件 过程 协同软件过程建模 协商 AGENT 人工智能
Keywords
software process collaboration software process modeling negotiation agent artificial intelligence
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 多Agent的产品协同商务建模技术的研究
11
作者
姚源 陈军
机构
镇江船艇学院电气自动化教研室 镇江船艇学院数学教研室
出处
《机械设计与制造》
北大核心
2007年第1期125-127,共3页
文摘
大型的复杂系统的建模多采用多Agent技术,在分析多Agent产品协同商务系统的基础上,提出了基于流程的多Agent产品协同商务模型和改造的基于流程的协同商务多Agent模型。
关键词
产品协同商务 AGENT技术 软件过程建模
Keywords
CPC Agent technology Modeling software process
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
