|
| | | |
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. |
(from crpit.com)
(local if available)
|
|