Title :
Web services for time granularity reasoning
Author :
Bettini, Claudio
Author_Institution :
DICO, Milan Univ., Nilan, Italy
Abstract :
We first briefly illustrate the concept of time granularity and review the emerging approaches for modeling and reasoning with it. We then advocate the need for a set of Web services that distributed applications can use to define and manipulate time granularities. As an example of these services, we discuss in detail the GSTP service, a constraint solver for networks of temporal constraints with time granularities, developed at the University of Milan, and based on recently published theoretical results. The GSTP service can be accessed from applications through the Internet as a Web service, or can be accessed by a human user through a sophisticated Java interface. A system demonstration was given during the talk.
Keywords :
Internet; Java; temporal reasoning; user interfaces; GSTP service; University of Milan; Web services; time granularity reasoning; Constraint theory; Databases; Humans; Java; Logic; Qualifications; Service oriented architecture; Time factors; Web and internet services; Web services;
Conference_Titel :
Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. 10th International Symposium on
Print_ISBN :
0-7695-1912-1
DOI :
10.1109/TIME.2003.1214871