首页> 中文期刊>吉林大学学报（信息科学版） >工作流机的操作语义

工作流机的操作语义

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对还没有工作流模型的执行过程的形式化描述的问题,给出工作流机处理步骤的操作语义描述.由于对过程实例和活动实例进行形式化描述,使得工作流机具有清晰的结构,易于不同的工作流机之间的协同工作,并且对工作流机的程序实现具有指导意义.

著录项

来源
《吉林大学学报（信息科学版）》|2005年第3期|311-315|共5页
作者
付燕宁; 刘磊; 李波;
展开▼
作者单位

吉林大学,计算机科学与技术学院,长春,130012;

吉林大学,计算机科学与技术学院,长春,130012;

吉林大学,计算机科学与技术学院,长春,130012;

展开▼
原文格式 PDF
正文语种 chi
中图分类形式语言理论;
关键词
工作流元模型; 工作流机; 工作流模型; 过程实例; 活动实例;

相似文献

中文文献
外文文献
专利

1. 门诊药房用自动发药机发药的工作流程、优缺点及对其工作流程进行品管圈管理的方法 [J] . 鞠婧婧 ,刘平羽 ,蔡振宇 . 当代医药论丛 . 2019,第003期
2. 索尼壮大入门级高清系统摄像机阵营新系统摄像机可支持演播室工作流程、会议、庆典和现场应用的4K和HDR格式节目制作 [J] . . 广播与电视技术 . 2017,第011期
3. 基于有限状态机原理的工作流组件实现方法 [J] . 童霏 ,薛飞 . 自动化应用 . 2021,第001期
4. MPLAB云工具生态系统为PIC和AVR单片机提供平台无关的开发工作流程 [J] . . 单片机与嵌入式系统应用 . 2021,第8期
5. 满足工作流执行时限的可抢占虚拟机实例配置和调度方法研究 [J] . 廖建锦 ,孙庆骁 ,杨海龙 . 计算机工程与科学 . 2020,第011期
6. 一种面向服务Petri网模型及其结构化操作语义 [C] . Guo Feng ,郭峰 ,Wei Guang . 2012年第三届中国计算机学会服务计算学术会议 . 2012
7. 基于操作语义的弱内存模型描述及程序逻辑研究 [A] . 张扬 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号