{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:37:47Z","timestamp":1742996267957,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540884781"},{"type":"electronic","value":"9783540884798"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88479-8_11","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T14:18:43Z","timestamp":1225808323000},"page":"139-154","source":"Crossref","is-referenced-by-count":9,"title":["SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction"],"prefix":"10.1007","author":[{"given":"Georg","family":"Jung","sequence":"first","affiliation":[]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[]},{"given":"Ralf","family":"Nagel","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Schubert","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]},{"given":"Horst","family":"Voigt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Margolis, B., Sharpe, J.L.: SOA for the Business Developer. MC Press (June 2007)"},{"key":"11_CR2","unstructured":"The Open SOA Collaboration: SCA web-site, http:\/\/www.osoa.org\/display\/Main\/Service+Component+Architecture+Home"},{"key":"11_CR3","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. ACM Press \/ Addison-Wesley (2002)"},{"key":"11_CR4","volume-title":"Component-Based Software Engineering: Putting the Pieces Together","author":"G. Heineman","year":"2001","unstructured":"Heineman, G., Councill, B.: Component-Based Software Engineering: Putting the Pieces Together. Addison Wesley, Reading (2001)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B. Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol.\u00a04383, pp. 92\u2013108. Springer, Heidelberg (2007)"},{"key":"11_CR6","unstructured":"Homepage of the jABC framework, http:\/\/www.jabc.de"},{"issue":"10","key":"11_CR7","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/MC.2006.355","volume":"39","author":"T. Margaria","year":"2006","unstructured":"Margaria, T., Steffen, B.: Service engineering: Linking business and IT. IEEE Computer\u00a039(10), 45\u201355 (2006)","journal-title":"IEEE Computer"},{"issue":"11","key":"11_CR8","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MC.2007.386","volume":"40","author":"B. Steffen","year":"2007","unstructured":"Steffen, B., Narayan, P.: Full life-cycle support for end-to-end processes. IEEE Computer\u00a040(11), 64\u201373 (2007)","journal-title":"IEEE Computer"},{"issue":"2","key":"11_CR9","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10009-003-0119-4","volume":"5","author":"T. Margaria","year":"2004","unstructured":"Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. STTT - Int. Journ. on Software Tools for Technology Transfer\u00a05(2), 107\u2013123 (2004)","journal-title":"STTT - Int. Journ. on Software Tools for Technology Transfer"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-48092-7_17","volume-title":"Correct System Design","author":"B. Steffen","year":"1999","unstructured":"Steffen, B., Margaria, T.: METAFrame in practice: Design of Intelligent Network Services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 390\u2013415. Springer, Heidelberg (1999)"},{"key":"11_CR11","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., Braun, V., Reitenspie\u00df, M.: An environment for the creation of intelligent network services. In: Annual Review of Communication, Int. Engineering Consortium (IEC), Chicago, USA, pp. 919\u2013935 (November 1996)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/11596141_34","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"T. Margaria","year":"2005","unstructured":"Margaria, T., Steffen, B., Reitenspie\u00df, M.: Service-oriented design: The roots. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 450\u2013464. Springer, Heidelberg (2005)"},{"key":"11_CR13","volume-title":"Semantic Web Services Challenge: Results from the First Year (Semantic Web and Beyond)","author":"C. Kubczak","year":"2008","unstructured":"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)"},{"key":"11_CR14","unstructured":"ITU Geneva, Switzerland: Recommendation Q.1211 - General Recommendations on Telephone Switching and Signaling Intelligent Network: Introduction to Intelligent Network Capability Set 1 (March 1993)"},{"key":"11_CR15","unstructured":"Object Management Group: MDA guide version 1.0.1, http:\/\/www.omg.org\/cgi-bin\/apps\/doc?omg\/03-06-01.pdf"},{"key":"11_CR16","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/978-3-540-79450-9_42","volume-title":"Bioinformatics Research and Applications","author":"A.L. Lamprecht","year":"2008","unstructured":"Lamprecht, A.L., Margaria, T., Steffen, B.: Seven variations of an alignment workflow \u2013 an illustration of agile process design\/management in Bio-jETI. In: M\u0103ndoiu, I., Sunderraman, R., Zelikovsky, A. (eds.) ISBRA 2008. LNCS (LNBI), vol.\u00a04983, pp. 445\u2013456. Springer, Heidelberg (2008)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"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.\u00a09(Suppl. 4), p. 13 (2008)","DOI":"10.1186\/1471-2105-9-S4-S13"},{"issue":"2","key":"11_CR18","first-page":"38","volume":"7","author":"H. Nii","year":"1986","unstructured":"Nii, H.: Blackboard systems. AI Magazine\u00a07(2), 38\u201353, 7(3), 82\u2013106 (1986)","journal-title":"AI Magazine"},{"key":"11_CR19","unstructured":"Object Management Group: OMG formal\/06-04-01 (CORBA Component Model Specification, v4.0) (April 2006)"},{"key":"11_CR20","volume-title":"Applying Enterprise JavaBeans","author":"V. Matena","year":"2003","unstructured":"Matena, V., Krishnan, S., DeMichiel, L., Stearns, B.: Applying Enterprise JavaBeans. Addison Wesley, Reading (2003)"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BFb0030517","volume-title":"Selected papers from the Workshop on Studies of Software Design","author":"M. Shaw","year":"1993","unstructured":"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.\u00a01078, pp. 17\u201332. Springer, Heidelberg (1993)"},{"key":"11_CR22","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/ICSE.2003.1201197","volume-title":"Proc. 25th Int. Conf. on Software Engineering (ICSE 2003)","author":"J. Hatcliff","year":"2003","unstructured":"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.\u00a0841, pp. 160\u2013173. IEEE Computer Soceity Press, Los Alamitos (2003)"},{"key":"11_CR23","unstructured":"J\u00f6rges, S., Margaria, T., Steffen, B.: Genesys: Service-oriented construction of certified code generators. ISSE \u2013 Int. Journal on Innovations in Systems and Software Engineering \u2013 a NASA Journal (to appear)"},{"key":"11_CR24","series-title":"Mathematics in Science and Engineering","volume-title":"Theory of Hierarchical, Multilevel, Systems","author":"M. Mesarovic","year":"1970","unstructured":"Mesarovic, M., Macko, D., Takahara, Y.: Theory of Hierarchical, Multilevel, Systems. Mathematics in Science and Engineering, vol.\u00a068. Academic Press, New York (1970)"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"issue":"11","key":"11_CR26","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2007.398","volume":"40","author":"T. Margaria","year":"2007","unstructured":"Margaria, T.: Service is in the eyes of the beholder. IEEE Computer\u00a040(11), 33\u201337 (2007)","journal-title":"IEEE Computer"},{"issue":"11","key":"11_CR27","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/MC.2007.376","volume":"40","author":"F. Curbera","year":"2007","unstructured":"Curbera, F.: Component contracts in service-oriented architectures. IEEE Computer\u00a040(11), 74\u201380 (2007)","journal-title":"IEEE Computer"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"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\u2013147 (2006)","DOI":"10.1109\/ECOWS.2006.11"},{"key":"11_CR29","first-page":"33","volume":"207","author":"Z. Ding","year":"2008","unstructured":"Ding, Z., Chen, Z., Liu, J.: A rigorous model of service component architecture. ENTCS\u00a0207, 33\u201348 (2008)","journal-title":"ENTCS"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Wirsing, M., H\u00f6lzl, M., Acciai, L., Banti, F., et al.: SENSORIA patterns: Augmenting service engineering with formal analysis, transformation and dynamicity. In: ISoLA 2008. CCIS, vol.\u00a017, pp. 170\u2013190. Springer, Heidelberg (This Volume) (2008)","DOI":"10.1007\/978-3-540-88479-8_13"},{"key":"11_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-71998-4_3","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J.L. Fiadeiro","year":"2007","unstructured":"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.\u00a04409, pp. 37\u201355. Springer, Heidelberg (2007)"},{"key":"11_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/11841197_13","volume-title":"Web Services and Formal Methods","author":"J.L. Fiadeiro","year":"2006","unstructured":"Fiadeiro, J.L., Lopes, A., Bocchi, L.: A Formal Approach to Service Component Architecture. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 193\u2013213. Springer, Heidelberg (2006)"},{"key":"11_CR33","doi-asserted-by":"crossref","unstructured":"H\u00f6rmann, 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.\u00a017, pp. 724\u2013737. Springer, Heidelberg (This Volume) (2008)","DOI":"10.1007\/978-3-540-88479-8_52"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88479-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,19]],"date-time":"2021-09-19T22:38:10Z","timestamp":1632091090000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88479-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884781","9783540884798"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2008]]}}}