In: Lecture Notes in Computer Science : Business Process Management, Volume 4102, 2006, pages 378-388. 2006. URL: http://dx.doi.org/10.1007/1184176027.
Abstract: 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.
Keywords: Business Process Modeling; SOA; Web service composition; Tool based Verification; BPEL; State Machine; Petri nets.