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. Bettini
Primo
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.
Settore INF/01 - Informatica
2003
Murdoch University
Griffith University
Book Part (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/242589
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact