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.
Web services for time granularity reasoning / C. Bettini - In: TIME-ICTL 2003 : 10th International Symposium on Temporal Representation and Reasoning : and Fourth International Conference on Temporal Logic : proceedings : 8-10 July, 2003, Cairns, Queensland, Australia / [a cura di] M. Reynolds, A. Sattar. - Los Alamitos : IEEE Computer Society, 2003. - ISBN 0769519121. - pp. 2-4 (( convegno 10th International Symposium on Temporal Representation and Reasoning and 4th International Conference on Temporal Logic Griffith University (TIME-ICTL) tenutosi a Cairns nel 2003 [10.1109/TIME.2003.1214871].
Web services for time granularity reasoning
C. BettiniPrimo
2003
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.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.