| soundness verification and analysis of interorganizational logical workflow nets | |
| Liu Wei; Du YuYue; Sun HaiChun; Yan Chun | |
| 2010 | |
| 会议名称 | 2nd International Workshop on Education Technology and Computer Science, ETCS 2010 |
| 会议录名称 | 2nd International Workshop on Education Technology and Computer Science, ETCS 2010 |
| 页码 | 354-357 |
| 会议日期 | 37321 |
| 会议地点 | Wuhan, Hubei, China |
| 收录类别 | ei |
| 出版地 | United States |
| ISBN | 9780770000000 |
| 部门归属 | (1) College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao, China; (2) State Key Laboratory of Computer Science, Chinese Academy of Sciences, Institute of Software, Beijing, China |
| 摘要 | Soundness is a vital property of Interorganizational Logical Workflow Nets (ILWN) which can efficiently model cooperative systems. But even though each logical workflow net(LWN) is sound, soundness of arbitrary ILWN is hard to decide. This study analyzes the causes of leading to deadlocks of interface transitions and unboundedness of interface data places: the incorrect order of transitions related to interface data places, conditional routing construct and accumulation of tokens in interface data places. Based on the analysis,this paper defines the concept of T-fair LWNs and proposes an important subclass of ILWNs: T-fair ILWNs. For T-fair ILWNs, this study presents the inheritable conditions of soundness and gives a rigorous analysis approach according to their static net structures only. And then an approach of verifying the soundness of ILWNs composed of n T-fair LWNs is proposed. The concepts and techniques proposed in this study are illustrated with a useful example: an online bookstore and customer system. In addition, This paper discusses some cases which have fewer requirements for interface data. Based on that, a rather simple criteria condition is provided for T-fair ILWNs which are marked by restricted logical expressions. © 2010 IEEE. |
| 关键词 | Computer Science Education Computing Engineering Education |
| 主办者 | Huazhong Normal University; Huazhong University of Science and Technology; Research Association of Modern Education and Computer Science; Columbia University; Wuhan University |
| 语种 | 英语 |
| 内容类型 | 会议论文 |
| URI标识 | http://ir.iscas.ac.cn/handle/311060/8912 |
| 专题 | 2010软件所会议论文 |
| 推荐引用方式 GB/T 7714 | Liu Wei,Du YuYue,Sun HaiChun,et al. soundness verification and analysis of interorganizational logical workflow nets[C]. United States,2010:354-357. |
| 条目包含的文件 | ||||||
| 文件名称/大小 | 文献类型 | 版本类型 | 开放类型 | 使用许可 | ||
| soundness verificati（318KB） | 限制开放 | -- | 请求全文 | |||
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论