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 |
| 会议日期 | 37321 |
| 会议地点 | Wuhan, Hubei, China |
| 关键词 | Computer science Education computing Engineering education |
| 页码 | 354-357 |
| 英文摘要 | 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. |
| 收录类别 | EI |
| 会议主办者 | Huazhong Normal University; Huazhong University of Science and Technology; Research Association of Modern Education and Computer Science; Columbia University; Wuhan University |
| 会议录 | 2nd International Workshop on Education Technology and Computer Science, ETCS 2010
 |
| 会议录出版地 | United States |
| 语种 | 英语 |
| ISBN号 | 9780770000000 |
| 源URL | [http://124.16.136.157/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]. 见:2nd International Workshop on Education Technology and Computer Science, ETCS 2010. Wuhan, Hubei, China. 37321. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。