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
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
Validating feature-based specifications: Research Articles
Software—Practice & Experience
Representing and analysing composed web services using Cress
Journal of Network and Computer Applications
A rigorous approach to orchestrating grid services
Computer Networks: The International Journal of Computer and Telecommunications Networking
Immune-Inspired Online Method for Service Interactions Detection
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Process algebraic support for web service composition
ACM SIGSOFT Software Engineering Notes
Extending model checking to data-aware temporal properties of web services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Graphical composition of grid services
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
Detecting the web services feature interactions
WISE'06 Proceedings of the 7th international conference on Web Information Systems
Client synthesis for aspect oriented web services
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Formalising interactive voice services with SDL
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Rigorous development of composite grid services
Journal of Network and Computer Applications
Rigorous development of prompting dialogues
Journal of Biomedical Informatics
Hi-index | 0.00 |
Despite the popularity of web services, creating them manually is an intricate task. Composite web services are defined using the evolving standard for Bpel (Business Process Execution Logic). It is explained how Cress (Chisel Representation Employing Systematic Specification) has been extended to meet the challenge of graphically and formally describing web services. Sample Cress descriptions are presented of web services. These are automatically translated into Lotos, permitting rigorous analysis and automated validation.