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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Curbera, F., Ferguson, D., Nally, M., Stockton, M.: Toward a Programming Model for Service-Oriented Computing. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 33–47. Springer, Heidelberg (2005)
Kindler, E., Weber, M.: The Petri Net Kernel. Software Tools for Technology Transfer (STTT) 3(4), 486–497 (2001)
Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing Interacting BPEL Processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 17–32. Springer, Heidelberg (2006)
Martens, A., Moser, S., Gerhardt, A., Funk, K.: Analyzing Compatibility of BPEL Processes. In: Intl. Conf. Internet and Web Applications and Services (ICIW 2006). IEEE Computer Society Press, Los Alamitos (2006)
Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)
Martens, A.: Consistency between Executable and Abstract Processes. In: Proc. of Intl. IEEE Conf. on e-Technology, e-Commerce, and e-Services (EEE 2005), Hong Kong. IEEE Computer Society Press, Los Alamitos (2005)
Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3), 35–43 (2005)
Moser, S., Martens, A., Häbich, M., Mülle, J.: A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 458–464. Springer, Heidelberg (2006)
Ouyang, C., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M., Verbeek, H.M.W.: Formal Semantics and Analysis of Control Flow in WS-BPEL. Bpm center report bpm-05-13, BPMcenter.org. (2005)
Barcia, R., Brent, J.: Building SOA solutions with the Service Component Architecture. IBM WebSphere Developer Technical Journal 8.7, 25–68 (2005)
Reisig, W.: Petri Nets. Springer, New York (1985)
Schmidt, K.: LoLA – A Low Level Analyser. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825. Springer, Heidelberg (2000)
Schmidt, K.: Controllability of Open Workflow Nets. In: Enterprise Modelling and Information Systems Architectures, Bonn. Lecture Notes in Informatics (LNI), vol. P-75, pp. 236–249 (2005)
BEA Systems, IBM, IONA, Oracle, SAP AG, Siebel Systems, and Sybase. Service Component Architecture. Whitepaper (November 2005)
Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing Workflow Processes using Woflan. The Computer Journal 44(4), 246–279 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Martens, A., Moser, S. (2006). Diagnosing SCA Components Using Wombat . In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds) Business Process Management. BPM 2006. Lecture Notes in Computer Science, vol 4102. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11841760_27
Download citation
DOI: https://doi.org/10.1007/11841760_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38901-9
Online ISBN: 978-3-540-38903-3
eBook Packages: Computer ScienceComputer Science (R0)