过程建模语言

作品数：10被引量：80H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：柳军飞周伯生张莉张社英唐稚松更多>>
相关机构：中国科学院软件研究所北京航空航天大学浙江大学云南大学更多>>
相关期刊：《计算机应用与软件》《软件学报》《计算机工程》《计算机辅助设计与图形学学报》更多>>
相关基金：国家自然科学基金云南省自然科学基金电子信息产业发展基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向生产计划分析的协同制造过程建模语言及建模仿真系统
《计算机集成制造系统》2023年第5期1415-1428,共14页张莉 杨子天 葛宁 刘怡 
国家重点研发计划资助项目(2019YFB1703903);国家重大项目(GJXM92579);北京航空航天大学软件开发环境国家重点实验室开放课题资助项目(SKLSDE-2022ZX-13)。
跨企业协同制造涉及要素种类多、联动关系复杂、内外部不确定性影响大,导致协同运行能力弱。针对其顶层统筹管理能力弱、缺乏有效的计划分析手段等问题,提出面向生产计划分析的协同制造过程建模语言,为决策层提供不依赖具体生产数据、...
关键词：跨企业协同制造 生产计划 领域过程建模语言 模型仿真 决策支持 
CEPDL:一个简约的软件演化过程建模语言
《内蒙古大学学报（自然科学版）》2016年第1期102-107,共6页刘金卓 白天罡 于倩 王炜 代飞 
国家自然科学基金(61262024;61262025;61462091;61462095;61462092;61379032);云南省自然科学基金(2014FD006;2012FB119;2013FB008);云南省教育厅科学研究基金(2013Z057;2014Y012;2011Y121);云南省软件工程重点实验室开放基金(2012SE401;2012SE308)
随着软件演化过程模型被EPMM建模产生,软件演化过程模型的形式验证问题尤其是自动化验证问题却尚未得到解决.为了实现软件演化过程模型的自动化验证,提出了一种简约的软件演化过程建模语言(CEPDL,Concise Software Evolution Process De...
关键词：软件演化过程 形式化验证 软件演化过程建模语言 模型检测 
一种反应式SPM及其动态语义XYZ表示被引量：6
《软件学报》2005年第11期1876-1885,共10页董广智 柳军飞 齐璇 
电子信息产业发展基金~~
过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(proactive...
关键词：过程支撑环境 软件过程模型 过程建模语言 反应式 XYZ/E 
一种软件过程建模语言SPML的设计
《计算机科学》2005年第11期218-222,共5页陈迎欣 刘群 
本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML。它提供了两个不同抽象层次的描述语言以满足不同用户的需求。高抽象层次的语言SPML/H能够较全面地描述软件过程,具有良好的易用性;低抽象层次的语言SPML/...
关键词：软件过程建模 软件过程 过程建模语言 软件过程模型 设计 抽象层 描述语言 可扩展 易用性 
CPMS中例程处理机制的设计与实现被引量：2
《计算机科学》2004年第5期86-88,92,共4页林向宇 胡昊 鲍钦迪 杨玫 吕建 
国家863项目支持;项目编号:2001AA113090
过程支持系统(PSS,Process Support System)是一个支持定义、执行和监控业务过程的软件系统,其中通过过程模型描述过程的各种控制结构。在基于CMM的过程支持系统——CPMS(CMM Based Process ManagementSystem)中,由于CMM中庇护性过程的...
关键词：过程支持系统 PSS CPMS 例程处理 CMM 过程建模语言 PML 过程控制引擎 PCE 
基于XML和Agent联邦的工作流建模方法被引量：7
《计算机辅助设计与图形学学报》2003年第3期355-361,共7页钟凌燕 高济 
国家自然科学基金 ( 6 97730 19)资助
介绍一种基于XML和Agent联邦的工作流建模方法 ,目的在于建立分布式环境下灵活的、动态的工作流管理过程 该方法将工作流管理系统组织成一个可能嵌套的Agent联邦 ,将工作流定义为一个由Agent联邦协同完成的活动的集合 面向活动分担的...
关键词：工作流建模 过程建模语言 AGENT XML 
过程模型中批处理活动执行语义的研究被引量：1
《计算机工程》2001年第3期18-20,共3页王雷 张莉 周伯生 
国家自然科学基金项目(69803003)
所有复杂的开发过程都需要过程模型来进行抽象的描述，因此定义了一个可视化过程建模语言ＶＰＭＬ，并根据实际应用的需求增加了批处理活动、介绍了ＶＰＭＬ的设计思想和基本的原语；详细定义了批处理活动，最后描述了ＶＰＭＬ语言和批...
关键词：过程建模语言 过程模型 批处理活动 软件开发 执行语言 
一个支持软件并行工程的过程建模语言被引量：6
《计算机应用与软件》2000年第4期26-33,共8页李彤 王黎霞 
云南省自然科学基金(编号:98F023M);云南省中青年学术和技术带头人培养经费(编号:1998-37)联合资助
实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。文中讨论了软件并行工程对过程建模语言的要求,给出了一个支持软件并行工程的形式化过程建模语言SDDML和基于SDDML的过程建模方法。SDDML基于Petri网,具有面向对象的...
关键词：软件并行工程 过程建模语言 PETRI网 SDDML语言 
可视化过程建模语言VPML被引量：42
《软件学报》1997年第A00期535-545,共11页周伯生 张社英 
可视化过程建模语言用图形直观地定义过程模型的结构，用正文具体定义过程模型中对象原语，连接和连接符原语的属性。用ＶＰＭＬ建立的过程模型可以模拟执行，也可实际运作。本文详细介绍了ＶＰＭＬ的设计思想、对象原语和规则，最后给...
关键词：过程建模语言 可视化 VPML语言 软件工程 
软件过程建模语言研究被引量：19
《软件学报》1996年第8期449-457,共9页柳军飞 唐稚松 
本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角...
关键词：软件过程 建模 过程建模语言 程序语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部