| 结合Petri网与进程代数的业务过程协同模型研究 | |
| 笪建1,2; 程耀坤1; 莫启3; 孙华1; 吕永华1 | |
| 2017-12-15 | |
| 发表期刊 | 软件导刊
 |
| ISSN | 1672-7800 |
| 卷号 | 16期号:12页码:49-52 |
| 摘要 | 业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS(Process Labeled Transition System),对单个参与组织的模型视图和通信行为视图序列进行集成,进而使整个跨组织业务过程协同可以通过各个参与组织的PLTS并行组合而成。该建模方法充分结合了Petri网与CCS各自的优势,避免了单一运用Petri网与进程代数建模业务过程时面临的问题,有效支持了业务过程协同的形式验证。同时为了避免模型状态空间过大而无法进行有效验证的问题,提出了6条约简规则,并证明了这些规则是满足协同正确性的充分条件,从而使行为验证方式由模型推导变为代数推导。 |
| 关键词 | Petri网 进程代数 跨组织业务过程 进程标号迁移系统 约简 |
| URL | 查看原文 |
| 语种 | 中文 |
| 原始文献类型 | 学术期刊 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://ir.library.ouchn.edu.cn/handle/39V7QQFX/138345 |
| 专题 | 国家开放大学江苏分部 |
| 作者单位 | 1.江苏联合职业技术学院淮安分院信息工程系; 2.淮安开放大学信息工程系; 3.云南大学软件学院 |
| 第一作者单位 | 国家开放大学江苏分部 |
| 推荐引用方式 GB/T 7714 | 笪建,程耀坤,莫启,等. 结合Petri网与进程代数的业务过程协同模型研究[J]. 软件导刊,2017,16(12):49-52. |
| APA | 笪建,程耀坤,莫启,孙华,&吕永华.(2017).结合Petri网与进程代数的业务过程协同模型研究.软件导刊,16(12),49-52. |
| MLA | 笪建,et al."结合Petri网与进程代数的业务过程协同模型研究".软件导刊 16.12(2017):49-52. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 查看访问统计 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [笪建]的文章 |
| [程耀坤]的文章 |
| [莫启]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [笪建]的文章 |
| [程耀坤]的文章 |
| [莫启]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [笪建]的文章 |
| [程耀坤]的文章 |
| [莫启]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
| 相关推荐 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论