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 to check access.
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
Margolis, B., Sharpe, J.L.: SOA for the Business Developer. MC Press (June 2007)
The Open SOA Collaboration: SCA web-site, http://www.osoa.org/display/Main/Service+Component+Architecture+Home
Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. ACM Press / Addison-Wesley (2002)
Heineman, G., Councill, B.: Component-Based Software Engineering: Putting the Pieces Together. Addison Wesley, Reading (2001)
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)
Homepage of the jABC framework, http://www.jabc.de
Margaria, T., Steffen, B.: Service engineering: Linking business and IT. IEEE Computer 39(10), 45–55 (2006)
Steffen, B., Narayan, P.: Full life-cycle support for end-to-end processes. IEEE Computer 40(11), 64–73 (2007)
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)
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)
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)
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)
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)
ITU Geneva, Switzerland: Recommendation Q.1211 - General Recommendations on Telephone Switching and Signaling Intelligent Network: Introduction to Intelligent Network Capability Set 1 (March 1993)
Object Management Group: MDA guide version 1.0.1, http://www.omg.org/cgi-bin/apps/doc?omg/03-06-01.pdf
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)
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)
Nii, H.: Blackboard systems. AI Magazine 7(2), 38–53, 7(3), 82–106 (1986)
Object Management Group: OMG formal/06-04-01 (CORBA Component Model Specification, v4.0) (April 2006)
Matena, V., Krishnan, S., DeMichiel, L., Stearns, B.: Applying Enterprise JavaBeans. Addison Wesley, Reading (2003)
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)
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)
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)
Mesarovic, M., Macko, D., Takahara, Y.: Theory of Hierarchical, Multilevel, Systems. Mathematics in Science and Engineering, vol. 68. Academic Press, New York (1970)
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)
Margaria, T.: Service is in the eyes of the beholder. IEEE Computer 40(11), 33–37 (2007)
Curbera, F.: Component contracts in service-oriented architectures. IEEE Computer 40(11), 74–80 (2007)
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)
Ding, Z., Chen, Z., Liu, J.: A rigorous model of service component architecture. ENTCS 207, 33–48 (2008)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)