Title :
Temporal Queries over World Wide Web
Author :
Oyano, Jun ; Saito, Nobuo
Author_Institution :
Chiba University of Commerce
Abstract :
This paper proposes a framework for making temporal queries over WWW. In order to manage dynamic behaviors of Web services, we interpret a part of XML documents as a labeled transition system, and investigate its temporal properties. To cope with the state explosion problem, we adopt the hierarchical abstraction and refinement. Our approach aims at avoiding concrete model construction. It adapts to the ‘divide and rule’ policy of Internet.
Keywords :
Business; Concrete; Databases; Informatics; Internet; Logic; Search engines; Web services; Web sites; XML;
Conference_Titel :
Applications and the Internet Workshops, 2005. Saint Workshops 2005. The 2005 Symposium on
Print_ISBN :
0-7695-2263-7
DOI :
10.1109/SAINTW.2005.1620063