Modelling SIP Services Using CRESS
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Analysis of Grid Service Composition with BPEL4WS
AINA '04 Proceedings of the 18th International Conference on Advanced Information Networking and Applications - Volume 2
Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
On Feature Interactions among Web Services
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Analysing interactive voice services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
JOpera: An Agile Environment for Web Service Composition with Visual Unit Testing and Refactoring
VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development
WI '05 Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence
Globus® Toolkit 4, First Edition: Programming Java Services (The Morgan Kaufmann Series in Networking)
Validating feature-based specifications: Research Articles
Software—Practice & Experience
Describing and Reasoning on the Composition of Grid Services Using Pi-Calculus
CIT '06 Proceedings of the Sixth IEEE International Conference on Computer and Information Technology
Representing and analysing composed web services using Cress
Journal of Network and Computer Applications
Graphical composition of grid services
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A feature-interaction benchmark for IN and beyond
IEEE Communications Magazine
Composing services on the grid using BPEL4SWS
Multiagent and Grid Systems - New tendencies on agents and grid environments
Hi-index | 0.00 |
Although conceived for web services, it is shown how BPEL (Business Process Execution Language) can be used to orchestrate a collection of grid services. This is achieved using the technique of CRESS (Communication Representation Employing Systematic Specification) to describe the composition of grid services. Cress descriptions are automatically translated into LOTOS (Language Of Temporal Ordering Specification), allowing systematic checks for interoperability and logical errors prior to implementation. MUSTARD (Multiple-Use Scenario Test and Refusal Description) is used to validate the generated specification against use case scenarios. The same CRESS descriptions are then automatically converted into BPEL/WSDL code for practical realisation of the composed services. Grid services are executed by Globus Toolkit 4, while their orchestration is supported by the ACTIVEBEPEL engine. The MUSTARD scenarios are used again to evaluate the implementation. The overall approach therefore supports rigorous development and automated creation of orchestrated grid services.