An Approach to Temporal-Aware Procurement of Web Services

In the context of web service procurement (WSP), temporal– awareness refers to managing service demands and offers which are subject to validity periods, i.e. their evaluation depends not only on quality of service (QoS) values but also on time. For example, the QoS of some web services can be considered critical in working hours (9:00 to 17:00 from Monday to Friday) and irrelevant at any other moment. Until now, the expressiveness of such temporal–aware specifications has been quite limited. As far as we know, most proposals have considered validity periods to be composed of a single temporal interval. Other proposals, which could allow more expressive time–dependent specifications, have not performed a detailed study about all the underlying complexities of such approach, in spite of the fact that dealing with complex expressions on temporality is not a trivial task at all. As a matter of fact, it requires a special design of the so–called procurement tasks (consistency and conformance checking, and optimal selection). In this paper, we present a constraint–based approach to temporal–aware WSP. Using constraints allows a great deal of expressiveness, so that not only demands and offers can be assigned validity periods but also their conditions can be assigned (possibly multiple) validity temporal subintervals. Apart from revising the semantics of procurement tasks, which we previously presented in the first edition of the ICSOC conferences, we also introduce the notion of the covering set of a demand, a topic which is closely related to temporality.

[1]  Paul W. P. J. Grefen,et al.  A Three-Level Framework for Process and Data Management of Complex E-Services , 2003, Int. J. Cooperative Inf. Syst..

[2]  Peter J. Stuckey,et al.  Programming with Constraints: An Introduction , 1998 .

[3]  Pascal Van Hentenryck Constraint and Integer Programming in OPL , 2002, INFORMS J. Comput..

[4]  Pascal Van Hentenryck,et al.  Strategic directions in constraint programming , 1996, CSUR.

[5]  Anne H. H. Ngu,et al.  QoS-aware middleware for Web services composition , 2004, IEEE Transactions on Software Engineering.

[6]  Enrico Franconi,et al.  A survey of temporal extensions of description logics , 2001, Annals of Mathematics and Artificial Intelligence.

[7]  Robert L. Glass,et al.  Science and substance: a challenge to software engineers , 1994, IEEE Software.

[8]  Antonio Ruiz Cortés,et al.  Automating the Procurement of Web Services , 2003, ICSOC.

[9]  Hartmut Ritter,et al.  A concept for QoS integration in Web services , 2003, Fourth International Conference on Web Information Systems Engineering Workshops, 2003. Proceedings..

[10]  Antonio Ruiz Cortés,et al.  Improving the Automatic Procurement of Web Services Using Constraint Programming , 2005, Int. J. Cooperative Inf. Syst..

[11]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

[12]  Fabio Casati,et al.  Automated SLA Monitoring for Web Services , 2002, DSOM.

[13]  Jerry R. Hobbs,et al.  An ontology of time for the semantic web , 2004, TALIP.

[14]  Akhil Kumar,et al.  W-RBAC - A Workflow Security Model Incorporating Controlled Overriding of Constraints , 2003, Int. J. Cooperative Inf. Syst..

[15]  James Pustejovsky,et al.  Annotating and Reasoning about Time and Events , 2005, The Language of Time - A Reader.

[16]  Katia P Sycara,et al.  Semantic Web Services with Web Ontology Language (OWL-S) - Specification of Agent-Services for DARPA Agent Markup Language (DAML) , 2006 .

[17]  Xavier Franch,et al.  Using Quality Models in Software Package Selection , 2003, IEEE Softw..

[18]  Jerry R. Hobbs,et al.  Time in OWL-S , 2004 .

[19]  Paul W. P. J. Grefen,et al.  Contract-driven creation and operation of virtual enterprises , 2001, Comput. Networks.

[20]  A. Finkelstein,et al.  Software package requirements and procurement , 1996, Proceedings of the 8th International Workshop on Software Specification and Design.

[21]  Matthias Klusch,et al.  Dynamic service matchmaking among agents in open information environments , 1999, SGMD.

[22]  Ian Horrocks,et al.  A software framework for matchmaking based on semantic web technology , 2003, WWW '03.