A New Model For Web Services Timed Business Protocols
Julien Ponge · 2006
ABSTRACT. Web services technology is emerging as the main pillar of service-oriented architectures (SOAs). This technology facilitates application integration by enabling programmatic access to applications through standard, XML-based languages and protocols. While much progress has been made toward providing basic interoperability among applications, there are still many needs and unexploited opportunities in this area. In particular, services in SOAs require richer description models than object or component interfaces since services are developed independently of clients. Hence, service descriptions need to include all the information needed by clients to understand if they can interact with a service and how. This paper discusses our new results on modeling and analyzing web services business protocols augmented with timing constraints. We discuss these notions informally through examples, and expose the benefits of connecting our new model with the theory of timed automata.