Towards an Efficient Rule-Based Coordination of Web Services

Web services coordination has become a central topic for further development of Internet-based distributed computing. One approach to this coordination task is supported by generative communication, and more specifically by some implementations of the Linda model as JavaSpaces. However, when applying these coordination strategies to real projects, some drawbacks appear. One of the main limitations is the lack of transactional queries. In this paper we deal with this problem extending the matching mechanism of the Linda model. Then, a variant of the well-known RETE algorithm can be devised in order to implement our extended Linda model efficiently. This also opens new research lines in which Artificial Intelligence techniques (as advanced blackboard architectures) could be applied to the field of web services coordination.

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[3]  Pedro Álvarez,et al.  Generative Communication with Semantic Matching in Distributed Heterogeneous Environments , 2003, EUROCAST.

[4]  Robert Valette,et al.  Software Implementation of Petri nets and compilation of rule-based systems , 1990, Applications and Theory of Petri Nets.

[5]  Nigel Davies,et al.  Supporting Service Discovery, Querying and Interaction in Ubiquitous Computing Environments , 2004 .

[6]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[7]  Kurt Jensen.  High-Level Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.

[8]  José A. Bañares,et al.  Knowledge representation-oriented nets for discrete event system applications , 1998, IEEE Trans. Syst. Man Cybern. Part A.

[9]  Noriaki Izumi,et al.  Location-mediated coordination of Web services in ubiquitous computing , 2004 .

[10]  Alessandro Ricci,et al.  Tuple-based coordination models in event-based scenarios , 2002, Proceedings 22nd International Conference on Distributed Computing Systems Workshops.

[11]  Hector Garcia-Molina,et al.  Publish/Subscribe in a Mobile Environment , 2004, Wirel. Networks.

[12]  Rocco De Nicola,et al.  A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces , 2002, FIDJI.

[13]  Jim Browne,et al.  ESPNET: expert-system-based simulator of Petri nets , 1988 .

[14]  Ioannis P. Vlahavas,et al.  DEVICE: Compiling production rules into event-driven rules using complex events , 1997, Inf. Softw. Technol..

[15]  Morris Sloman,et al.  Guest Editorial: Policy-Based Management of Networks and Services , 2004, Journal of Network and Systems Management.

[16]  H. P Nii,et al.  Blackboard Systems , 1986 .

[17]  Nicolas Guelfi,et al.  Designing fault-tolerant mobile systems , 2003 .

[18]  Alejandro P. Buchmann,et al.  An active functionality service for e-business applications , 2002, SGMD.

[19]  Pedro Álvarez,et al.  An Architectural Pattern to Extend the Interaction Model between Web-Services: The Location-Based Service Context , 2003, ICSOC.

[20]  Ewa Orlowska,et al.  Service-Oriented Computing - ICSOC 2003 , 2003, Lecture Notes in Computer Science.

[21]  Alan Dix,et al.  Norm Based Agency for Designing Collaborative Systems , 2001 .

[22]  Ken Arnold,et al.  JavaSpaces¿ Principles, Patterns, and Practice , 1999 .

[23]  Stefano Bistarelli,et al.  Representing Biological Systems with Multiset Rewriting , 2003 .

[24]  Steve Vinoski,et al.  Integration with Web services , 2003, IEEE Internet Computing.

[25]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[26]  Bing Wu,et al.  Framework and architecture for the management of event-condition-action (ECA) rule-based clinical protocols , 2002, Proceedings of 15th IEEE Symposium on Computer-Based Medical Systems (CBMS 2002).

[27]  Daniel P. Miranker.  TREAT: a better match algorithm for AI production systems , 1987, AAAI 1987.

[28]  Roy H. Campbell,et al.  An ECA-P policy-based framework for managing ubiquitous computing environments , 2005, The Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services.

[29]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[30]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[31]  Giorgio Bruno,et al.  Operational Specification of Process Control Systems: Execution of PROT Nets using OPS5 , 1986, IFIP Congress.

[32]  Jorge Lobo,et al.  A Policy Description Language , 1999, AAAI/IAAI.

[33]  Javier Nogueras-Iso,et al.  A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context , 2002, FIDJI.