Representing and Reasoning on XForms Document

Cheow, P.Y. and Governatori, G.

    Forms are the most common way to interface users and Web-based applications. Traditional forms cannot provide the functionality needed to fulfil the requirements of complex applications. As such, there is a need for a more advanced format of forms to support Web-based application. We argued that XForms easily fit into this criterion of forms. In addition, we observed that there is a need for a tool to reason about the forms with respect to user needs and application requirements. We propose to use Description Logic ALCOQ I to reason about forms generated by XForms
Cite as: Cheow, P.Y. and Governatori, G. (2004). Representing and Reasoning on XForms Document. In Proc. Fifteenth Australasian Database Conference (ADC2004), Dunedin, New Zealand. CRPIT, 27. Schewe, K.-D. and Williams, H. E., Eds. ACS. 141-150.
pdf (from crpit.com) pdf (local if available) BibTeX EndNote GS