Institutional Repository
| soundness verification and analysis of interorganizational logical workflow nets | |
| Liu Wei; Du YuYue; Sun HaiChun; Yan Chun | |
| 2010 | |
| Conference Name | 2nd International Workshop on Education Technology and Computer Science, ETCS 2010 |
| Source | 2nd International Workshop on Education Technology and Computer Science, ETCS 2010 |
| Pages | 354-357 |
| Conference Date | 37321 |
| Conference Place | Wuhan, Hubei, China |
| Indexed Type | ei |
| Publish Place | United States |
| ISBN | 9780770000000 |
| Department | (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 |
| English Abstract | 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. |
| Keyword | Computer Science Education Computing Engineering Education |
| Sponsorship | Huazhong Normal University; Huazhong University of Science and Technology; Research Association of Modern Education and Computer Science; Columbia University; Wuhan University |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/8912 |
| Collection | 2010软件所会议论文 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| soundness verificati（318KB） | 限制开放 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment