{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:27:30Z","timestamp":1725805650540},"publisher-location":"Berlin, Heidelberg","reference-count":79,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662450055"},{"type":"electronic","value":"9783662450062"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45006-2_1","type":"book-chapter","created":{"date-parts":[[2014,9,19]],"date-time":"2014-09-19T13:45:24Z","timestamp":1411134324000},"page":"1-13","source":"Crossref","is-referenced-by-count":1,"title":["Scientific Workflows and XMDD"],"prefix":"10.1007","author":[{"given":"Anna-Lena","family":"Lamprecht","sequence":"first","affiliation":[]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Lamprecht, A.L., Margaria, T., Steffen, B.: Bioinformatics: Processes and Workflows. In: Laplante, P.A. (ed.) Encyclopedia of Software Engineering, pp. 118\u2013130. Taylor & Francis (November 2010)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Taylor, I.J., Deelman, E., Gannon, D.B., Shields, M.: Workflows for E-Science: Scientific Workflows for Grids. Springer (2007)","DOI":"10.1007\/978-1-84628-757-2"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Qin, J., Fahringer, T.: Scientific Workflows - Programming, Optimization, and Synthesis with ASKALON and AWDL. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-30715-7"},{"key":"1_CR4","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.: Agile IT: 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":"1_CR5","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"},{"issue":"10","key":"1_CR6","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1109\/MC.2009.315","volume":"42","author":"T. Margaria","year":"2009","unstructured":"Margaria, T., Steffen, B.: Continuous Model-Driven Engineering. IEEE Computer\u00a042(10), 106\u2013109 (2009)","journal-title":"IEEE Computer"},{"issue":"6","key":"1_CR7","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MC.2010.177","volume":"43","author":"T. Margaria","year":"2010","unstructured":"Margaria, T., Steffen, B.: Simplicity as a Driver for Agile Innovation. Computer\u00a043(6), 90\u201392 (2010)","journal-title":"Computer"},{"key":"1_CR8","unstructured":"Steffen, B., Margaria, T., Wagner, C.: 94. In: Round-Trip Engineering, pp. 1044\u20131055. Taylor & Francis (2010)"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-1-4471-2297-5_10","volume-title":"Conquering Complexity","author":"T. Margaria","year":"2012","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)"},{"key":"1_CR10","unstructured":"Beck, K., Andres, C.: Extreme programming explained: embrace change. Addison-Wesley Professional (2004)"},{"key":"1_CR11","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., Reitenspiess, 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":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Akit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"issue":"2","key":"1_CR13","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D.C. Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest Editor\u2019s Introduction: Model-Driven Engineering. IEEE Computer\u00a039(2), 25\u201331 (2006)","journal-title":"IEEE Computer"},{"key":"1_CR14","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)"},{"issue":"1-2","key":"1_CR15","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s100090050003","volume":"1","author":"B. Steffen","year":"1997","unstructured":"Steffen, B., Margaria, T., Braun, V.: The Electronic Tool Integration platform: concepts and design. International Journal on Software Tools for Technology Transfer (STTT)\u00a01(1-2), 9\u201330 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"1_CR16","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":"1_CR17","unstructured":"Romano, P., Schrder, M., Cannata, N., Signore, O. (eds.): Proceedings of the 7th International Workshop NETTAB 2007: A Semantic Web for Bioinformatics - Goals, Tools, Systems, Applications (June 2007)"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Burger, A., Paschke, A., Romano, P., Splendiani, A.: Semantic Web Applications and Tools for Life Sciences 2008. In: Proc. of 1st Workshop SWAT4LS 2008. CEUR Workshop Proceedings, Edinburgh (November 2008)","DOI":"10.1186\/1471-2105-10-S10-S1"},{"key":"1_CR19","unstructured":"Marshall, M.S., Burger, A., Romano, P., Paschke, A., Splendiani, A.: Semantic Web Applications and Tools for Life Sciences 2009. In: Proc. of 2nd Workshop SWAT4LS 2009. CEUR Workshop Proceedings, Amsterdam, The Netherlands (November 2009)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Burger, A., Marshall, M., Romano, P., Paschke, A.: Proceedings of 3rd Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2010). In: CEUR Workshop Proceedings, Berlin, Germany (December 2010)","DOI":"10.1186\/1471-2105-13-S1-S1"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Katayama, T., Wilkinson, M., Micklem, G., Kawashima, S., Yamaguchi, A., Nakao, M., Yamamoto, Y., Okamoto, S., Oouchida, K., Chun, H.W., Aerts, J., Afzal, H., Antezana, E., Arakawa, K., Aranda, B., Belleau, F., Bolleman, J., Bonnal, R., Chapman, B., Cock, P., Eriksson, T., Gordon, P., Goto, N., Hayashi, K., Horn, H., Ishiwata, R., Kaminuma, E., Kasprzyk, A., Kawaji, H., Kido, N., Kim, Y., Kinjo, A., Konishi, F., Kwon, K.H., Labarga, A., Lamprecht, A.L., Lin, Y., Lindenbaum, P., McCarthy, L., Morita, H., Murakami, K., Nagao, K., Nishida, K., Nishimura, K., Nishizawa, T., Ogishima, S., Ono, K., Oshita, K., Park, K.J., Prins, P., Saito, T., Samwald, M., Satagopam, V., Shigemoto, Y., Smith, R., Splendiani, A., Sugawara, H., Taylor, J., Vos, R., Withers, D., Yamasaki, C., Zmasek, C., Kawamoto, S., Okubo, K., Asai, K., Takagi, T.: Lamprecht: The 3rd DBCLS BioHackathon: improving life science data integration with Semantic Web technologies. Journal of Biomedical Semantics\u00a04(1) (2013)","DOI":"10.1186\/2041-1480-4-6"},{"key":"1_CR22","unstructured":"Margaria, T., Kubczak, C., Njoku, M., Steffen, B.: Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. In: Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2006), pp. 169\u2013176. IEEE Computer Society, Los Alamitos (August 2006)"},{"key":"1_CR23","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":"1_CR24","doi-asserted-by":"crossref","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), pp. 308\u2013313. IEEE Computer Society, Paphos (2006)","DOI":"10.1109\/ISoLA.2006.48"},{"key":"1_CR25","unstructured":"The R Project for Statistical Computing, http:\/\/www.r-project.org\/ (Online; last accessed May 5, 2013)"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Smith, C.A., Want, E.J., O\u2019Maille, G., Abagyan, R., Siuzdak, G.: XCMS: Processing Mass Spectrometry Data for Metabolite Profiling Using Nonlinear Peak Alignment, Matching, and Identification. Analytical Chemistry\u00a078(3), 779\u2013787 (2006); PMID: 16448051","DOI":"10.1021\/ac051437y"},{"key":"1_CR27","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 9(suppl. 4), S13 (2008)","DOI":"10.1186\/1471-2105-9-S4-S13"},{"key":"1_CR28","unstructured":"Giegerich, R., Meyer, F., Schleiermacher, C.: GeneFisher \u2013 software support for the detection of postulated genes. In: Proceedings of the International Conference on Intelligent Systems for Molecular Biology (ISMB), vol.\u00a04, pp. 68\u201377 (1996)"},{"key":"1_CR29","unstructured":"Hagemeier, D.: GeneFisher2 - an AJAX based implementation of GeneFisher-P. Bachelor\u2019s thesis, University Bielefeld, Faculty of Technology (December 2006)"},{"key":"1_CR30","unstructured":"Borner, J.: A molecular approach to chelicerate phylogeny. Diploma thesis, Universit\u00e4t Hamburg (2010)"},{"key":"1_CR31","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 - 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)"},{"issue":"4","key":"1_CR32","doi-asserted-by":"publisher","first-page":"872","DOI":"10.3390\/metabo2040872","volume":"2","author":"B.E. Ebert","year":"2012","unstructured":"Ebert, B.E., Lamprecht, A.L., Steffen, B., Blank, L.M.: Flux-P: Automating Metabolic Flux Analysis. Metabolites\u00a02(4), 872\u2013890 (2012)","journal-title":"Metabolites"},{"issue":"3","key":"1_CR33","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1006\/mben.2001.0187","volume":"3","author":"W. Wiechert","year":"2001","unstructured":"Wiechert, W.: 13C metabolic flux analysis. Metabolic Engineering\u00a03(3), 195\u2013206 (2001)","journal-title":"Metabolic Engineering"},{"key":"1_CR34","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1186\/1471-2105-6-209","volume":"6","author":"N. Zamboni","year":"2005","unstructured":"Zamboni, N., Fischer, E., Sauer, U.: FiatFlux a software for metabolic flux analysis from 13C-glucose experiments. BMC Bioinformatics\u00a06, 209 (2005)","journal-title":"BMC Bioinformatics"},{"key":"1_CR35","series-title":"IFIP AICT","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/978-3-642-41151-9_45","volume-title":"Environmental Software Systems. Fostering Information Sharing","author":"M. Wrobel","year":"2013","unstructured":"Wrobel, M., Bisaro, A., Reusser, D., Kropp, J.P.: Novel Approaches for Web-Based Access to Climate Change Adaptation Information MEDIATION Adaptation Platform and ci:grasp-2. In: H\u0159eb\u00ed\u010dek, J., Schimak, G., Kub\u00e1sek, M., Rizzoli, A.E. (eds.) ISESS 2013. IFIP AICT, vol.\u00a0413, pp. 489\u2013499. Springer, Heidelberg (2013)"},{"key":"1_CR36","unstructured":"Al-areqi, S., Kriewald, S., Lamprecht, A.L., Reusser, D., Wrobel, M., Margaria, T.: Agile Workflows for Climate Impact Risk Assessment based on the ci:grasp Platform and the jABC Modeling Framework. In: International Environmental Modelling and Software Society (iEMSs) 7th Intl. Congress on Env. Modelling and Software (accepted, 2014)"},{"key":"1_CR37","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":"1_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-45389-2","volume-title":"User-Level Workflow Design","author":"A.-L. Lamprecht","year":"2013","unstructured":"Lamprecht, A.-L.: User-Level Workflow Design. LNCS, vol.\u00a08311. Springer, Heidelberg (2013)"},{"key":"1_CR39","unstructured":"Altintas, I., Berkley, C., Jaeger, E., Jones, M., Ludscher, B., Mock, S.: Kepler: An Extensible System for Design and Execution of Scientific Workflows. In: Proceedings of the 16th International Conference on Scientific and Statistical Database Management (SSDBM 2004), pp. 21\u201323. IEEE Computer Society (June 2004)"},{"issue":"17","key":"1_CR40","doi-asserted-by":"publisher","first-page":"3045","DOI":"10.1093\/bioinformatics\/bth361","volume":"20","author":"T. Oinn","year":"2004","unstructured":"Oinn, T., Addis, M., Ferris, J., Marvin, D., Senger, M., Greenwood, M., Carver, T., Glover, K., Pocock, M.R., Wipat, A., Li, P.: Taverna: A tool for the composition and enactment of bioinformatics workflows. Bioinformatics\u00a020(17), 3045\u20133054 (2004)","journal-title":"Bioinformatics"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Hull, D., Wolstencroft, K., Stevens, R., Goble, C., Pocock, M.R., Li, P., Oinn, T.: Taverna: A tool for building and running workflows of services. Nucleic Acids Research 34(Web Server), W729\u2013W732 (2006)","DOI":"10.1093\/nar\/gkl320"},{"key":"1_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/978-3-642-13818-8_33","volume-title":"Scientific and Statistical Database Management","author":"P. Missier","year":"2010","unstructured":"Missier, P., Soiland-Reyes, S., Owen, S., Tan, W., Nenadic, A., Dunlop, I., Williams, A., Oinn, T., Goble, C.: Taverna, reloaded. In: Gertz, M., Lud\u00e4scher, B. (eds.) SSDBM 2010. LNCS, vol.\u00a06187, pp. 471\u2013481. Springer, Heidelberg (2010)"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Wolstencroft, K., Haines, R., Fellows, D., Williams, A., Withers, D., Owen, S., Soiland-Reyes, S., Dunlop, I., Nenadic, A., Fisher, P., Bhagat, J., Belhajjame, K., Bacall, F., Hardisty, A., Nieva de la Hidalga, A., Balcazar Vargas, M.P., Sufi, S., Goble, C.: The Taverna workflow suite: designing and executing workflows of Web Services on the desktop, web or in the cloud. Nucleic Acids Research\u00a041(W1), W557\u2013W561 (2013)","DOI":"10.1093\/nar\/gkt328"},{"key":"1_CR44","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-1-84628-757-2_20","volume-title":"Workflows for e-Science","author":"I. Taylor","year":"2007","unstructured":"Taylor, I., Shields, M., Wang, I., Harrison, A.: The Triana Workflow Environment: Architecture and Applications. In: Workflows for e-Science, pp. 320\u2013339. Springer, New York (2007)"},{"key":"1_CR45","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1155\/2005\/128026","volume":"13","author":"E. Deelman","year":"2005","unstructured":"Deelman, E., Singh, G., Hui Su, M., Blythe, J., Gil, A., Kesselman, C., Mehta, G., Vahi, K., Berriman, G.B., Good, J., Laity, A., Jacob, J.C., Katz, D.S.: Pegasus: A framework for mapping complex scientific workflows onto distributed systems. Scientific Programming Journal\u00a013, 219\u2013237 (2005)","journal-title":"Scientific Programming Journal"},{"issue":"1","key":"1_CR46","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J. Eker","year":"2003","unstructured":"Eker, J., Janneck, J., Lee, E., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity - the Ptolemy approach. Proceedings of the IEEE\u00a091(1), 127\u2013144 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Margaria, T., Steffen, B.: Bio-jETI: A framework for semantics-based service composition. BMC Bioinformatics 10(suppl. 10), 8 (2009)","DOI":"10.1186\/1471-2105-10-S10-S8"},{"key":"1_CR48","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Semantics-based composition of EMBOSS services. Journal of Biomedical Semantics 2(suppl. 1), S5 (2011)","DOI":"10.1186\/2041-1480-2-S1-S5"},{"key":"1_CR49","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 International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2010), vol.\u00a0698. CEUR Workshop Proceedings (December 2010)","DOI":"10.1038\/npre.2010.5397"},{"issue":"2","key":"1_CR50","first-page":"78","volume":"17","author":"B. Steffen","year":"1996","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., Braun, V.: Incremental Formalization: A Key to Industrial Success. Software - Concepts and Tools\u00a017(2), 78\u201395 (1996)","journal-title":"Software - Concepts and Tools"},{"key":"1_CR51","first-page":"65","volume":"8","author":"B. Jonsson","year":"2001","unstructured":"Jonsson, B., Margaria, T., Naeser, G., Nystr\u00f6m, J., Steffen, B.: Incremental requirement specification for evolving systems. Nordic J. of Computing\u00a08, 65\u201387 (2001)","journal-title":"Nordic J. of Computing"},{"key":"1_CR52","unstructured":"Steffen, B., Margaria, T., von der Beeck, M.: Automatic synthesis of linear process models from temporal constraints: An incremental approach. In: ACM\/SIGPLAN International Workshop on Automated Analysis of Software, AAS 1997 (1997)"},{"issue":"4","key":"1_CR53","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1093\/bib\/3.4.331","volume":"3","author":"M.D. Wilkinson","year":"2002","unstructured":"Wilkinson, M.D., Links, M.: BioMOBY: An open source biological web services proposal. Briefings in Bioinformatics\u00a03(4), 331\u2013341 (2002)","journal-title":"Briefings in Bioinformatics"},{"issue":"5","key":"1_CR54","doi-asserted-by":"publisher","first-page":"837","DOI":"10.1016\/j.jbi.2008.02.005","volume":"41","author":"M. DiBernardo","year":"2008","unstructured":"DiBernardo, M., Pottinger, R., Wilkinson, M.: Semi-automatic web service composition for the life sciences using the BioMoby semantic web framework. Journal of Biomedical Informatics\u00a041(5), 837\u2013847 (2008)","journal-title":"Journal of Biomedical Informatics"},{"key":"1_CR55","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":"1_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-642-16558-0_28","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"J. Karlsson","year":"2010","unstructured":"Karlsson, J., Mart\u00edn-Requena, V., R\u00edos, J., Trelles, O.: Workflow composition and enactment using jORCA. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part I. LNCS, vol.\u00a06415, pp. 328\u2013339. Springer, Heidelberg (2010)"},{"issue":"4","key":"1_CR57","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1093\/bioinformatics\/btp709","volume":"26","author":"V. Mart\u00edn-Requena","year":"2010","unstructured":"Mart\u00edn-Requena, V., R\u00edos, J., Garc\u00eda, M., Ram\u00edrez, S., Trelles, O.: jORCA: easily integrating bioinformatics Web Services. Bioinformatics\u00a026(4), 553\u2013559 (2010)","journal-title":"Bioinformatics"},{"key":"1_CR58","first-page":"13","volume-title":"Proceedings of the IEEE Services Computing Conference, APSCC 2009","author":"M.D. Wilkinson","year":"2009","unstructured":"Wilkinson, M.D., Vandervalk, B., McCarthy, L.: SADI Semantic Web Services - \u2019cause you can\u2019t always GET what you want! In: Proceedings of the IEEE Services Computing Conference, APSCC 2009, December 7-11, pp. 13\u201318. IEEE Asia-Pacific, Singapore (2009)"},{"issue":"1","key":"1_CR59","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1186\/2041-1480-2-8","volume":"2","author":"M.D. Wilkinson","year":"2011","unstructured":"Wilkinson, M.D., Vandervalk, B., McCarthy, L.: The Semantic Automated Discovery and Integration (SADI) Web service Design-Pattern, API and Reference Implementation. Journal of Biomedical Semantics\u00a02(1), 8 (2011)","journal-title":"Journal of Biomedical Semantics"},{"key":"1_CR60","unstructured":"Gil, Y., Ratnakar, V., Deelman, E., Mehta, G., Kim, J.: Wings for Pegasus: creating large-scale scientific applications using semantic representations of computational workflows. In: Proceedings of the 19th National Conference on Innovative Applications of Artificial Intelligence, vol.\u00a02, pp. 1767\u20131774. AAAI Press (2007)"},{"key":"1_CR61","series-title":"CCIS","first-page":"1","volume-title":"Process Design for Natural Scientists","author":"A.L. Lamprecht","year":"2014","unstructured":"Lamprecht, A.L., Margaria, T.: Scientific Workflows and XMDD. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 1\u201313. Springer, Heidelberg (2014)"},{"key":"1_CR62","series-title":"CCIS","first-page":"14","volume-title":"Process Design for Natural Scientists","author":"A.L. Lamprecht","year":"2014","unstructured":"Lamprecht, A.L., Margaria, T., Steffen, B.: Modeling and Execution of Scientific Workflows in the jABC Framework. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 14\u201329. Springer, Heidelberg (2014)"},{"key":"1_CR63","series-title":"CCIS","first-page":"30","volume-title":"Process Design for Natural Scientists","author":"A.L. Lamprecht","year":"2014","unstructured":"Lamprecht, A.L., Wickert, A.: The Course\u2019s SIB Libraries. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 30\u201344. Springer, Heidelberg (2014)"},{"key":"1_CR64","series-title":"CCIS","first-page":"45","volume-title":"Process Design for Natural Scientists","author":"A.L. Lamprecht","year":"2014","unstructured":"Lamprecht, A.L., Wickert, A., Margaria, T.: Lessons Learned. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 45\u201364. Springer, Heidelberg (2014)"},{"key":"1_CR65","series-title":"CCIS","first-page":"65","volume-title":"Process Design for Natural Scientists","author":"J. Reso","year":"2014","unstructured":"Reso, J.: Protein Classification Workflow. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 65\u201372. Springer, Heidelberg (2014)"},{"key":"1_CR66","series-title":"CCIS","first-page":"73","volume-title":"Process Design for Natural Scientists","author":"L. Blaese","year":"2014","unstructured":"Blaese, L.: Data Mining for Unidentified Protein Sequences. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 73\u201387. Springer, Heidelberg (2014)"},{"key":"1_CR67","series-title":"CCIS","first-page":"88","volume-title":"Process Design for Natural Scientists","author":"G. Schulze","year":"2014","unstructured":"Schulze, G.: Workflow for Rapid Metagenome Analysis. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 88\u2013100. Springer, Heidelberg (2014)"},{"key":"1_CR68","series-title":"CCIS","first-page":"101","volume-title":"Process Design for Natural Scientists","author":"M. Lis","year":"2014","unstructured":"Lis, M.: Constructing a Phylogenetic Tree. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 101\u2013109. Springer, Heidelberg (2014)"},{"key":"1_CR69","series-title":"CCIS","first-page":"110","volume-title":"Process Design for Natural Scientists","author":"J. Vierheller","year":"2014","unstructured":"Vierheller, J.: Exploratory Data Analysis. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 110\u2013126. Springer, Heidelberg (2014)"},{"key":"1_CR70","series-title":"CCIS","first-page":"127","volume-title":"Process Design for Natural Scientists","author":"C. Schtt","year":"2014","unstructured":"Schtt, C.: Identification of Differentially Expressed Genes. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 127\u2013139. Springer, Heidelberg (2014)"},{"key":"1_CR71","series-title":"CCIS","first-page":"140","volume-title":"Process Design for Natural Scientists","author":"C. Kuntzsch","year":"2014","unstructured":"Kuntzsch, C.: Visualization of Data Transfer Paths. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 140\u2013148. Springer, Heidelberg (2014)"},{"key":"1_CR72","series-title":"CCIS","first-page":"149","volume-title":"Process Design for Natural Scientists","author":"M. Hibbe","year":"2014","unstructured":"Hibbe, M.: Spotlocator Project Documentation. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 149\u2013158. Springer, Heidelberg (2014)"},{"key":"1_CR73","series-title":"CCIS","first-page":"159","volume-title":"Process Design for Natural Scientists","author":"D. Teske","year":"2014","unstructured":"Teske, D.: Geocoder Accuracy Ranking. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 159\u2013170. Springer, Heidelberg (2014)"},{"key":"1_CR74","series-title":"CCIS","first-page":"171","volume-title":"Process Design for Natural Scientists","author":"H. Sens","year":"2014","unstructured":"Sens, H.: Web-Based Map Generalization Tools Put to the Test: A jABC Workflow. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 171\u2013181. Springer, Heidelberg (2014)"},{"key":"1_CR75","series-title":"CCIS","first-page":"182","volume-title":"Process Design for Natural Scientists","author":"F. Noack","year":"2014","unstructured":"Noack, F.: CREADED: Coloured-Relief Application for Digital Elevation Data. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 182\u2013195. Springer, Heidelberg (2014)"},{"key":"1_CR76","series-title":"CCIS","first-page":"196","volume-title":"Process Design for Natural Scientists","author":"T. Respondeck","year":"2014","unstructured":"Respondeck, T.: A workflow for computing potential areas for wind turbines. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 196\u2013211. Springer, Heidelberg (2014)"},{"key":"1_CR77","series-title":"CCIS","first-page":"212","volume-title":"Process Design for Natural Scientists","author":"L. Scheele","year":"2014","unstructured":"Scheele, L.: Location Analysis for Placing Artificial Reefs. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 212\u2013224. Springer, Heidelberg (2014)"},{"key":"1_CR78","series-title":"CCIS","first-page":"225","volume-title":"Process Design for Natural Scientists","author":"J. Kind","year":"2014","unstructured":"Kind, J.: Creation of Topographic Maps. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 225\u2013234. Springer, Heidelberg (2014)"},{"key":"1_CR79","series-title":"CCIS","first-page":"235","volume-title":"Process Design for Natural Scientists","author":"R. Holler","year":"2014","unstructured":"Holler, R.: GraffDok: A Graffiti Documentation Application. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists. CCIS, vol.\u00a0500, pp. 235\u2013247. Springer, Heidelberg (2014)"}],"container-title":["Communications in Computer and Information Science","Process Design for Natural Scientists"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45006-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,17]],"date-time":"2022-04-17T11:54:15Z","timestamp":1650196455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45006-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662450055","9783662450062"],"references-count":79,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45006-2_1","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}