Web Services: Been There, Done That?
IEEE Intelligent Systems
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
On Feature Interactions among Web Services
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Compatibility Verification for Web Service Choreography
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
Test generation for radiotherapy accelerators
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
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
Validating feature-based specifications: Research Articles
Software—Practice & Experience
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A rigorous approach to orchestrating grid services
Computer Networks: The International Journal of Computer and Telecommunications Networking
Process algebraic support for web service composition
ACM SIGSOFT Software Engineering Notes
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
| Hi-index | 0.00 |
Composite web services are defined using the industry-standard language Bpel (Business Process Execution Logic). There is a strong need for graphical and automated support for this task. It is explained how Cress (Chisel Representation Employing Systematic Specification) has been extended to meet this challenge. Cress supports straightforward graphical descriptions of composite web services. Sample descriptions are presented of these. It is outlined how they are automatically implemented and systematically analysed using the target languages Bpel and Lotos (Language Of Temporal Ordering Specification).