A unifying approach to validating specification-oriented XML constraints

Yongxin Zhao; Zheng Wang; Hao Xiao; Jing Ping; Geguang Pu; Jifeng He; Huibiao Zhu

doi:10.1109/HASE.2011.28

A unifying approach to validating specification-oriented XML constraints

Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu

Software Engineering Institute

East China Normal University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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.

Original language	English
Title of host publication	Proceedings - 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, HASE 2011
Pages	33-40
Number of pages	8
DOIs	https://doi.org/10.1109/HASE.2011.28
State	Published - 2011
Event	13th IEEE International Symposium on High Assurance Systems Engineering, HASE 2011 - Boca Raton, FL, United States Duration: 10 Nov 2011 → 12 Nov 2011

Publication series

Name	Proceedings of IEEE International Symposium on High Assurance Systems Engineering
ISSN (Print)	1530-2059

Conference

Conference	13th IEEE International Symposium on High Assurance Systems Engineering, HASE 2011
Country/Territory	United States
City	Boca Raton, FL
Period	10/11/11 → 12/11/11

Access to Document

10.1109/HASE.2011.28

Cite this

Zhao, Y., Wang, Z., Xiao, H., Ping, J., Pu, G., He, J., & Zhu, H. (2011). A unifying approach to validating specification-oriented XML constraints. In Proceedings - 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, HASE 2011 (pp. 33-40). Article 6113871 (Proceedings of IEEE International Symposium on High Assurance Systems Engineering). https://doi.org/10.1109/HASE.2011.28

@inproceedings{50ded46f94504548ba2a8d264f3c19a6,

title = "A unifying approach to validating specification-oriented XML constraints",

abstract = "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.",

author = "Yongxin Zhao and Zheng Wang and Hao Xiao and Jing Ping and Geguang Pu and Jifeng He and Huibiao Zhu",

year = "2011",

doi = "10.1109/HASE.2011.28",

language = "英语",

isbn = "9780769546155",

series = "Proceedings of IEEE International Symposium on High Assurance Systems Engineering",

pages = "33--40",

booktitle = "Proceedings - 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, HASE 2011",

note = "13th IEEE International Symposium on High Assurance Systems Engineering, HASE 2011 ; Conference date: 10-11-2011 Through 12-11-2011",

}

Zhao, Y, Wang, Z, Xiao, H, Ping, J, Pu, G , He, J & Zhu, H 2011, A unifying approach to validating specification-oriented XML constraints. in Proceedings - 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, HASE 2011., 6113871, Proceedings of IEEE International Symposium on High Assurance Systems Engineering, pp. 33-40, 13th IEEE International Symposium on High Assurance Systems Engineering, HASE 2011, Boca Raton, FL, United States, 10/11/11. https://doi.org/10.1109/HASE.2011.28

A unifying approach to validating specification-oriented XML constraints. / Zhao, Yongxin; Wang, Zheng; Xiao, Hao et al.
Proceedings - 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, HASE 2011. 2011. p. 33-40 6113871 (Proceedings of IEEE International Symposium on High Assurance Systems Engineering).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 -

A unifying approach to validating specification-oriented XML constraints

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this