TY - GEN
T1 - Towards model-based verification of BPEL with model checking
AU - Honghua, Cao
AU - Shi, Ying
AU - Dehui, Du
PY - 2006
Y1 - 2006
N2 - BPEL is widely used to specify Web service composition and it's correctness is very important in B2B and B2C domains. However, the correctness of BPEL can only be verified at runtime. This paper presents a model-based verification framework, which can verify BPEL modeled by UML activity diagram with software model checking technology in the design phase. This approach can reduce the cost of systems development and improve the reliability of system models. A metamodel-based transformation framework is proposed to implement the mapping from UML activity diagram to PROMELA-the input language of model checker SPIN to verify BPEL models. To ensure that the transformation is correct and complete, we construct the homomorphic mappings between metamodel elements of activity diagram and PROMELA. The ticket order example illustrates the approach is reasonable and feasible.
AB - BPEL is widely used to specify Web service composition and it's correctness is very important in B2B and B2C domains. However, the correctness of BPEL can only be verified at runtime. This paper presents a model-based verification framework, which can verify BPEL modeled by UML activity diagram with software model checking technology in the design phase. This approach can reduce the cost of systems development and improve the reliability of system models. A metamodel-based transformation framework is proposed to implement the mapping from UML activity diagram to PROMELA-the input language of model checker SPIN to verify BPEL models. To ensure that the transformation is correct and complete, we construct the homomorphic mappings between metamodel elements of activity diagram and PROMELA. The ticket order example illustrates the approach is reasonable and feasible.
UR - https://www.scopus.com/pages/publications/34547281022
U2 - 10.1109/CIT.2006.185
DO - 10.1109/CIT.2006.185
M3 - 会议稿件
AN - SCOPUS:34547281022
SN - 076952687X
SN - 9780769526874
T3 - Proceedings - Sixth IEEE International Conference on Computer and Information Technology, CIT 2006
BT - Proceedings - Sixth IEEE International Conference on Computer and Information Technology, CIT 2006
T2 - 6th IEEE International Conference on Computer and Information Technology, CIT 2006
Y2 - 20 September 2006 through 22 September 2006
ER -