{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:44:40Z","timestamp":1759333480135,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642340253"},{"type":"electronic","value":"9783642340260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_5","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:07:20Z","timestamp":1348621640000},"page":"47-63","source":"Crossref","is-referenced-by-count":3,"title":["Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions"],"prefix":"10.1007","author":[{"given":"Anna-Lena","family":"Lamprecht","sequence":"first","affiliation":[]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Mens, T., Demeyer, S. (eds.): Software Evolution. Springer (2008)","DOI":"10.1007\/978-3-540-76440-3"},{"key":"5_CR2","unstructured":": EternalS: EU FET Coordination Action on Trustworthy Eternal Systems via Evolving Software, Data and Knowledge"},{"key":"5_CR3","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/978-3-540-88479-8_35","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"T. Margaria","year":"2009","unstructured":"Margaria, T., Steffen, B.: Thinking in User-Centric Models. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. CCIS, vol.\u00a017, pp. 490\u2013502. Springer, Heidelberg (2009)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Service-Orientation: Conquering Complexity with XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 217\u2013236. Springer, London (2012)","DOI":"10.1007\/978-1-4471-2297-5_10"},{"issue":"10","key":"5_CR5","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1002\/cpe.993","volume":"18","author":"T. Oinn","year":"2006","unstructured":"Oinn, T., Greenwood, M., Addis, M., Alpdemir, M.N., Ferris, J., Glover, K., Goble, C., Goderis, A., Hull, D., Marvin, D., Li, P., Lord, P., Pocock, M.R., Senger, M., Stevens, R., Wipat, A., Wroe, C.: Taverna: lessons in creating a workflow environment for the life sciences: Research Articles. Concurr. Comput.: Pract. Exper.\u00a018(10), 1067\u20131100 (2006)","journal-title":"Concurr. Comput. : Pract. Exper."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Taylor, I.: Workflows for E-Science: Scientific Workflows for Grids. Springer (2007)","DOI":"10.1007\/978-1-84628-757-2"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-540-39718-2_21","volume-title":"The Semantic Web - ISWC 2003","author":"L. Chen","year":"2003","unstructured":"Chen, L., Shadbolt, N.R., Goble, C., Tao, F., Cox, S.J., Puleston, C., Smart, P.R.: Towards a Knowledge-Based Approach to Semantic Service Composition. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 319\u2013334. Springer, Heidelberg (2003)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Lud\u00e4scher, B., Altintas, I., Gupta, A.: Compiling Abstract Scientific Workflows into Web Service Workflows. In: International Conference on Scientific and Statistical Database Management, p. 251 (2003)","DOI":"10.1109\/SSDM.2003.1214990"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1007\/11431053_47","volume-title":"The Semantic Web: Research and Applications","author":"S. Potter","year":"2005","unstructured":"Potter, S., Aitken, S.: A Semantic Service Environment: A Case Study in Bioinformatics. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 694\u2013709. Springer, Heidelberg (2005)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-3-642-16558-0_26","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"D. Withers","year":"2010","unstructured":"Withers, D., Kawas, E., McCarthy, L., Vandervalk, B., Wilkinson, M.: Semantically-Guided Workflow Construction in Taverna: The SADI and BioMoby Plug-Ins. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part I. LNCS, vol.\u00a06415, pp. 301\u2013312. Springer, Heidelberg (2010)"},{"key":"5_CR11","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":"5_CR12","unstructured":"Kubczak, C., J\u00f6rges, S., Margaria, T., Steffen, B.: eXtreme Model-Driven Design with jABC. In: CTIT Proc. of the Tools and Consultancy Track of the Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA), vol.\u00a0WP09-12, pp. 78\u201399 (2009)"},{"key":"5_CR13","first-page":"308","volume-title":"Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006)","author":"C. Kubczak","year":"2006","unstructured":"Kubczak, C., Margaria, T., Fritsch, A., Steffen, B.: Biological LC\/MS Preprocessing and Analysis with jABC, jETI and xcms. In: Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), Paphos, Cyprus, November 15-19, pp. 308\u2013313. IEEE Computer Society, Paphos, Cyprus (2006)"},{"key":"5_CR14","unstructured":"Margaria, T., Kubczak, C., Njoku, M., Steffen, B.: Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. In: Procedings of 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2006), Stanford, California, Los Alamitos, CA, USA, August 15-17, pp. 169\u2013176. IEEE Computer Society (August 2006)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Margaria, T., Kubczak, C., Steffen, B.: Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BMC Bioinformatics\u00a09(suppl. 4), S12 (2008)","DOI":"10.1186\/1471-2105-9-S4-S12"},{"key":"5_CR16","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 Bio-jETI. BMC Bioinformatics\u00a09 (suppl. 4), S13 (2008)","DOI":"10.1186\/1471-2105-9-S4-S13"},{"key":"5_CR17","series-title":"LNBI","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 - An Illustration of Agile Process Design and Management in Bio-jETI. In: M\u0103ndoiu, I., Wang, S.-L., Zelikovsky, A. (eds.) ISBRA 2008. LNCS (LNBI), vol.\u00a04983, pp. 445\u2013456. Springer, Heidelberg (2008)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Margaria, T., Steffen, B.: Bio-jETI: a framework for semantics-based service composition. BMC Bioinformatics\u00a010(suppl. 10), S8 (2009)","DOI":"10.1186\/1471-2105-10-S10-S8"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Business Process Modelling in the jABC: The One-Thing-Approach. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Modeling. IGI Global (2009)","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/978-3-642-28872-2_7","volume-title":"FASE 2012","author":"S. Naujokat","year":"2012","unstructured":"Naujokat, S., Lamprecht, A.-L., Steffen, B.: Loose Programming with PROPHETS. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 94\u201398. Springer, Heidelberg (2012)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-Based Loose Programming. In: Proceedings of the 7th International Conference on the Quality of Information and Communications Technology, QUATIC (September 2010)","DOI":"10.1109\/QUATIC.2010.53"},{"key":"5_CR22","first-page":"847","volume":"51","author":"B. Steffen","year":"1997","unstructured":"Steffen, B., Margaria, T., Braun, V., Kalt, N.: Hierarchical Service Definition. Annual Review of Communications of the ACM\u00a051, 847\u2013856 (1997)","journal-title":"Annual Review of Communications of the ACM"},{"key":"5_CR23","series-title":"CCIS","first-page":"139","volume-title":"ISoLA 2008","author":"G. Jung","year":"2008","unstructured":"Jung, G., Margaria, T., Nagel, R., Schubert, W., Steffen, B., Voigt, H.: SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol.\u00a017, pp. 139\u2013154. Springer, Heidelberg (2008)"},{"issue":"10","key":"5_CR24","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. Computer\u00a039(10), 45\u201355 (2006)","journal-title":"Computer"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Margaria, T., Bosselmann, S., Doedt, M., Floyd, B. D., Steffen, B.: Customer-Oriented Business Process Management: Visions and Obstacles. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 407\u2013429. Springer London (2012)","DOI":"10.1007\/978-1-4471-2297-5_16"},{"key":"5_CR26","unstructured":"Service Component Architecture (SCA), http:\/\/www.oasis-opencsa.org\/sca\/ (2012) (online; last accessed July 26, 2012)"},{"key":"5_CR27","unstructured":"Steffen, B., Margaria, T., Freitag, B.: Module Configuration by Minimal Model Construction. Technical report, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau (1993)"},{"issue":"6","key":"5_CR28","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1016\/S0168-9525(00)02024-2","volume":"16","author":"P. Rice","year":"2000","unstructured":"Rice, P., Longden, I., Bleasby, A.: EMBOSS: the European Molecular Biology Open Software Suite. Trends in Genetics: TIG\u00a016(6), 276\u2013277 (2000)","journal-title":"Trends in Genetics: TIG"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Wessel, P., Smith, W. H. F.: Free software helps map and display data. EOS Trans. Amer. Geophys. U. 72(41) (1991)","DOI":"10.1029\/90EO00319"},{"key":"5_CR30","unstructured":"Soaplab, http:\/\/soaplab.sourceforge.net\/soaplab1\/ (online; last accessed June 25, 2012)"},{"key":"5_CR31","unstructured":"Soaplab2, http:\/\/soaplab.sourceforge.net\/soaplab2\/ (online; last accessed June 25 2012)"},{"key":"5_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/978-3-540-31980-1_38","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Margaria","year":"2005","unstructured":"Margaria, T., Nagel, R., Steffen, B.: jETI: A Tool for Remote Tool Integration. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 557\u2013562. Springer, Heidelberg (2005)"},{"key":"5_CR33","unstructured":"DDBJ Web API for Biology, http:\/\/xml.nig.ac.jp\/workflow\/ (online; temporarily suspended since February 15, 2012)"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Pillai, S., Silventoinen, V., Kallio, K., Senger, M., Sobhany, S., Tate, J., Velankar, S., Golovin, A., Henrick, K., Rice, P., Stoehr, P., Lopez, R.: SOAP-based services provided by the European Bioinformatics Institute. Nucleic Acids Research\u00a033(Web Server issue), W25\u2013W28 (July 2005)","DOI":"10.1093\/nar\/gki491"},{"key":"5_CR35","doi-asserted-by":"crossref","first-page":"W6","DOI":"10.1093\/nar\/gkm291","volume":"35","author":"A. Labarga","year":"2007","unstructured":"Labarga, A., Valentin, F., Anderson, M., Lopez, R.: Web services at the European bioinformatics institute. Nucleic Acids Research\u00a035(Web Server issue), W6\u2013W11 (2007)","journal-title":"Nucleic Acids Research"},{"key":"5_CR36","unstructured":"Lamprecht, A., Margaria, T., Schaefer, I., Steffen, B.: Synthesis-based variability control: correctness by construction. In: Proceedings of FMCO 2011, Software Technologies Concertation Meeting on \u201dFormal Methods for Components and Objects\u201d, Torino, Italy (October 2011)"},{"key":"5_CR37","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Semantics-based composition of EMBOSS services. Journal of Biomedical Semantics\u00a02(suppl. 1), S5 (2011)","DOI":"10.1186\/2041-1480-2-S1-S5"},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Steffen, B., Margaria, T.: Constraint-Guided Workflow Composition Based on the EDAM Ontology. In: Burger, A., Marshall, M.S., Romano, P., Paschke, A., Splendiani, A. (eds.) Proceedings of the 3rd Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2010). CEUR Workshop Proceedings, vol.\u00a0698 (December 2010)","DOI":"10.1038\/npre.2010.5397.1"},{"key":"5_CR39","doi-asserted-by":"crossref","unstructured":"Pettifer, S., Ison, J., Kalas, M., Thorne, D., McDermott, P., Jonassen, I., Liaquat, A., Fernandez, J.M., Rodriguez, J.M., Partners, I., Pisano, D.G., Blanchet, C., Uludag, M., Rice, P., Bartaseviciute, E., Rapacki, K., Hekkelman, M., Sand, O., Stockinger, H., Clegg, A.B., Bongcam-Rudloff, E., Salzemann, J., Breton, V., Attwood, T.K., Cameron, G., Vriend, G.: The EMBRACE web service collection. Nucl. Acids Res., gkq297 (May 2010)","DOI":"10.1093\/nar\/gkq297"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:24:16Z","timestamp":1744205056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}