E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
WS-Net: A Petri-net Based Specification Model for Web Services
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Modeling component connectors in Reo by constraint automata
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Web services choreography and orchestration in Reo and constraint automata
Proceedings of the 2007 ACM symposium on Applied computing
JOLIE: a Java Orchestration Language Interpreter Engine
Electronic Notes in Theoretical Computer Science (ENTCS)
Sessions and Pipelines for Structured Service Programming
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Modeling Service Choreographies Using BPMN and BPEL4Chor
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Fundamenta Informaticae - Application of Concurrency to System Design
A Model for Web Service Coordination in Long-Running Transactions
SOSE '10 Proceedings of the 2010 Fifth IEEE International Symposium on Service Oriented System Engineering
A tool for rapid development of WS-BPEL applications
ACM SIGAPP Applied Computing Review
Apache Axis2 Web Services
Reo + $${{\tt mCRL2}}$$: A framework for model-checking dataflow in service compositions
Formal Aspects of Computing
Using REO on ETL conceptual modelling: a first approach
Proceedings of the sixteenth international workshop on Data warehousing and OLAP
Hi-index | 0.00 |
We present a compositional construction of Web Services, using Reo and Constraint Automata as the main "glue" ingredients. Reo is a graphical and exogenous coordination language based on channels. We propose a framework that, taking as input the behavioral description of services (as Constraint Automata), their WSDL interfaces, and the description of their interaction in Reo, generates all the necessary Java code to orchestrate the services in practice. For each Web Service, we automatically generate a proxy that manages the communication between this service and the Reo circuit. Although we focus on Web Services, we can compose different kinds of service-oriented and component technologies at the same time (e.g., CORBA, RPC, WCF), by generating different proxies and connecting them to the same coordinator.