The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Verification of Service-Based Declarative Business Processes: A Satisfiability Solving-Based Formal Approach
|
|
Author(s): Ehtesham Zahoor (National University of Computer and Emerging Sciences, Pakistan), Kashif Munir (National University of Computer and Emerging Sciences, Pakistan), Olivier Perrin (University of Lorraine, France)and Claude Godart (University of Lorraine, France)
Copyright: 2019
Pages: 39
Source title:
Innovative Solutions and Applications of Web Services Technology
Source Author(s)/Editor(s): Liang-Jie Zhang (Kingdee International Software Group Co., Ltd., China)and Yishuang Ning (Tsinghua University, China)
DOI: 10.4018/978-1-5225-7268-8.ch007
Purchase
|
Abstract
Traditional business process specification approaches such as BPMN are procedural, as they require specifying exact and complete process flow. In contrast, a declarative process is specified by a set of constraints that mark the boundary of any solution to the process. In this chapter, the authors propose a bounded model-checking-based approach for the verification of declarative processes using satisfiability solving (SAT). The proposed approach does not require exponential space and is very efficient. It uses the highly expressive event calculus (EC) as the modeling formalism, with a sound and complete EC to SAT encoding process. The verification process can include both the functional and non-functional aspects. The authors have also proposed a filtering criterion to filter the clauses of interest from the large set of unsatisfiable clauses for complex processes. The authors have discussed the implementation details and performance evaluation results to justify the practicality of the proposed approach.
Related Content
|
Mohib Ullah, Arbab Waseem Abbas, Lala Rukh, Kamran Ullah, Muhammad Inam Ul Haq.
© 2023.
25 pages.
|
|
Rafi Ullah Khan, Mohib Ullah, Bushra Shafi, Imran Ihsan.
© 2023.
20 pages.
|
|
Rafi Ullah Khan, Mohib Ullah, Bushra Shafi.
© 2023.
17 pages.
|
|
Shaukat Ali, Shah Khusro, Mumtaz Khan.
© 2023.
34 pages.
|
|
Tayyaba Riaz, Iftikhar Alam.
© 2023.
20 pages.
|
|
Ufuk Uçak, Gurkan Tuna.
© 2023.
22 pages.
|
|
Muhammad Hamad, Altaf Hussain, Majida Khan Tareen.
© 2023.
21 pages.
|
|
|