从过程描述语言到Z语言 被引量：8

1

作者 何炎祥 宋强 黄谦 《小型微型计算机系统》 CSCD 北大核心 2002年第9期1110-1113,共4页

Z语言是一种得到广泛应用的形式化规格语言 .Z语言可以方便地描述系统操作的数据转换 ,却很难描述系统操作间的时序关系 .而过程描述语言可以方便地描述时序关系 .本文利用时序状态转换系统作为中介 ,提出一种把过程描述语言的项转换成 ... Z语言是一种得到广泛应用的形式化规格语言 .Z语言可以方便地描述系统操作的数据转换 ,却很难描述系统操作间的时序关系 .而过程描述语言可以方便地描述时序关系 .本文利用时序状态转换系统作为中介 ,提出一种把过程描述语言的项转换成 Z规格的机械算法 .利用这一算法 ,Z语言也能方便地描述时序关系 . 展开更多

关键词 过程描述语言 Z语言 时序状态转换系统 “软件工程”语言

在线阅读 下载PDF 职称材料

基于事件序列的作战过程描述方法 被引量：2

2

作者 袁志民 余滨 +1 位作者 段采宇 蔡山 《火力与指挥控制》 CSCD 北大核心 2008年第9期33-36,40,共5页

基于事件序列的描述方法是作战过程描述的一条重要途径。首先,采用形式化方法分析事件序列的基本概念,在此基础上给出了事件序列清晰直观的图元化表示。然后,研究提出了基于事件序列的作战过程描述方法的基本思想——形式化和图元化相... 基于事件序列的描述方法是作战过程描述的一条重要途径。首先,采用形式化方法分析事件序列的基本概念,在此基础上给出了事件序列清晰直观的图元化表示。然后,研究提出了基于事件序列的作战过程描述方法的基本思想——形式化和图元化相结合描述作战过程,并给出了具体操作步骤。最后,假想一个简单案例,采用提出的方法对其作战过程进行了描述,示例说明了所提出方法的有效性。 展开更多

关键词 事件序列 形式化方法 图元化表示 作战过程描述

在线阅读 下载PDF 职称材料

基于PSL与XML的软件过程描述模型SPRM的设计和实现

3

作者 曾一 肖敏 +2 位作者 王海波 张元平 袁纲 《计算机工程与科学》 CSCD 2007年第7期134-137,共4页

本文在研究CMM的基础上提出了一种利用过程规范语言PSL对软件过程进行建模的思想,设计并给出了一个软件过程描述模型SPRM。该模型遵循CMM3级对软件过程定义的要求,采用XML Schema作为其统一描述语言,保证了软件过程的统一性和可扩展性,... 本文在研究CMM的基础上提出了一种利用过程规范语言PSL对软件过程进行建模的思想,设计并给出了一个软件过程描述模型SPRM。该模型遵循CMM3级对软件过程定义的要求,采用XML Schema作为其统一描述语言,保证了软件过程的统一性和可扩展性,有利于实现软件过程的互操作与过程资源的共享,为实现统一的软件过程管理打下了基础。最后,本文利用SPRM模型实现了一个过程实例——简单评审过程,说明了如何利用SPRM定义企业的不同软件过程。 展开更多

关键词 过程改进 CMM 过程规范语言 XML 软件过程描述模型

在线阅读 下载PDF 职称材料

基于XML的MEMS设计过程描述语言

4

作者 闫向彤 江平宇 《计算机工程》 CAS CSCD 北大核心 2007年第10期46-48,共3页

在分析和细化MEMS多种器件设计流程的基础上,建立了通用的MEMS Top-Down设计过程模型。参考工作流过程定义语言XPDL,并对其进行了扩展和修改,充分考虑微机械系统设计过程的特点,提出了一种基于XML的MEMS设计过程描述语言(MDPDL),介绍了... 在分析和细化MEMS多种器件设计流程的基础上,建立了通用的MEMS Top-Down设计过程模型。参考工作流过程定义语言XPDL,并对其进行了扩展和修改,充分考虑微机械系统设计过程的特点,提出了一种基于XML的MEMS设计过程描述语言(MDPDL),介绍了其设计和实现的基本思想,用实例验证了该语言的有效性。 展开更多

关键词 MEMS 设计过程 XML MEMS设计过程描述语言

在线阅读 下载PDF 职称材料

浅析软件过程模型描述语言的特点及其研究方向 被引量：6

5

作者 杨萍 徐良贤 《计算机应用研究》 CSCD 2000年第3期55-58,共4页

主要介绍了软件过程领域的一些基本概念、特征和研究方向，总结了在构造软件过程描述语言时所应考虑的一些基本问题和达到的目标；简要分析了软件过程模型描述的特点和应用前景。

关键词 软件过程 过程描述语言 过程模型 软件工程

在线阅读 下载PDF 职称材料

一个面向工作流的过程建模平台的实现 被引量：2

6

作者 林彤 李红臣 张载鸿 《计算机工程》 CAS CSCD 北大核心 2003年第1期191-193,共3页

在工作流系统中，对业务过程的抽象需要过程描述语言和过程建模工具的支持。介绍了一种过程描述语言的基本结构，基于这种描述语言的过程建模平台的系统设计、应用实例以及发展方向。

关键词 工作流 过程建模平台 工作流管理系统 过程描述语言

在线阅读 下载PDF 职称材料

基于客户需求的业务过程设计技术

7

作者 唐任仲 张建娜 汤洪涛 《中国机械工程》 EI CAS CSCD 北大核心 2003年第14期1236-1239,共4页

针对业务过程设计的业务过程分析、业务过程描述和业务过程优化 3个步骤 ,建立了基于客户需求的业务过程设计理论体系 ,提出了结合企业实际的基于客户需求的业务过程分析方法、集静态描述和动态分析于一体的流水线业务过程可视化描述方... 针对业务过程设计的业务过程分析、业务过程描述和业务过程优化 3个步骤 ,建立了基于客户需求的业务过程设计理论体系 ,提出了结合企业实际的基于客户需求的业务过程分析方法、集静态描述和动态分析于一体的流水线业务过程可视化描述方法 ,以及基于企业初始资源的不同配置 ,实现以时间、成本为优化目标的业务过程优化方法。 展开更多

关键词 业务过程分析 业务过程描述 业务过程优化 流水线方法

在线阅读 下载PDF 职称材料

一种新的B2B电子商务过程建模方法

8

作者 李锡祚 韩桂英 《计算机工程与设计》 CSCD 2004年第8期1341-1343,共3页

针对当前B2B电子商务标准和跨组织的工作流过程建模语言存在的过程描述能力比较差的问题,提出了一种新的B2B电子商务过程建模方法。该方法基于ebXML的业务过程规范模型(BPSS)并将它扩充和一般化,从而有效地实现了B2B电子商务过程模型的... 针对当前B2B电子商务标准和跨组织的工作流过程建模语言存在的过程描述能力比较差的问题,提出了一种新的B2B电子商务过程建模方法。该方法基于ebXML的业务过程规范模型(BPSS)并将它扩充和一般化,从而有效地实现了B2B电子商务过程模型的建立。 展开更多

关键词 B2B电子商务 过程建模 过程描述 业务过程 规范 问题 过程模型 工作流 XML 扩充

在线阅读 下载PDF 职称材料

装甲车车载电台虚拟维修过程的建模技术

9

作者 何彬 冯瑀 杨新旺 《四川兵工学报》 CAS 2012年第4期66-68,共3页

分析了电台维修的过程建模需求,提出了一种用于维修过程建模的扩展Petri网技术———维修过程描述网技术。介绍了该技术在电台维修建模上的基本应用方式。对一个实际的电台模件故障建立了维修过程描述网模型,以此对该建模技术进行了验证。

关键词 虚拟维修 过程建模 维修过程描述网

在线阅读 下载PDF 职称材料

一种描述用户操作的语言UWMDL

10

作者 安清波 《计算机工程与应用》 CSCD 北大核心 2005年第7期97-100,共4页

论文提出了一种描述计算机应用实现过程的语言—UWMDL(User Windows Manipulation Descriptive Language)语言。UWMDL描述的是实现应用时用户的动作序列,而不是表达计算机动作的指令或语句序列。UWMDL语言可以广泛应用于计算机教学、培... 论文提出了一种描述计算机应用实现过程的语言—UWMDL(User Windows Manipulation Descriptive Language)语言。UWMDL描述的是实现应用时用户的动作序列,而不是表达计算机动作的指令或语句序列。UWMDL语言可以广泛应用于计算机教学、培训以及用户之间的交流。 展开更多

关键词 计算机语言 Windows操作描述 应用过程描述 UWMDL

在线阅读 下载PDF 职称材料

基于XPDL的过程模式研究 被引量：2

11

作者 王庆国 步丰林 《计算机工程》 CAS CSCD 北大核心 2004年第15期80-82,共3页

通过扩充XPDL语言的语义,建立了一种过程模式的描述技术。对XPDL语义的扩充包括定义产品和资源、定义过程模式、实现描述过程模式的模板、实现描述活动的模板和定义实体的图形化语义等工作。文章对这几个方面的内容进行了描述。

关键词 过程模式 过程建模 过程描述技术

在线阅读 下载PDF 职称材料

基于装置级优化控制与厂级调度优化集成的过程模型方法 被引量：5

12

作者 高小永 江永亨 黄德先 《化工学报》 EI CAS CSCD 北大核心 2016年第12期5105-5111,共7页

随着全球化市场竞争日趋激烈,炼油生产过程的系统工程方法引起学术界和工业界的普遍关注。由于炼油生产过程的复杂性,现有方法远未有效解决过程模型准确描述问题,直接导致系统工程应用效果欠佳;过程模型的准确描述成为阻碍过程系统工程... 随着全球化市场竞争日趋激烈,炼油生产过程的系统工程方法引起学术界和工业界的普遍关注。由于炼油生产过程的复杂性,现有方法远未有效解决过程模型准确描述问题,直接导致系统工程应用效果欠佳;过程模型的准确描述成为阻碍过程系统工程成功应用的关键。从困扰过程模型准确描述的症结出发,提出了一种基于装置级优化控制与厂级调度优化集成策略的模型描述方法,意在打破当前装置级底层控制系统和上层过程系统工程应用相互孤立情况下带来的系统间互为排斥、相互抑制的困局。在炼油生产过程装置分类的基础上,基于装置级优化控制的操作运行大数据所蕴含的多个最优操作模态信息,提出分装置类别和分操作模式的多模型描述方法,解决变化原料及操作工况的影响;基于该模型描述机制,将能够为智能炼油提供基础。 展开更多

关键词 集成 系统工程 过程控制 大数据 炼油生产过程 过程模型描述

在线阅读 下载PDF 职称材料

知识组织技术与方法的研究及其应用 被引量：5

13

作者 赵呈领 杜静 +1 位作者 万力勇 陈慧 《中国电化教育》 CSSCI 北大核心 2014年第4期77-86,共10页

知识组织为教育领域带来了新的研究视角,知识组织技术和方法能够为资源的组织方式和存储形式给予新的启示。但就目前而言国内将知识组织技术应用在教育领域并不是很多,知识组织方法也只是给出了大致分类并未进行具体的过程描述。该文描... 知识组织为教育领域带来了新的研究视角,知识组织技术和方法能够为资源的组织方式和存储形式给予新的启示。但就目前而言国内将知识组织技术应用在教育领域并不是很多,知识组织方法也只是给出了大致分类并未进行具体的过程描述。该文描述了六种知识组织方法的过程,同时列举出知识组织技术在教育领域的三个应用:知识可视化、学习元、教育资源数字版权保护,给出了知识组织技术在教育领域应用的优点,以期为该领域的研究提供有价值的参考和借鉴。 展开更多

关键词 知识组织 知识组织方法 过程描述 教育应用

在线阅读 下载PDF 职称材料

设计系统的基因表达及应用研究 被引量：6

14

作者 张志伟 叶庆泰 《机械科学与技术》 CSCD 北大核心 2000年第1期47-49,共3页

在以系统、思维、进化观点分析设计思维过程的基础上 ,提出了一种适应于设计思维特征的规范性描述——设计知识基因系统 ,以求对设计本质有更深的认识 。

关键词 设计思维 设计知识 基因系统 设计过程描述

在线阅读 下载PDF 职称材料

基于PETRI网的政府办公系统工作流建模研究 被引量：1

15

作者 任大伟 张逸格 +1 位作者 王艳亮 刘永山 《燕山大学学报》 CAS 2003年第4期362-363,366,共3页

提出了一种基于PETRI网的政府办公系统工作流建模研究方法。讨论了该工作流程的控制关系及约束条件等。用一个实例对所提出的建模方法进行了说明。实际表明该建模方法简单、可行,并能保证工作流模型的有效性。

关键词 工作流管理系统 工作流建模 PETRI网 政府办公系统 过程描述

在线阅读 下载PDF 职称材料

基于核密度估计的三维非等距模型簇的对应关系计算方法 被引量：1

16

作者 雷鸣 马荣 +1 位作者 赵丽 赵晓寒 《计算机应用》 CSCD 北大核心 2021年第S02期234-240,共7页

针对三维非等距模型簇的一致对应关系计算问题,提出了一种基于核密度估计的三维非等距模型簇对应关系计算方法。首先引入离散时间演化过程描述符(DEP)提取三维模型表面的特征描述符,得到不同区域的不同分布特征;其次通过核密度估计建立... 针对三维非等距模型簇的一致对应关系计算问题,提出了一种基于核密度估计的三维非等距模型簇对应关系计算方法。首先引入离散时间演化过程描述符(DEP)提取三维模型表面的特征描述符,得到不同区域的不同分布特征;其次通过核密度估计建立非等距模型间的映射关系;最后利用弹性网罚函数对非等距模型簇映射关系进行凸优化,从而得到更准确的三维非等距模型簇点到点对应关系。实验结果表明,利用时变描述符与核密度估计相结合的方法计算非等距模型簇的对应关系,在一定程度上减小了模型簇一致对应的测地错误,与Aubry的算法比较,测地错误平均下降至0.054。该基于核密度估计的匹配算法与使用函数映射或随机森林函数的方法相比,能构建出更为准确的非等距模型簇一致对应关系。 展开更多

关键词 非等距模型 离散时间演化过程描述符 模型蔟 核密度估计 弹性网罚函数

在线阅读 下载PDF 职称材料

Intranet环境下基于操作流的系统分析

17

作者 马军 杨青 +1 位作者 宋玲 连莉 《海军工程大学学报》 CAS 2004年第5期1-4,共4页

提出了Intranet环境下基于操作流的系统分析法,并讨论它的两类应用.一是对计算机应用系统的整体设计分析,目标是把信息采集、处理和统计等由过去基于人工管理(处理)模式的处理转换为计算机网络下的管理(处理)模式;二是对数据项的存储结... 提出了Intranet环境下基于操作流的系统分析法,并讨论它的两类应用.一是对计算机应用系统的整体设计分析,目标是把信息采集、处理和统计等由过去基于人工管理(处理)模式的处理转换为计算机网络下的管理(处理)模式;二是对数据项的存储结构和建立在该结构上的算法进行可视化描述. 展开更多

关键词 系统分析 过程描述元语言 信息管理系统

在线阅读 下载PDF 职称材料

装备保障建模与仿真中的VV&A

18

作者 张祥林 柏彦奇 李胜宏 《兵工自动化》 2007年第7期I0003-I0004,共2页

HLA仿真系统的校核、验证与确认(VV&A)过程依赖于HLA的FEDEP过程描述,并围绕FEDEP过程展开。其步骤分为:定义联邦目标,进行慨念型分析,设计联邦,开发联邦,计划、集成并测试联邦,运行联邦准备输出,分析数据、评估结果。过程包括:目... HLA仿真系统的校核、验证与确认(VV&A)过程依赖于HLA的FEDEP过程描述,并围绕FEDEP过程展开。其步骤分为:定义联邦目标,进行慨念型分析,设计联邦,开发联邦,计划、集成并测试联邦,运行联邦准备输出,分析数据、评估结果。过程包括:目标校核、一致性校核、概念模型验证、设计校核、联邦验证、确认决策、事后执行并归档。 展开更多

关键词 仿真系统 VV&A 装备保障 设计校核 FEDEP 建模 模型验证 过程描述

在线阅读 下载PDF 职称材料

羊乳腺摘除术

19

作者 孙朋 李华坤 +1 位作者 王培永 杜文书 《畜牧兽医科技信息》 2005年第11期95-96,共2页

关键词 乳腺炎 摘除术 化脓性炎症 羊 过程描述 手术 乳房

在线阅读 下载PDF 职称材料

基于非结构化P2P的工作流管理系统

20

作者 刘康 陈前斌 《计算机工程与设计》 CSCD 北大核心 2008年第8期1980-1982,1986,共4页

由于突出的灵活性,对流程复杂度较小,节点分散的业务流程的快速适应能力等,建立P2P的工作流引擎成为工作流研发的一个热点方向。P2P环境下构建工作流系统必须解决好节点和工作流参与者的关系等一系列关键问题。给出一套完整的P2P工作流... 由于突出的灵活性,对流程复杂度较小,节点分散的业务流程的快速适应能力等,建立P2P的工作流引擎成为工作流研发的一个热点方向。P2P环境下构建工作流系统必须解决好节点和工作流参与者的关系等一系列关键问题。给出一套完整的P2P工作流管理系统实现方案,在结合实际工程经验的基础上,分析了每个节点的行为特性,同时根据几种不同的流程运转方式提出了两处XPDL的扩展和3种不同的流程执行的算法,以使XPDL满足P2P环境的要求,并加快流程运转的速度。 展开更多

关键词 对等网 工作流引擎 分布式非结构化 过程描述语言 工作流管理系统

在线阅读 下载PDF 职称材料