Institutional Repository
| timed modeling and verification of bpel processes using time petri nets | |
| Song Wei; Ma Xiaoxing; Ye Chunyang; Dou Wanchun; L&#; Jian | |
| 2009 | |
| Conference Name | 9th International Conference on Quality Software, QSIC 2009 |
| Source | Proceedings - International Conference on Quality Software |
| Pages | 92-97 |
| Conference Date | August 24, |
| Conference Place | Jeju, Korea, Republic of |
| Indexed Type | ei |
| Publish Place | United States |
| ISSN | 15506002 |
| ISBN | 9780769538280 |
| Department | (1) State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China; (2) Institute of Software, Chinese Academy of Sciences, Beijing, China |
| English Abstract | The execution time, an important criterion to measure the quality of a BPEL process, can be influenced by some slow external partner services (i.e., some long-running services). Therefore, it is desirable to specify response time of services into the SLAs (service level agreements). In this way, service consumers could verify whether the candidate services satisfy the expected time requirements before they are invoked. However, existing solutions are time-consuming especially when the BPEL process is quite complex (e.g., involving parallel structures and loops) and the number of candidate services is huge. To address this problem, in this paper, we propose a time Petri nets-based verification approach that efficiently verifies time requirements for a BPEL process. This allows service consumers to quickly identify suitable partner services that satisfy the time requirements at service looking up stage. © 2009 IEEE. |
| Keyword | Graph Theory Petri Nets |
| Sponsorship | Software Engineering Society of Korean; Institute for Information Scientists and Engineers; IEEE Reliability Society; KAIST (Korea Advanced Institute of Science and Technology); Korea Information Promotion Agency; Samsung SDS |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/8540 |
| Collection | 2009年期刊/会议论文 |
| Recommended Citation GB/T 7714 | Song Wei,Ma Xiaoxing,Ye Chunyang,et al. timed modeling and verification of bpel processes using time petri nets[C]. United States,2009:92-97. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment