TY - GEN
T1 - A unifying approach to validating specification-oriented XML constraints
AU - Zhao, Yongxin
AU - Wang, Zheng
AU - Xiao, Hao
AU - Ping, Jing
AU - Pu, Geguang
AU - He, Jifeng
AU - Zhu, Huibiao
PY - 2011
Y1 - 2011
N2 - In this paper, we present a unifying approach to specifying and verifying specification-oriented XML constraints. The formal tree model and the XML constraint logic are developed to describe the XML documents and constraints respectively. The XML constraint logic, as an extension of the first order logic, is constructed and interpreted in the framework of our formal tree model, where the node domain and value domain for XML are separated rigorously. Furthermore, an effective algorithm is given to establish the satisfaction of the logic formulas with respect to the corresponding tree model. We implement a tool and the experiments are carried out for the standard XMLbased specifications from industry, such as WS-BPEL, WS-CDL, and WSDL. The experimental results show that our approach is effective in practice.
AB - In this paper, we present a unifying approach to specifying and verifying specification-oriented XML constraints. The formal tree model and the XML constraint logic are developed to describe the XML documents and constraints respectively. The XML constraint logic, as an extension of the first order logic, is constructed and interpreted in the framework of our formal tree model, where the node domain and value domain for XML are separated rigorously. Furthermore, an effective algorithm is given to establish the satisfaction of the logic formulas with respect to the corresponding tree model. We implement a tool and the experiments are carried out for the standard XMLbased specifications from industry, such as WS-BPEL, WS-CDL, and WSDL. The experimental results show that our approach is effective in practice.
UR - https://www.scopus.com/pages/publications/84863029802
U2 - 10.1109/HASE.2011.28
DO - 10.1109/HASE.2011.28
M3 - 会议稿件
AN - SCOPUS:84863029802
SN - 9780769546155
T3 - Proceedings of IEEE International Symposium on High Assurance Systems Engineering
SP - 33
EP - 40
BT - Proceedings - 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, HASE 2011
T2 - 13th IEEE International Symposium on High Assurance Systems Engineering, HASE 2011
Y2 - 10 November 2011 through 12 November 2011
ER -