TY - GEN
T1 - Constraint checking for XML-based language specification by SAT solver
AU - Xiao, Hao
AU - Wang, Zheng
AU - Pu, Gegang
AU - Gu, Bin
PY - 2010
Y1 - 2010
N2 - XML has been widely applied in kinds of areas and applications as a data exchange format. Recently, plenty of of languages based on XML emerge. There are many constraints specified by natural language in these XML-based language specifications to regulate the rules that are supposed to be obeyed by designers or programmers. To specify those constraints precisely, we present a relational calculus to capture them. Meanwhile, by means of the constraint solvers (SAT or SMT solver), we can decide that whether a XML-based document satisfies the constraints specified in its corresponding specification.
AB - XML has been widely applied in kinds of areas and applications as a data exchange format. Recently, plenty of of languages based on XML emerge. There are many constraints specified by natural language in these XML-based language specifications to regulate the rules that are supposed to be obeyed by designers or programmers. To specify those constraints precisely, we present a relational calculus to capture them. Meanwhile, by means of the constraint solvers (SAT or SMT solver), we can decide that whether a XML-based document satisfies the constraints specified in its corresponding specification.
UR - https://www.scopus.com/pages/publications/77956108190
U2 - 10.1109/SSIRI-C.2010.15
DO - 10.1109/SSIRI-C.2010.15
M3 - 会议稿件
AN - SCOPUS:77956108190
SN - 9780769540870
T3 - SSIRI-C 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion
SP - 26
EP - 27
BT - SSIRI-C 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion
T2 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion, SSIRI-C 2010
Y2 - 9 June 2010 through 11 June 2010
ER -