切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于π演算的多实例工作流模式的建模方法
基于π演算的多实例工作流模式的建模方法
来源 :计算机应用与软件 | 被引量 : 1次 | 上传用户:yhbx
【摘 要】
:
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,利用π演算对多实例工作流模式进行了建模。提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确。
【作 者】
:
梁爱南
李长云
黄贤明
【机 构】
:
湖南工业大学计算机系
【出 处】
:
计算机应用与软件
【发表日期】
:
2008年05期
【关键词】
:
工作流建模
Π演算
ECA规则
多实例工作流模式
Workflow modeling at-calculus ECA rule MUltiple instanc
【基金项目】
:
湖南省自然科学基金(05JJ30122),湖南省教育厅科研项目(052520),湖南省教育厅优秀青年项目(06B023).
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,利用π演算对多实例工作流模式进行了建模。提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确。
其他文献
微波辐射对T细胞作用的研究进展
随着环境中微波辐射源的增加,微波辐射对职业人群和公众的危害日益引起关注。流行病学调查和实验室研究均表明,微波主要通过热效应和非热效应对机体产生危害,涉及到神经系统、免
期刊
微波辐射
细胞作用
机体细胞免疫功能
机体免疫功能
流行病学调查
非热效应
免疫系统
心血管系统
解放军第三0四医院全军创伤修复重点实验室发展历史
解放军第三0四医院全军创伤修复重点实验室原为解放军第三0四医院刨伤外科研究室,成立于1982年,是为当时成立的军医进修学院创伤外科中心所设立的一所专门从事创(烧、战)伤外
期刊
基于GIS的灌区实时数据显示方法
介绍了从灌区控制系统中的现场传感器采集数据,经现场控制单元传送至GIS平台进行实时显示的过程,并说明了MapX进行实时水情数据的显示方法。该方法可以推广到其他控制系统中。
期刊
地理信息系统(GIS)
实时数据
MAPX
GIS Real-time data MapX
基于小波分析和连接信任域的DDoS防范模型
分析了DoS攻击机理,基于网络流量的自相似性提出了一种DDoS防范模型。首先采用小波方法计算流量的Hurst参数,判断是否遭受DoS攻击。当认为受到攻击后,结合连接信任域来进行响应。实验表明,该模型可以检测到强、弱DoS攻击;在受到DDoS攻击后,仍可以在一定程度上为正常用户提供服务。
期刊
Denial—of-service
自相似
小波分析
连接信任域
Denial-of-service Self-similar Wavelet analysis
基于无线网络的Mobitech M2M无线数据通信系统的设计与实现
设计了一个基于公共无线网络的无线数据通信系统。该系统依托公共网络,主要为基于设备的管理网络提供无线接入以及数据通讯支持,从而使中长距离上的无线数据通信得以实现。系统具有高效快捷,应用领域广阔,有一定自主反应能力等特点。
期刊
Mobitech
M2M
GPRS
SMS
无线数据通信
Mobitech M2M
GPRS
SMS
Wireless data communicatio
2010年我国房地产业发展的政策导向和市场走势研究
房地产业是我国国民经济发展的支柱产业,确保房地产业健康稳定发展不仅有助于我国经济抵御由美国次贷危机引发的全球金融危机,而且可以作为预防通胀的重要手段。在我国经济复
期刊
经济复苏
房地产市场
发展前景
机会把握
economic recovery
development prospects
seizing the oppor
把人才称为“桃李”的由来
教师节刚过,同学们在送给老师的祝福中,除了身体健康,一定还有一句“桃李满天下”吧。那么为什么要将学生称为“桃李”呢?在我国春秋时代,魏国有个大臣名叫子质。他得势的时
期刊
身体健康
培养的
春秋时代
桃李
魏文侯
教师节
培养人才
北方
魏国
叫子
调节性树突状细胞在免疫反应中的作用
树突状细胞(dendritic cells,DC)是专职的抗原提呈细胞(APC),起源于骨髓CD34~+造血祖细胞,在各种细胞因子的刺激下分化为前体DC(pDC)、未成熟DC(iDC)和成熟DC(mDC)。DC广泛分
期刊
肠缺血再灌注损伤及防治研究进展
肠缺血再灌注(ischemia reperfusion,IR)损伤是感染、创伤、休克等常见疾病重要的病理生理环节,是临床众多疾病的基础。肠是体内代谢极活跃、具有独特免疫功能的器官,同时又
期刊
试论高校历史课程教学质量的评价方式
历史课程教学质量的提高是一个复杂的系统工程。忽视学科特点以及机械繁琐的评价模式,这是影响高校历史课程教学质量的主要因素,高校历史课程教学质量评价的构建则依赖于形成
期刊
历史教学
终结性评价
形成性评价
history teaching
summative assessment
formative assessment
与本文相关的学术论文