-
题名从过程描述语言到Z语言
被引量：8
- 1
-
-
作者
何炎祥
宋强
黄谦
-
机构
武汉大学计算机学院软件工程国家重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第9期1110-1113,共4页
-
基金
国家教育部重点项目资助
武汉大学自强科技创新基金资助
-
文摘
Z语言是一种得到广泛应用的形式化规格语言 .Z语言可以方便地描述系统操作的数据转换 ,却很难描述系统操作间的时序关系 .而过程描述语言可以方便地描述时序关系 .本文利用时序状态转换系统作为中介 ,提出一种把过程描述语言的项转换成 Z规格的机械算法 .利用这一算法 ,Z语言也能方便地描述时序关系 .
-
关键词
过程描述语言
Z语言
时序状态转换系统
“软件工程”语言
-
Keywords
Z language
process description language
temporal status transition system
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于XML的MEMS设计过程描述语言
- 2
-
-
作者
闫向彤
江平宇
-
机构
西安交通大学机械制造系统工程国家重点实验室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第10期46-48,共3页
-
基金
国家自然科学基金资助项目(50375118
50145006)
教育部科技基金资助重点项目(2001-066)
-
文摘
在分析和细化MEMS多种器件设计流程的基础上,建立了通用的MEMS Top-Down设计过程模型。参考工作流过程定义语言XPDL,并对其进行了扩展和修改,充分考虑微机械系统设计过程的特点,提出了一种基于XML的MEMS设计过程描述语言(MDPDL),介绍了其设计和实现的基本思想,用实例验证了该语言的有效性。
-
关键词
MEMS
设计过程
XML
MEMS设计过程描述语言
-
Keywords
MEMS
Design process
XML
MEMS design process description language （MDPDL）
-
分类号
TP391.72
[自动化与计算机技术—计算机应用技术]
-
-
题名浅析软件过程模型描述语言的特点及其研究方向
被引量：6
- 3
-
-
作者
杨萍
徐良贤
-
机构
上海交通大学计算机系
-
出处
《计算机应用研究》
CSCD
2000年第3期55-58,共4页
-
基金
国家自然科学基金
陕西省自然科学基金
-
文摘
主要介绍了软件过程领域的一些基本概念、特征和研究方向，总结了在构造软件过程描述语言时所应考虑的一些基本问题和达到的目标；简要分析了软件过程模型描述的特点和应用前景。
-
关键词
软件过程
过程描述语言
过程模型
软件工程
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名一个面向工作流的过程建模平台的实现
被引量：2
- 4
-
-
作者
林彤
李红臣
张载鸿
-
机构
北京工业大学计算机学院
清华大学计算机科学与技术系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2003年第1期191-193,共3页
-
基金
国家自然科学基金项目(60073011)
京市高技术实验室科研项目(50号)
-
文摘
在工作流系统中，对业务过程的抽象需要过程描述语言和过程建模工具的支持。介绍了一种过程描述语言的基本结构，基于这种描述语言的过程建模平台的系统设计、应用实例以及发展方向。
-
关键词
工作流
过程建模平台
工作流管理系统
过程描述语言
-
Keywords
CSCW；Workflow；Workflow management system；Process modeling；Process description language
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于非结构化P2P的工作流管理系统
- 5
-
-
作者
刘康
陈前斌
-
机构
重庆邮电大学通信与信息工程学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2008年第8期1980-1982,1986,共4页
-
基金
重庆市教委科学计划基金项目(KJ060508)
-
文摘
由于突出的灵活性,对流程复杂度较小,节点分散的业务流程的快速适应能力等,建立P2P的工作流引擎成为工作流研发的一个热点方向。P2P环境下构建工作流系统必须解决好节点和工作流参与者的关系等一系列关键问题。给出一套完整的P2P工作流管理系统实现方案,在结合实际工程经验的基础上,分析了每个节点的行为特性,同时根据几种不同的流程运转方式提出了两处XPDL的扩展和3种不同的流程执行的算法,以使XPDL满足P2P环境的要求,并加快流程运转的速度。
-
关键词
对等网
工作流引擎
分布式非结构化
过程描述语言
工作流管理系统
-
Keywords
peer-to-peer networks
workflow engine
distributed unstructured
XPDL
workflow management system
-
分类号
TP399
[自动化与计算机技术—计算机应用技术]
-
