Skip to main content
SpringerLink
Log in

Diagnosing SCA Components Using Wombat

  • Conference paper
Business Process Management (BPM 2006)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 4102))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Chapter  Google Scholar 

  2. Kindler, E., Weber, M.: The Petri Net Kernel. Software Tools for Technology Transfer (STTT) 3(4), 486–497 (2001)

    MATH  Google Scholar 

  3. 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)

    Chapter  Google Scholar 

  4. 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)

    Google Scholar 

  5. Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  6. 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)

    Google Scholar 

  7. Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3), 35–43 (2005)

    Google Scholar 

  8. 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)

    Chapter  Google Scholar 

  9. 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)

    Google Scholar 

  10. Barcia, R., Brent, J.: Building SOA solutions with the Service Component Architecture. IBM WebSphere Developer Technical Journal 8.7, 25–68 (2005)

    Google Scholar 

  11. Reisig, W.: Petri Nets. Springer, New York (1985)

    MATH  Google Scholar 

  12. Schmidt, K.: LoLA – A Low Level Analyser. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  13. 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)

    Google Scholar 

  14. BEA Systems, IBM, IONA, Oracle, SAP AG, Siebel Systems, and Sybase. Service Component Architecture. Whitepaper (November 2005)

    Google Scholar 

  15. 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)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Component Systems Group, IBM TJ Watson Research Center, Hawthorne, NY, USA

    Axel Martens

  2. IBM Böblingen Laboratory, Business Process Solutions, Böblingen, Germany

    Simon Moser

Authors
  1. Axel Martens
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Simon Moser
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Distributed Systems Group, Information Systems Institute, Vienna University of Technology, Austria

    Schahram Dustdar

  2. Department of Computer Science, University of Leicester, University Road, LE1 7RH, Leicester, UK

    José Luiz Fiadeiro

  3. Kno.e.sis Center, Dept. of Computer Science & Engineering, Wright State University, 3640 Colonel Glenn Hwy, Dayton, Ohio

    Amit P. Sheth

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation