计算机科学 ›› 2010, Vol. 37 ›› Issue (2): 139-140.

• 软件工程与数据库技术 • 上一篇    下一篇

复杂分支和同步模式的Pi演算描述

郭小群,郝克刚,侯红,丁剑洁   

  1. (西北大学信息科学与技术学院 西安710069)
  • 出版日期:2018-12-01 发布日期:2018-12-01
  • 基金资助:
    本文受国家高可信研究开发计划(2007AA010305)资助。

Formalizing Advanced Branching and Synchronization Patterns Using Pi Calculus

GUO Xiao-qun,HAO Ke-gang,HOU Hong,DING Jian-jie   

  • Online:2018-12-01 Published:2018-12-01

摘要: Pi演算是一种描述和分析动态并发系统的计算模型。对Pi演算进行研究后,提出了以Pi演算作为工作流形式化的基础,并利用Pi演算对复杂分支和同步工作流模式进行了详细的描述。

关键词: Pi演算,工作流模式,形式化方法

Abstract: Pi calculus is a computer model which can be used to model concurrent and dynamic systems.The Pi calculus was proposed as a formal foundation for workflow after researching Pi calculus, further more advanced branching and synchronization patterns workflow patterns were described by using the Pi calculus in detail.

Key words: Pi calculus,Workflow patterns,Formal method

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!