期刊文献+
共找到25篇文章
< 1 2 >
每页显示 20 50 100
Simulation Modeling by Fuzzy Nets
1
作者 Xingui, He 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 1993年第4期25-31,共7页
Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis, evaluation, decision making and s... Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis, evaluation, decision making and scheduling, especially in simulation where accurate mathematical models can not or very hard be established. In this paper, to meet the demands of fuzzy simulation, two fuzzy nets will first be presented, which are quite suitable for modeling the parallel or concurrent systems with fuzzy behavior. Then, a concept of active simulation will be introduced, in which the simulation model not only can show its fuzzy behavior, but also has a certain ability which can actively perform many very useful actions, such as automatic warning, realtime monitoring, simulation result checking, simulation model self-adapting, error recovery, simulating path tracing, system states inspecting and exception handling, by a unified approach while some specified events occur. The simulation model described by this powerful simulation modeling tool is concurrently driven by a network interpreter and an event monitor that all can be implemented by software or hardware. Besides, some interesting applications are given in the paper. 展开更多
关键词 Computer hardware Computer software Decision theory Fuzzy sets Mathematical models MONITORING Parallel processing systems petri nets process control Random processes SCHEDULING
在线阅读 下载PDF
一种基于扩展Petri网的软件过程模型性能分析方法 被引量:5
2
作者 赵杨 李彤 柳青 《计算机工程与应用》 CSCD 北大核心 2004年第26期70-72,共3页
对软件过程模型进行性能分析是过程建模的一个重要环节,也是过程改进的一个重要依据。现有的模型评估方法都是使用基于指数分布假设的分析技术。论文提出了一种新的基于X-Petri网和正态分布假设的软件并行工程顺序、并行、循环三种基本... 对软件过程模型进行性能分析是过程建模的一个重要环节,也是过程改进的一个重要依据。现有的模型评估方法都是使用基于指数分布假设的分析技术。论文提出了一种新的基于X-Petri网和正态分布假设的软件并行工程顺序、并行、循环三种基本执行过程结构的性能等价分析方法。 展开更多
关键词 软件并行工程 过程建模 性能分析 petri
在线阅读 下载PDF
无优先权维修活动及其Petri网建模 被引量:1
3
作者 曲长征 于永利 陶凤和 《中国机械工程》 EI CAS CSCD 北大核心 2011年第2期204-207,共4页
为准确描述装备维修过程中的活动关系,提出了维修过程中无优先权活动关系的概念,并对比分析了其与传统维修活动关系的异同。应用Petri网建立了考虑资源约束的无优先权拆卸和无优先权维修过程模型,采用Petri网进程分析了模型的运行特点... 为准确描述装备维修过程中的活动关系,提出了维修过程中无优先权活动关系的概念,并对比分析了其与传统维修活动关系的异同。应用Petri网建立了考虑资源约束的无优先权拆卸和无优先权维修过程模型,采用Petri网进程分析了模型的运行特点。应用模型对某装备维修过程进行了分析,验证了无优先权活动对维修过程的影响。 展开更多
关键词 维修过程 无优先权维修活动 petri 建模
在线阅读 下载PDF
基于Petri网的以活动为中心的软件过程建模方法 被引量:1
4
作者 尹琴 王小平 《计算机应用与软件》 CSCD 北大核心 2008年第1期187-189,255,共4页
软件过程是软件生命周期中所实施的一系列活动的集合。软件过程模型为软件开发者提供了软件开发的标准,也方便了开发者之间的交流。过程建模作为软件过程中最主要的活动,是对实际软件过程的再加工工程。基于Petri网提出了一种以活动为... 软件过程是软件生命周期中所实施的一系列活动的集合。软件过程模型为软件开发者提供了软件开发的标准,也方便了开发者之间的交流。过程建模作为软件过程中最主要的活动,是对实际软件过程的再加工工程。基于Petri网提出了一种以活动为中心的软件过程控制模型ACCM,并给出了相应的算法。最后以一个软件开发的实例解释说明了该方法的有效性。 展开更多
关键词 软件过程 petri 活动 建模
在线阅读 下载PDF
基于Petri网的软件维护过程建模及应用分析
5
作者 丁剑洁 侯红 郝克刚 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期55-57,61,共4页
软件维护过程建模是实现过程改进、合理分配资源、提高维护效率的基础,它在越来越多的软件需要更新换代的今天更为重要。提出了采用形式化的建模工具Petri网来描述维护过程,从而可以利用Petri网的分析方法,如可达图,不变量对维护过程进... 软件维护过程建模是实现过程改进、合理分配资源、提高维护效率的基础,它在越来越多的软件需要更新换代的今天更为重要。提出了采用形式化的建模工具Petri网来描述维护过程,从而可以利用Petri网的分析方法,如可达图,不变量对维护过程进行分析。在此基础上,关注Petri网中各变迁的触发时刻,估算维护周转时间、资源利用率等指标,从而为维护过程的优化和改进提供决策上的支持。 展开更多
关键词 petri 软件维护 过程建模 决策
在线阅读 下载PDF
软件过程的模型化研究 被引量:11
6
作者 陈建勋 马于涛 +1 位作者 谢敏 夏琳 《计算机工程与设计》 CSCD 2004年第1期33-35,114,共4页
由于软件开发组织不能很好地定义和管理其软件过程,以致在实际开发过程中产生诸多问题。在对传统开发过程分析的基础上构造了一个有效可行的过程模型,即生命周期分阶段、每个阶段进行多次受控迭代,工作流活动有计划进行,并根据CMM(Capab... 由于软件开发组织不能很好地定义和管理其软件过程,以致在实际开发过程中产生诸多问题。在对传统开发过程分析的基础上构造了一个有效可行的过程模型,即生命周期分阶段、每个阶段进行多次受控迭代,工作流活动有计划进行,并根据CMM(Capability Maturity Model)标准对软件过程进行了形式化描述。最后给出了对抽象模型进行重用和剪裁再工程的一般原则,从而能根据不同需求制定合适的开发过程来指导软件开发。 展开更多
关键词 软件开发 软件过程 模型化 生命周期 形式化描述
在线阅读 下载PDF
基于UML的业务流程模型分析方法研究 被引量:9
7
作者 颜志军 孙宝文 王天梅 《计算机工程与应用》 CSCD 北大核心 2004年第29期226-228,共3页
基于UML的业务流程建模方法是业务流程建模领域中的一种重要方法,该文对基于UML的业务流程建模方法中的重要工具活动图进行形式化定义,给出了基于活动图的业务流程模型与工作流网之间的规范化转换方法,从而可以分析和检验基于UML的业务... 基于UML的业务流程建模方法是业务流程建模领域中的一种重要方法,该文对基于UML的业务流程建模方法中的重要工具活动图进行形式化定义,给出了基于活动图的业务流程模型与工作流网之间的规范化转换方法,从而可以分析和检验基于UML的业务流程模型的静态和动态属性。 展开更多
关键词 业务流程建模 UML petri 活动图
在线阅读 下载PDF
一种将需求模型转换为软件体系结构模型的方法 被引量:5
8
作者 谢仲文 李晓燕 +3 位作者 李彤 代飞 于倩 张璇 《计算机科学》 CSCD 北大核心 2014年第5期196-203,共8页
需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法。首先,讨... 需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法。首先,讨论了模型转换的整体思路;其次,将行为特征模型中的各个结点转换为SA模型中的构件和连接件,并提出了相应的转换规则;再次,讨论了属性特征模型中主动属性特征的转换,并提出了子系统划分的策略;最后,通过案例研究展示了该方法在从需求模型到SA模型的转换中的有效性。 展开更多
关键词 需求模型 软件体系结构通信进程代数 petri 行为
在线阅读 下载PDF
基于EPMM的软件过程结构合理性研究 被引量:2
9
作者 代飞 李彤 +2 位作者 谢仲文 莫启 金运志 《计算机科学》 CSCD 北大核心 2013年第8期186-190,共5页
为了确保软件演化过程的正确性,有必要对软件演化所涉及的软件过程进行结构合理性研究,以提高软件演化的质量和效率、缩短软件演化的周期。针对EPMM建模产生的软件演化过程模型,从过程层的角度,提出结构合理性定义,并设计相应的判断算... 为了确保软件演化过程的正确性,有必要对软件演化所涉及的软件过程进行结构合理性研究,以提高软件演化的质量和效率、缩短软件演化的周期。针对EPMM建模产生的软件演化过程模型,从过程层的角度,提出结构合理性定义,并设计相应的判断算法。结果表明,结构合理性的检验有助于提高软件演化过程的质量。 展开更多
关键词 软件演化过程 软件演化 软件过程 性质合理性 petri 元模型
在线阅读 下载PDF
一种有效的软件过程改善模型 被引量:5
10
作者 曹会明 金茂忠 刘超 《计算机工程与应用》 CSCD 北大核心 2001年第12期89-92,共4页
有效地改善软件过程是解决我国软件企业存在的生产率和管理水平低、产品质量难以保证等问题的根本所在。考虑到我国企业特点,文章提出了一个软件过程改善模型,其目的是帮助企业持续地进行软件过程改善。该模型包括五个活动,文章对这... 有效地改善软件过程是解决我国软件企业存在的生产率和管理水平低、产品质量难以保证等问题的根本所在。考虑到我国企业特点,文章提出了一个软件过程改善模型,其目的是帮助企业持续地进行软件过程改善。该模型包括五个活动,文章对这些活动进行了详细介绍,同时给出了在进行这些活动时应注意的问题。 展开更多
关键词 软件过程 软件过程改善 软件开发 软件工程
在线阅读 下载PDF
一个支持软件并行工程的过程模型 被引量:8
11
作者 王黎霞 李彤 《计算机工程》 CAS CSCD 北大核心 1999年第11期10-11,46,共3页
实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。分析了存在于软件生存周期中的两类不同层次的并行性,提出了一个基于Petri网的支持软件并行工程的软件过程模型SDDM,给出了将软件过程内部的局部并行性延... 实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。分析了存在于软件生存周期中的两类不同层次的并行性,提出了一个基于Petri网的支持软件并行工程的软件过程模型SDDM,给出了将软件过程内部的局部并行性延拓到该过程全局的方法。 展开更多
关键词 软件并行工程 petri SDDM模型 软件开发
在线阅读 下载PDF
基于EPMM的软件过程性质合理性研究 被引量:2
12
作者 代飞 李彤 +3 位作者 谢仲文 秦江龙 刘金卓 钱晔 《计算机工程》 CAS CSCD 2014年第1期72-77,82,共7页
为提高软件演化的质量和效率、缩短软件演化的周期,有必要对软件演化所涉及的软件过程进行性质合理性研究,以确保软件演化过程的正确性。根据软件演化过程元模型(EPMM)的过程层定义,提出EPMM性质合理性的形式定义,用于确保软件过程在实... 为提高软件演化的质量和效率、缩短软件演化的周期,有必要对软件演化所涉及的软件过程进行性质合理性研究,以确保软件演化过程的正确性。根据软件演化过程元模型(EPMM)的过程层定义,提出EPMM性质合理性的形式定义,用于确保软件过程在实施执行中应满足的动态性质,并基于Petri网的可达图,设计相应的性质合理性检验算法。应用结果表明,对软件演化过程进行性质合理性检验可以确保过程逻辑不发生异常,满足过程定义性质方面的正确性要求。 展开更多
关键词 演化过程元模型 软件演化 软件过程 性质合理性 petri 元模型
在线阅读 下载PDF
面向软件非功能需求的软件过程建模方法 被引量:2
13
作者 张璇 李彤 +3 位作者 王旭 代飞 谢仲文 于倩 《计算机研究与发展》 EI CSCD 北大核心 2016年第7期1612-1630,共19页
软件非功能需求决定了软件的质量,而软件质量需求的满足很大程度上依赖于软件开发或演化时所使用的过程.从软件过程的角度出发,总结凝练满足软件非功能需求的过程策略,使用面向方面方法,提出面向软件非功能需求的软件过程建模方法,从软... 软件非功能需求决定了软件的质量,而软件质量需求的满足很大程度上依赖于软件开发或演化时所使用的过程.从软件过程的角度出发,总结凝练满足软件非功能需求的过程策略,使用面向方面方法,提出面向软件非功能需求的软件过程建模方法,从软件过程的方法和技术角度保证软件的质量需求贯穿软件生命周期全过程得以实现.首先,基于对软件非功能需求的分析,总结满足非功能需求的过程策略,构建过程策略知识库,在此基础上,使用面向方面方法将过程策略定义的活动封装为方面,并通过方面合成机制织入基本软件过程模型,既实现了基本模型与面向非功能需求活动间的分离,又实现了软件生命周期全过程注入有助于软件质量提升的活动,其中,重点解决了方面织入基本模型的冲突控制及检测问题;另外,通过开发面向非功能需求的软件过程建模辅助工具NPAT(non-functional requirementsoriented processes aided tool),为过程建模及冲突控制提供了技术支持;最后,通过在案例中使用所提出的理论、方法和技术,说明所提出的理论和方法是可行的,开发的辅助工具是有效的,可以通过非功能需求定制的软件生命周期过程达到提升软件质量的目标. 展开更多
关键词 软件非功能需求 软件过程 面向方面建模 petri 冲突
在线阅读 下载PDF
基于EPMM的软件过程模型规范化研究 被引量:2
14
作者 谢仲文 李彤 +3 位作者 代飞 卢萍 秦江龙 刘金卓 《计算机工程与科学》 CSCD 北大核心 2010年第9期69-72,126,共5页
为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究。本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4P... 为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究。本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4PNF)的定义,并给出它们的判定算法。本文建议:对于传统的软件过程模型,应设计到满足2PNF;而对于软件演化过程模型,应设计到满足3PNF。本文为建模高质量的软件过程模型提供了指南。 展开更多
关键词 软件过程 软件过程模型 petri 过程范式
在线阅读 下载PDF
一个支持软件并行工程的过程建模语言 被引量:6
15
作者 李彤 王黎霞 《计算机应用与软件》 CSCD 2000年第4期26-33,共8页
实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。文中讨论了软件并行工程对过程建模语言的要求,给出了一个支持软件并行工程的形式化过程建模语言SDDML和基于SDDML的过程建模方法。SDDML基于Petri网,具有面向对象的... 实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。文中讨论了软件并行工程对过程建模语言的要求,给出了一个支持软件并行工程的形式化过程建模语言SDDML和基于SDDML的过程建模方法。SDDML基于Petri网,具有面向对象的特征,可表示不同抽象级的过程模型,支持逐步求精的过程建模方法,为软件并行工程中软件过程的控制、分析、评估和优化奠定了基础。 展开更多
关键词 软件并行工程 过程建模语言 petri SDDML语言
在线阅读 下载PDF
一个支持软件过程的CASE系统的设计与实现 被引量:10
16
作者 黄日日 杨芙清 《计算机学报》 EI CSCD 北大核心 1997年第5期441-450,共10页
本文阐述了一个支持多用户协同式软件工程活动的CASE系统(PCS)的设计与实现,提出了一种“组工作模型”及其相关的软件支持设施,包括过程支持设施、角色支持设施以及对象库支持设施等.
关键词 协同式 软件工程 CASE 过程模型
在线阅读 下载PDF
一种基于对象网的多视角软件过程模型 被引量:1
17
作者 葛季栋 顾庆 +1 位作者 胡昊 吕建 《软件学报》 EI CSCD 北大核心 2008年第6期1363-1378,共16页
基于关注点分离原则,结合多视角软件过程建模与对象网之间的相似性,提出了一种基于对象网的多视角软件过程模型MOPN-SP-net,可以提高软件过程模型的可复用性(reusability).在使用MOPN-SP-net建模时,得到的多视角软件过程模型是一种多维... 基于关注点分离原则,结合多视角软件过程建模与对象网之间的相似性,提出了一种基于对象网的多视角软件过程模型MOPN-SP-net,可以提高软件过程模型的可复用性(reusability).在使用MOPN-SP-net建模时,得到的多视角软件过程模型是一种多维网.直接分析这种多维网比较困难,为此,提供了一种从对象网到平面网的等价转换规则,且转换前后的模型在合理性准则上保持等价.根据这个转换规则,可以通过分析转换后平面网模型的合理性得知转换前的对象网的合理性. 展开更多
关键词 软件过程 软件过程建模 以过程为中心的软件工程环境 对象网
在线阅读 下载PDF
支持软件演化的扩展SDDM软件过程模型 被引量:1
18
作者 赵娜 赵锦新 李彤 《计算机工程与应用》 CSCD 北大核心 2007年第13期61-63,88,共4页
软件演化已成为软件生存周期中最重要的形态之一。对基于Petri网、具有面向对象特征的软件过程模型SDDM进行改进,引入时间Petri网和有色Petri网的思想,同时在标准化、角色模型、资源模型三个方面对其进行扩展,得到一个新的支持软件演化... 软件演化已成为软件生存周期中最重要的形态之一。对基于Petri网、具有面向对象特征的软件过程模型SDDM进行改进,引入时间Petri网和有色Petri网的思想,同时在标准化、角色模型、资源模型三个方面对其进行扩展,得到一个新的支持软件演化过程的扩展SDDM软件过程模型。 展开更多
关键词 软件演化 软件过程模型 petri 时间petri 有色petri SDDM模型
在线阅读 下载PDF
支持软件演化的第2代SDDM软件过程模型 被引量:1
19
作者 赵娜 赵锦新 李彤 《计算机工程》 CAS CSCD 北大核心 2007年第14期73-75,88,共4页
软件演化已成为软件生存周期中最重要的形态之一。该文对支持软件并行工程的SDDM过程模型在标准化、角色模型、资源模型、层次化4个方面进行了扩展,得到了一个支持标准化的可配置、可重用、支持软件演化过程的第2代SDDM软件过程模型。
关键词 软件演化 软件过程模型 petri SDDM模型
在线阅读 下载PDF
软件过程活动中的并行性延拓 被引量:1
20
作者 李彤 王黎霞 《计算机应用与软件》 CSCD 北大核心 2001年第6期34-39,共6页
提高软件过程的并行度是提高软件生产率的重要手段。由于活动内部并行化后并行性较为局部,本文提出了一种将这种并行性向活动外全局方向延拓的技术。通过划分块之间的相关性判别,重构Petri网表示的软件过程模型,将活动内的并行性延拓到... 提高软件过程的并行度是提高软件生产率的重要手段。由于活动内部并行化后并行性较为局部,本文提出了一种将这种并行性向活动外全局方向延拓的技术。通过划分块之间的相关性判别,重构Petri网表示的软件过程模型,将活动内的并行性延拓到了活动间,提高了软件过程的并行度。 展开更多
关键词 软件过程活动 并行性延拓 petri 软件并行工程
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部