Skip to main content
SpringerLink
Log in
Book cover

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

ISoLA 2008: Leveraging Applications of Formal Methods, Verification and Validation pp 139–154Cite as

SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction

  • Conference paper

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 17))

Abstract

Extensibility, flexibility, easy maintainability, and long-term robustness are core requirements for modern, highly distributed information and computation systems. Such systems in turn show a steady increase in complexity. In pursuit of these goals, software engineering has seen a rapid evolution of architectural paradigms aiming towards increasingly modular, hierarchical, and compositional approaches. Object-orientation, component orientation, middleware components, product-lines, and - recently - service orientation.

We compare two approaches towards a service-oriented paradigm, the Service Component Architecture (SCA) and the jABC.

This is a preview of subscription content, 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   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Margolis, B., Sharpe, J.L.: SOA for the Business Developer. MC Press (June 2007)

    Google Scholar 

  2. The Open SOA Collaboration: SCA web-site, http://www.osoa.org/display/Main/Service+Component+Architecture+Home

  3. Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. ACM Press / Addison-Wesley (2002)

    Google Scholar 

  4. Heineman, G., Councill, B.: Component-Based Software Engineering: Putting the Pieces Together. Addison Wesley, Reading (2001)

    Google Scholar 

  5. Steffen, B., Margaria, T., Nagel, R., Jörges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92–108. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. Homepage of the jABC framework, http://www.jabc.de

  7. Margaria, T., Steffen, B.: Service engineering: Linking business and IT. IEEE Computer 39(10), 45–55 (2006)

    Article  Google Scholar 

  8. Steffen, B., Narayan, P.: Full life-cycle support for end-to-end processes. IEEE Computer 40(11), 64–73 (2007)

    Article  Google Scholar 

  9. Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. STTT - Int. Journ. on Software Tools for Technology Transfer 5(2), 107–123 (2004)

    Article  Google Scholar 

  10. Steffen, B., Margaria, T.: METAFrame in practice: Design of Intelligent Network Services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 390–415. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  11. Steffen, B., Margaria, T., Claßen, A., Braun, V., Reitenspieß, M.: An environment for the creation of intelligent network services. In: Annual Review of Communication, Int. Engineering Consortium (IEC), Chicago, USA, pp. 919–935 (November 1996)

    Google Scholar 

  12. Margaria, T., Steffen, B., Reitenspieß, M.: Service-oriented design: The roots. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 450–464. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  13. Kubczak, C., Margaria, T., Steffen, B., Nagel, R.: Service-oriented Mediation with jABC/jETI. In: Petrie, C., Lausen, H., Zaremba, M., Margaria, T. (eds.) Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond). Springer, Heidelberg (to appear, 2008)

    Google Scholar 

  14. ITU Geneva, Switzerland: Recommendation Q.1211 - General Recommendations on Telephone Switching and Signaling Intelligent Network: Introduction to Intelligent Network Capability Set 1 (March 1993)

    Google Scholar 

  15. Object Management Group: MDA guide version 1.0.1, http://www.omg.org/cgi-bin/apps/doc?omg/03-06-01.pdf

  16. Lamprecht, A.L., Margaria, T., Steffen, B.: Seven variations of an alignment workflow – an illustration of agile process design/management in Bio-jETI. In: Măndoiu, I., Sunderraman, R., Zelikovsky, A. (eds.) ISBRA 2008. LNCS (LNBI), vol. 4983, pp. 445–456. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  17. Lamprecht, A.L., Margaria, T., Steffen, B., Sczyrba, A., Hartmeier, S., Giegerich, R.: Genefisher-p: Variations of genefisher as processes in biojeti. BioMed Central (BMC) Bioinformatics 2008. In: Supplement dedicated to Network Tools and Applications in Biology 2007 Workshop (NETTAB 2007), April 25, vol. 9(Suppl. 4), p. 13 (2008)

    Google Scholar 

  18. Nii, H.: Blackboard systems. AI Magazine 7(2), 38–53, 7(3), 82–106 (1986)

    Google Scholar 

  19. Object Management Group: OMG formal/06-04-01 (CORBA Component Model Specification, v4.0) (April 2006)

    Google Scholar 

  20. Matena, V., Krishnan, S., DeMichiel, L., Stearns, B.: Applying Enterprise JavaBeans. Addison Wesley, Reading (2003)

    Google Scholar 

  21. Shaw, M.: Procedure calls are the assembly language of software interconnection: Connectors deserve first-class status. In: Lamb, D.A. (ed.) Selected papers from the Workshop on Studies of Software Design. LNCS, vol. 1078, pp. 17–32. Springer, Heidelberg (1993)

    Chapter  Google Scholar 

  22. Hatcliff, J., Deng, W., Dwyer, M., Jung, G., Ranganath, V.P.: Cadena: An integrated development, analysis, and verification environment for component-based systems. In: Proc. 25th Int. Conf. on Software Engineering (ICSE 2003), May 2003, vol. 841, pp. 160–173. IEEE Computer Soceity Press, Los Alamitos (2003)

    Chapter  Google Scholar 

  23. Jörges, S., Margaria, T., Steffen, B.: Genesys: Service-oriented construction of certified code generators. ISSE – Int. Journal on Innovations in Systems and Software Engineering – a NASA Journal (to appear)

    Google Scholar 

  24. Mesarovic, M., Macko, D., Takahara, Y.: Theory of Hierarchical, Multilevel, Systems. Mathematics in Science and Engineering, vol. 68. Academic Press, New York (1970)

    MATH  Google Scholar 

  25. Margaria, T., Steffen, B.: Business Process Modelling in the jABC: The One-Thing Approach. In: Handbook of Research on Business Process Modeling, IGI Global (2008)

    Google Scholar 

  26. Margaria, T.: Service is in the eyes of the beholder. IEEE Computer 40(11), 33–37 (2007)

    Article  Google Scholar 

  27. Curbera, F.: Component contracts in service-oriented architectures. IEEE Computer 40(11), 74–80 (2007)

    Article  Google Scholar 

  28. Zou, Z., Duan, Z.: Building business processes or assembling service components: Reuse services with bpel4ws and sca. In: ECOWS 2006, Proc. European Conference on Web Services, pp. 138–147 (2006)

    Google Scholar 

  29. Ding, Z., Chen, Z., Liu, J.: A rigorous model of service component architecture. ENTCS 207, 33–48 (2008)

    MATH  Google Scholar 

  30. Wirsing, M., Hölzl, M., Acciai, L., Banti, F., et al.: SENSORIA patterns: Augmenting service engineering with formal analysis, transformation and dynamicity. In: ISoLA 2008. CCIS, vol. 17, pp. 170–190. Springer, Heidelberg (This Volume) (2008)

    Google Scholar 

  31. Fiadeiro, J.L., Lopes, A., Bocchi, L.: Algebraic Semantics of Service Component Modules. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol. 4409, pp. 37–55. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  32. Fiadeiro, J.L., Lopes, A., Bocchi, L.: A Formal Approach to Service Component Architecture. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 193–213. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  33. Hörmann, M., Margaria, T., Mender, T., Nagel, R., Steffen, B., Trinh, H.: The jabc approach to rigorous collaborative development of scm applications. In: ISoLA 2008. CCIS, vol. 17, pp. 724–737. Springer, Heidelberg (This Volume) (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Chair Service and Software Engineering, Universität Potsdam, Germany

    Georg Jung, Tiziana Margaria, Wolfgang Schubert & Horst Voigt

  2. Chair Programming Systems, TU Dortmund, Germany

    Ralf Nagel & Bernhard Steffen

Authors
  1. Georg Jung
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tiziana Margaria
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ralf Nagel
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Wolfgang Schubert
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Bernhard Steffen
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Horst Voigt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universität Potsdam, August-Bebel-Str. 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Technische Universität Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jung, G., Margaria, T., Nagel, R., Schubert, W., Steffen, B., Voigt, H. (2008). SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88479-8_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88478-1

  • Online ISBN: 978-3-540-88479-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation