Consistency between Executable and Abstract Processes
EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
Analyzing Compatibility of BPEL Processes
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
A hybrid approach for generating compatible WS-BPEL partner processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Toward a programming model for service-oriented computing
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
| Hi-index | 0.00 |
The Service Component Architecture (SCA) is a new technology aiming to simplify application development in a service-oriented architecture. Developing a SCA application basically consists of two major parts: The implementation or discovery of individual components, and the assembly of sets of components. Since each assembly itself might act as a component within a larger application, SCA obviously enables the construction of complex distributed systems that are hardly analyzable. Hence crucial questions like compatibility, consistency or soundness of components need to be answered early during the development process. This paper presents Wombat – an analysis tool that is integrated into IBM’s development environment to perform on demand verification tasks. Wombat benefits from established formal methods for distributed systems. It tailors those methods to relevant use case and puts them into a context that directly supports the development of SCA applications.