Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
XML-enabled workflow management for e-services across heterogeneous platforms
The VLDB Journal — The International Journal on Very Large Data Bases
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
WS-Net: A Petri-net Based Specification Model for Web Services
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Current Solutions for Web Service Composition
IEEE Internet Computing
Composing Web Services: A QoS View
IEEE Internet Computing
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)
A Semantical Framework for the Orchestration and Choreography of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Choreography and orchestration: a synergic approach for system design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Automatic translation of WS-CDL choreographies to timed automata
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Verifying the conformance of web services to global interaction protocols: a first step
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Stochastic reasoning about channel-based component connectors
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
A logical view of choreography
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Synthesis of Connectors from Scenario-Based Interaction Specifications
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Building Mashups for the Enterprise with SABRE
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
Electronic Notes in Theoretical Computer Science (ENTCS)
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Fundamenta Informaticae - Application of Concurrency to System Design
Component connectors with QoS guarantees
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Modeling web service interactions using the coordination language Reo
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
A logical representation and verification of web service choreography
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
Choreography of intelligent e-services
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Strategic executions of choreographed timed normative multi-agent systems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Comparing three coordination models: Reo, ARC, and PBRD
Science of Computer Programming
Web services choreography validation
Service Oriented Computing and Applications
Channel-based coordination via constraint satisfaction
Science of Computer Programming
The refinement of choreographed multi-agent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Decomposition of constraint automata
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Symbolic execution of Reo circuits using constraint automata
Science of Computer Programming
Interactive specification and verification of behavioral adaptation contracts
Information and Software Technology
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Fundamenta Informaticae - Application of Concurrency to System Design
Symbolic model checking composite Web services using operational and control behaviors
Expert Systems with Applications: An International Journal
A framework for the choreography of intelligent e-services
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
NOW: Orchestrating services in a nomadic network using a dedicated workflow language
Science of Computer Programming
Automatic code generation for the orchestration of web services with reo
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Validating reconfigurations of reo circuits in an e-Banking scenario
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems
Using REO on ETL conceptual modelling: a first approach
Proceedings of the sixteenth international workshop on Data warehousing and OLAP
Hi-index | 0.00 |
Currently web services constitute one of the most important topics in the realm of the World Wide Web. Composition of web services lets developers create applications on top of service-oriented computing platforms. Current web services choreography and orchestration proposals, such as BPELAWS, WSCDL, and WSCI, provide notations for describing the message flows in web service interactions. However, such proposals remain at the description level, without providing any kind of formal reasoning mechanisms or tool support for checking the compatibility of web services based on the proposed notations. In this paper, we present our work on compositional construction of web services using the Reo coordination language and constraint automata. Reo is an exogenous coordinational language based on channels. We investigate the possibility of representing the behaviour of web services using constraint automata as black-box components within Reo circuits. We describe the orchestration of web services by the product of corresponding constraint automata, and use Reo circuits for choreography of web services. We investigate the issues of description, orchestration, and choreography of web services at a unifying abstract level, based on constraint automata, which have been used as the semantics of the coordination language Reo, allowing us to derive a natural correspondence relationship between orchestration and choreography.