{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,13]],"date-time":"2024-06-13T11:08:04Z","timestamp":1718276884015},"reference-count":135,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2016,6,8]],"date-time":"2016-06-08T00:00:00Z","timestamp":1465344000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1007\/s10009-016-0427-0","type":"journal-article","created":{"date-parts":[[2016,6,8]],"date-time":"2016-06-08T07:36:30Z","timestamp":1465371390000},"page":"629-651","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Scientific workflows with the jABC framework"],"prefix":"10.1007","volume":"18","author":[{"given":"Anna-Lena","family":"Lamprecht","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,8]]},"reference":[{"key":"427_CR1","unstructured":"Cinco SCCE Meta Tooling Suite. http:\/\/cinco.scce.info . last accessed 2 May 2016"},{"key":"427_CR2","unstructured":"DDBJ Web API for Biology. http:\/\/xml.nig.ac.jp\/workflow\/ . temporarily suspended since 15 Feb 2012"},{"key":"427_CR3","unstructured":"OnlineHPC. http:\/\/onlinehpc.com\/site\/main . last accessed 15 Jan 2016"},{"key":"427_CR4","unstructured":"Pfam: RESTful interface. http:\/\/pfam.sanger.ac.uk\/help#tabview=tab10 . last accessed 9 Sept 2013"},{"key":"427_CR5","unstructured":"SCCE-service centered continuous engineering. http:\/\/scce.info . last accessed 26 Feb 2014"},{"key":"427_CR6","unstructured":"The R Project for Statistical Computing. http:\/\/www.r-project.org\/ . last accessed 5 May 2013"},{"key":"427_CR7","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 International Congress on Environmental Modelling and Software (2014) (accepted)"},{"issue":"2","key":"427_CR8","first-page":"107","volume":"9","author":"G Alonso","year":"2004","unstructured":"Alonso, G., Pautasso, C.: JOpera: a toolkit for efficient visual composition of web services. Int. J. Electron Commer. (IJEC) 9(2), 107\u2013141 (2004)","journal-title":"Int. J. Electron Commer. (IJEC)"},{"issue":"2","key":"427_CR9","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s11334-006-0003-y","volume":"2","author":"M Bajohr","year":"2005","unstructured":"Bajohr, M., Margaria, T.: MaTRICS: a service-based management tool for remote intelligent configuration of systems. Innov. Syst. Softw. Eng. (ISSE) 2(2), 99\u2013111 (2005)","journal-title":"Innov. Syst. Softw. Eng. (ISSE)"},{"key":"427_CR10","doi-asserted-by":"crossref","unstructured":"Bajohr, M., Margaria, T.: High service availability in MaTRICS for the OCS. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods. Verification and Validation, vol. 17 of Communications in Computer and Information Science, pp. 572\u2013586. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-88479-8_41"},{"key":"427_CR11","doi-asserted-by":"crossref","unstructured":"Bakera, M., J\u00f6rges, S., Margaria, T.: Test your strategy: graphical construction of strategies for connect-four. In: Proceedings of the 2009 14th IEEE international conference on engineering of complex computer systems. ICECCS \u201909, pp. 172\u2013181. IEEE Computer Society, Washington, DC, USA (2009)","DOI":"10.1109\/ICECCS.2009.51"},{"key":"427_CR12","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/s11334-009-0091-6","volume":"5","author":"M Bakera","year":"2009","unstructured":"Bakera, M., Margaria, T., Renner, C., Steffen, B.: Tool-supported enhancement of diagnosis in model-driven verification. Innov. Syst. Softw. Eng. 5, 211\u2013228 (2009)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"427_CR13","volume-title":"Objects First with Java: A Practical Introduction Using BlueJ","author":"D Barnes","year":"2009","unstructured":"Barnes, D., K\u00f6lling, M.: Objects First with Java: A Practical Introduction Using BlueJ. Pearson Education International, New York (2009)"},{"key":"427_CR14","unstructured":"Bau, D.: Pencil Code: A Programming Primer. Createspace Independent Pub (2013). https:\/\/book.pencilcode.net"},{"key":"427_CR15","volume-title":"Extreme Programming Explained: Embrace Change","author":"K Beck","year":"2004","unstructured":"Beck, K., Andres, C.: Extreme Programming Explained: Embrace Change. Addison-Wesley Professional, Boston (2004)"},{"key":"427_CR16","unstructured":"Bevan, N., Blom, J., Blythe, M., Buie, E., Christou, G., Cockton, G., Diefenbach, S., Gilmore, D., Hartmann, J., Hassenzahl, M., H\u00f6\u00f6k, K., Hornbaek, K., Karapanos, E., Kaye, J., Keinonen, T., Kilbourn, K., Kort, J., Kowalkiewicz, M., Kurosu, M., Kuutti, K., Mahlke, S., McClelland, I., Mulder, I., Rozendaal, M., Tractinsky, N., V\u00e4\u00e4n\u00e4nen-Vainio-Mattila, K., Kuijk, J.V., van Schaik, P., Visch, V., Wright, P.: User experience white paper-bringing clarity to the concept of user experience. http:\/\/www.allaboutux.org\/files\/UX-WhitePaper.pdf . Result from Dagstuhl Seminar on Demarcating User Experience, September 15\u201318, 2010 (2011)"},{"key":"427_CR17","doi-asserted-by":"crossref","unstructured":"Bhagat, J., Tanoh, F., Nzuobontane, E., Laurent, T., Orlowski, J., Roos, M., Wolstencroft, K., Aleksejevs, S., Stevens, R., Pettifer, S., Lopez, R., Goble, C.A.: BioCatalogue: a universal catalogue of web services for the life sciences. Nucleic Acids Res. 38(supp $$\\_$$ _ 2), W689\u2013694 (2010)","DOI":"10.1093\/nar\/gkq394"},{"key":"427_CR18","volume-title":"Current Protocols in Molecular Biology, chapter 19","author":"D Blankenberg","year":"2010","unstructured":"Blankenberg, D., Von Kuster, G., Coraor, N., Ananda, G., Lazarus, R., Mangan, M., Nekrutenko, A., Taylor, J.: Galaxy: a web-based genome analysis tool for experimentalists. In: Ausubel, F.M., et al. (eds.) Current Protocols in Molecular Biology, chapter 19. Wiley, New York, January (2010)"},{"key":"427_CR19","doi-asserted-by":"crossref","unstructured":"Blum, N., Magedanz, T., Kleessen, J., Margaria, T.: Enabling eXtreme model driven design of parlay X-based communications services for end-to-end multiplatform service orchestrations. In: Engineering of complex computer systems, 2009 14th IEEE international conference on, pp. 240\u2013247, June (2009)","DOI":"10.1109\/ICECCS.2009.34"},{"key":"427_CR20","unstructured":"Bordihn, H., Lamprecht, A.-L., Margaria, T.: Foundations of semantics and model checking in a software engineering course. In: Bollin, A., Margaria, T., Perseil, I. (eds.) Proceedings of the first workshop on formal methods in software engineering education and training (FMSEE&T \u201915), vol. 1385, pp. 19\u201326. CEUR Workshop Proceedings (2015)"},{"key":"427_CR21","unstructured":"Borner, J.: A molecular approach to chelicerate phylogeny. Diploma thesis, Universit\u00e4t Hamburg (2010)"},{"key":"427_CR22","doi-asserted-by":"crossref","unstructured":"Callahan, S., Freire, J., Santos, E., Scheidegger, C., Silva, C., Vo, H.: Managing the evolution of dataflows with visTrails. In: Data engineering workshops, 2006. Proceedings. 22nd international conference on, pp. 71\u201371 (2006)","DOI":"10.1109\/ICDEW.2006.75"},{"issue":"4","key":"427_CR23","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1016\/0167-8191(94)90032-9","volume":"20","author":"NJ Carriero","year":"1994","unstructured":"Carriero, N.J., Gelernter, D., Mattson, T.G., Sherman, A.H.: The Linda Alternative to Message-passing Systems. Parallel Comput. 20(4), 633\u2013655 (1994)","journal-title":"Parallel Comput."},{"key":"427_CR24","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"issue":"1","key":"427_CR25","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R Cleaveland","year":"1993","unstructured":"Cleaveland, R., Parrow, J., Steffen, B.: The concurrency workbench: a semantics-based tool for the verification of concurrent systems. ACM Trans. Program. Lang. Syst. 15(1), 36\u201372 (1993)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"427_CR26","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/s10586-009-0099-6","volume":"12","author":"V Curcin","year":"2009","unstructured":"Curcin, V., Ghanem, M., Guo, Y.: Analysing scientific workflows with computational tree logic. Clust. Comput. 12, 399\u2013419 (2009)","journal-title":"Clust. Comput."},{"key":"427_CR27","doi-asserted-by":"crossref","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. Sci. Program. J. 13:219\u2013237 (2005)","DOI":"10.1155\/2005\/128026"},{"issue":"5","key":"427_CR28","doi-asserted-by":"crossref","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. J. Biomed. Inform. 41(5), 837\u2013847 (2008)","journal-title":"J. Biomed. Inform."},{"issue":"4","key":"427_CR29","doi-asserted-by":"crossref","first-page":"872","DOI":"10.3390\/metabo2040872","volume":"2","author":"BE Ebert","year":"2012","unstructured":"Ebert, B.E., Lamprecht, A.-L., Steffen, B., Blank, L.M.: Flux-P: automating metabolic flux analysis. Metabolites 2(4), 872\u2013890 (2012)","journal-title":"Metabolites"},{"issue":"1","key":"427_CR30","doi-asserted-by":"crossref","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. Proc. IEEE 91(1), 127\u2013144 (2003)","journal-title":"Proc. IEEE"},{"key":"427_CR31","unstructured":"Frohme, M.: Agile Dom\u00e4nenmodellierung f\u00fcr prozessgesteuerte Webanwendungen. Bachelor thesis, TU Dortmund (2013)"},{"key":"427_CR32","doi-asserted-by":"crossref","unstructured":"Garijo, D., Alper, P., Belhajjame, K., Corcho O., Gil, Y., Goble, C.: Common motifs in scientific workflows: an empirical analysis. Future Gener. Comput. Syst. (2013) (In press)","DOI":"10.1109\/eScience.2012.6404427"},{"key":"427_CR33","doi-asserted-by":"crossref","unstructured":"Ghanem, M., Curcin, V., Wendel, P., Guo, Y.: Building and Using Analytical Workflows in Discovery Net, pp. 119\u2013139. Wiley, New York (2009)","DOI":"10.1002\/9780470699904.ch8"},{"key":"427_CR34","unstructured":"Giegerich, R., Meyer, F., Schleiermacher, C.: GeneFisher-software support for the detection of postulated genes. Proc. Int. Conf. Intell. Syst. Mol. Biol. (ISMB) 4, 68\u201377 (1996)"},{"key":"427_CR35","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. 2, pp. 1767\u20131774. AAAI Press (2007)"},{"key":"427_CR36","doi-asserted-by":"crossref","unstructured":"Goble, C.A., Bhagat, J., Aleksejevs, S., Cruickshank, D., Michaelides, D., Newman, D., Borkum, M., Bechhofer, S., Roos, M., Li, P., Roure, D.D.: myExperiment: a repository and social network for the sharing of bioinformatics workflows. Nucl. Acids Res. 38(suppl $$\\_$$ _ 2), W677\u2013682 (2010)","DOI":"10.1093\/nar\/gkq429"},{"key":"427_CR37","unstructured":"Hagemeier, D.: GeneFisher2-an AJAX based implementation of GeneFisher-P. Bachelor\u2019s thesis, University Bielefeld, Faculty of Technology, Dec. (2006)"},{"key":"427_CR38","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: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods. Verification and Validation, vol. 17 of communications in computer and information science, pp. 724\u2013737. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-88479-8_52"},{"key":"427_CR39","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/MIC.2005.21","volume":"9","author":"MN Huhns","year":"2005","unstructured":"Huhns, M.N., Singh, M.P.: Service-oriented computing: key concepts and principles. IEEE Internet Comput. 9, 75\u201381 (2005)","journal-title":"IEEE Internet Comput."},{"key":"427_CR40","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. Nuc. Acids Res. 34(Web Server):W729\u2013W732 (2006)","DOI":"10.1093\/nar\/gkl320"},{"key":"427_CR41","doi-asserted-by":"publisher","unstructured":"Isberner, M., Howar, F., Steffen, B.: Learning register automata: from languages to program structures. Mach. Learn. 96(1), 65\u201398 (2014). doi: 10.1007\/s10994-013-5419-7","DOI":"10.1007\/s10994-013-5419-7"},{"key":"427_CR42","doi-asserted-by":"crossref","unstructured":"Ison, J., Kala\u0161, M., Jonassen, I., Bolser, D., Uludag, M., McWilliam, H., Malone, J., Lopez, R., Pettifer, S., Rice, P.: EDAM: an ontology of bioinformatics operations, types of data and identifiers, topics and formats. Bioinformatics (2013)","DOI":"10.1093\/bioinformatics\/btt113"},{"key":"427_CR43","unstructured":"Jarvis, A., Reuter, H., Nelson, A., Guevara, E.: Hole-filled SRTM for the globe Version 4 last accessed 7 Mar 2014 (2008)"},{"key":"427_CR44","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. Nord. J. Comput. 8, 65\u201387 (2001)","journal-title":"Nord. J. Comput."},{"key":"427_CR45","volume-title":"Construction and Evolution of Code Generators-A Model-Driven and Service-Oriented Approach. Lecture Notes in Computer Science","author":"S J\u00f6rges","year":"2013","unstructured":"J\u00f6rges, S.: Construction and Evolution of Code Generators-A Model-Driven and Service-Oriented Approach. Lecture Notes in Computer Science, vol. 7747. Springer, Berlin (2013)"},{"issue":"5","key":"427_CR46","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1007\/s10009-012-0254-x","volume":"14","author":"S J\u00f6rges","year":"2012","unstructured":"J\u00f6rges, S., Lamprecht, A.-L., Margaria, T., Schaefer, I., Steffen, B.: A Constraint-based variability modeling framework. Int. J. Softw. Tools Technol. Transf. (STTT) 14(5), 511\u2013530 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"issue":"4","key":"427_CR47","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/s11334-008-0071-2","volume":"4","author":"S J\u00f6rges","year":"2008","unstructured":"J\u00f6rges, S., Margaria, T., Steffen, B.: Genesys: service-oriented construction of property conform code generators. Innov. Syst. Softw. Eng. 4(4), 361\u2013384 (2008)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"427_CR48","doi-asserted-by":"crossref","unstructured":"Karlsson, J., Mart\u00edn-Requena, V., R\u00edos, J., Trelles, O.: Workflow composition and enactment using jORCA. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods. Verification, and Validation, vol. 6415 of Lecture Notes in Computer Science, pp. 328\u2013339. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16558-0_28"},{"key":"427_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP\u201997-Object-Oriented Programming. Lecture Notes in Computer Science, vol. 1241, pp. 220\u2013242. Springer, Berlin (1997)"},{"key":"427_CR50","first-page":"2013","volume":"1","author":"S Kriewald","year":"2013","unstructured":"Kriewald, S.: srtmtools: SRTM tools. R package version 1, 2013\u201300 (2013)","journal-title":"R package version"},{"key":"427_CR51","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): 15\u201319 November 2006, Paphos, Cyprus, pp. 308\u2013313. IEEE Computer Society (2006)","DOI":"10.1109\/ISoLA.2006.48"},{"key":"427_CR52","unstructured":"Kubczak, C., Margaria, T., Steffen, B., Nagel, R.: Service-oriented Mediation with jABC\/jETI (2008)"},{"key":"427_CR53","doi-asserted-by":"crossref","unstructured":"Kubczak, C., Margaria, T., Steffen, B., Naujokat, S.: Service-oriented mediation with jETI\/jABC: verification and export. In: Proceedings of the 2007 IEEE\/WIC\/ACM international conference on web intelligence and intelligent agent technology, WI-IAT workshop, pp. 144\u2013147, Silicon Valley, California, USA, Nov. 2007. IEEE Computer Society Press (2007)","DOI":"10.1109\/WI-IATW.2007.27"},{"key":"427_CR54","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.-L.: User-Level Workflow Design-A Bioinformatics Perspective, volume 8311 of Lecture Notes in Computer Science. Springer (2013)","DOI":"10.1007\/978-3-642-45389-2"},{"key":"427_CR55","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.-L., Margaria, T.: Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions. In: Margaria, T., Steffen, B., Merten, M. (eds.) ISoLA 2012, Part I, vol. 7609 of LNCS, pp. 47\u201363. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-34026-0_5"},{"key":"427_CR56","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.-L., Margaria, T. (eds.): Process Design for Natural Scientists-An Agile Model-Driven Approach. Communications in Computer and Information Science (CCIS), vol. 500. Springer, Berlin (2014)","DOI":"10.1007\/978-3-662-45006-2"},{"key":"427_CR57","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.-L., Margaria, T.: Scientific workflows with XMDD: a way to use process modeling in computational science education. Procedia Computer Science, 51(0):1927\u20131936 (2015) (15th International Conference On Computational Science (ICCS 2015): Computational Science at the Gates of Nature)","DOI":"10.1016\/j.procs.2015.05.457"},{"key":"427_CR58","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.-L., Margaria, T., Steffen, B.: Seven variations of an alignment workflow\u2013an illustration of agile process design and management in Bio-jETI. In: Mandoiu, I., Sunderraman, R., Zelikovsky, A. (eds.) Bioinformatics research and applications, vol. 4983 of Lecture Notes in Bioinformatics, pp. 445\u2013456. Springer, Atlanta, Georgia (2008)","DOI":"10.1007\/978-3-540-79450-9_42"},{"key":"427_CR59","unstructured":"Lamprecht, A.-L., Margaria, T., Steffen, B.: Supporting process development in bio-jETI by model checking and synthesis. In: Semantic web applications and tools for life sciences (SWAT4LS 2009). CEUR workshop proceedings, vol. 435 (2008)"},{"issue":"Suppl 10","key":"427_CR60","doi-asserted-by":"crossref","first-page":"S8","DOI":"10.1186\/1471-2105-10-S10-S8","volume":"10","author":"A-L Lamprecht","year":"2009","unstructured":"Lamprecht, A.-L., Margaria, T., Steffen, B.: Bio-jETI: a framework for semantics-based service composition. BMC Bioinform. 10(Suppl 10), S8 (2009)","journal-title":"BMC Bioinform."},{"key":"427_CR61","doi-asserted-by":"publisher","unstructured":"Lamprecht, A.-L., Margaria, T., Steffen, B.: Bioinformatics: processes and workflows. In: Laplante, P.A. (ed.) Encyclopedia of Software Engineering, chapter 13, pp. 118\u2013130. Taylor & Francis, Abingdon, 11 (2010). doi: 10.1081\/E-ESE-120044612","DOI":"10.1081\/E-ESE-120044612"},{"issue":"Suppl 4","key":"427_CR62","doi-asserted-by":"crossref","first-page":"S13","DOI":"10.1186\/1471-2105-9-S4-S13","volume":"9","author":"A-L Lamprecht","year":"2008","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 Bioinform. 9(Suppl 4), S13 (2008)","journal-title":"BMC Bioinform."},{"key":"427_CR63","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 2010). Porto, Portugal, pp. 262\u2013267. IEEE, Sept (2010)","DOI":"10.1109\/QUATIC.2010.53"},{"issue":"Suppl 1","key":"427_CR64","doi-asserted-by":"crossref","first-page":"S5","DOI":"10.1186\/2041-1480-2-S1-S5","volume":"2","author":"A-L Lamprecht","year":"2011","unstructured":"Lamprecht, A.-L., Naujokat, S., Margaria, T., Steffen, B.: Semantics-based composition of EMBOSS services. J. Biomed. Semant. 2(Suppl 1), S5 (2011)","journal-title":"J. Biomed. Semant."},{"key":"427_CR65","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. 698. CEUR Workshop Proceedings, December (2010)","DOI":"10.1038\/npre.2010.5397.1"},{"key":"427_CR66","unstructured":"Lis, M.: Workflow for phylogenetic tree construction. In: Lamprecht, A.-L., Margaria, T. (eds.) Process design for natural scientists: an agile model-driven approach, vol. 500 of CCIS. Springer, Berlin (2014)"},{"key":"427_CR67","doi-asserted-by":"crossref","unstructured":"Littauer, R., Ram, K., Lud\u00e4scher, B., Michener, W., Koskela, R.: Trends in use of scientific workflows: insights from a public repository and recommendations for best practices. In: 7th international digital curation conference (2011)","DOI":"10.2218\/ijdc.v7i2.232"},{"issue":"10","key":"427_CR68","doi-asserted-by":"crossref","first-page":"1039","DOI":"10.1002\/cpe.994","volume":"18","author":"B Lud\u00e4scher","year":"2006","unstructured":"Lud\u00e4scher, B., Altintas, I., Berkley, C., Higgins, D., Jaeger, E., Jones, M., Lee, E.A., Tao, J., Zhao, Y.: Scientific workflow management and the Kepler systems. Concurr. Comput. Pract. Exp. 18(10), 1039\u20131065 (2006)","journal-title":"Concurr. Comput. Pract. Exp."},{"key":"427_CR69","doi-asserted-by":"crossref","unstructured":"Margaria, T.: Service is in the eyes of the beholder. IEEE Computer, Nov. (2007)","DOI":"10.1109\/MC.2007.398"},{"key":"427_CR70","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/978-1-4471-2297-5_16","volume-title":"Conquering Complexity","author":"T Margaria","year":"2012","unstructured":"Margaria, T., Bo\u00dfelmann, 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)"},{"key":"427_CR71","doi-asserted-by":"crossref","unstructured":"Margaria, T., Floyd, B., Lamprecht, A.-L., Camargo, R.G., Neubauer, J., Seelaender, M.: Simple management of high assurance data in long-lived interdisciplinary healthcare research: a proposal. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, vol. 8803 of LNCS. Springer, Berlin (2014)","DOI":"10.1007\/978-3-662-45231-8_44"},{"key":"427_CR72","doi-asserted-by":"crossref","unstructured":"Margaria, T., Floyd, B.D., Steffen, B.: IT simply works: simplicity and embedded systems design. In: IEEE 35th annual computer software and applications conference workshops (COMPSACW), 2011, pp. 194\u2013199, July (2011)","DOI":"10.1109\/COMPSACW.2011.42"},{"key":"427_CR73","doi-asserted-by":"crossref","unstructured":"Margaria, T., Karusseit, M.: Community usage of the online conference service: an experience report from three CS conferences. In: Proceedings of the IFIP conference on towards the knowledge society: e-commerce. e-business, e-government, pp. 497\u2013511. Kluwer, B.V., Deventer, The Netherlands (2002)","DOI":"10.1007\/978-0-387-35617-4_32"},{"key":"427_CR74","doi-asserted-by":"crossref","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\u201906), pp. 169\u2013176. IEEE Computer Society, Los Alamitos, CA, USA, Aug. (2006)","DOI":"10.1109\/ICECCS.2006.1690366"},{"issue":"Suppl 4","key":"427_CR75","doi-asserted-by":"crossref","first-page":"S12","DOI":"10.1186\/1471-2105-9-S4-S12","volume":"9","author":"T Margaria","year":"2008","unstructured":"Margaria, T., Kubczak, C., Steffen, B.: Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BMC Bioinform. 9(Suppl 4), S12 (2008)","journal-title":"BMC Bioinform."},{"key":"427_CR76","doi-asserted-by":"crossref","unstructured":"Margaria, T., Nagel, R., Steffen, B.: jETI: a tool for remote tool integration. In: Tools and algorithms for the construction and analysis of systems, vol. 3440\/2005 of LNCS, pp. 557\u2013562. Springer, Berlin\/Heidelberg (2005)","DOI":"10.1007\/978-3-540-31980-1_38"},{"key":"427_CR77","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Backtracking-free design planning by automatic synthesis in METAFrame. In: Proceedings of 1st international conference on fundamental approaches to software engineering (FASE 1998), Lisbon, Portugal, pp. 188\u2013204 (1998)","DOI":"10.1007\/BFb0053591"},{"key":"427_CR78","doi-asserted-by":"crossref","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, vol. 17 of communications in computer and information science, pp. 490\u2013502. Springer, Berlin (2009)","DOI":"10.1007\/978-3-540-88479-8_35"},{"key":"427_CR79","volume-title":"Handbook of Research on Business Process Modeling","author":"T Margaria","year":"2009","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, Pennsylvania (2009)"},{"issue":"10","key":"427_CR80","first-page":"106","volume":"42","author":"T Margaria","year":"2009","unstructured":"Margaria, T., Steffen, B.: Continuous model-driven engineering. IEEE. Comput. 42(10), 106\u2013109 (2009)","journal-title":"Continuous model-driven engineering. IEEE. Comput."},{"issue":"6","key":"427_CR81","doi-asserted-by":"crossref","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 43(6), 90\u201392 (2010)","journal-title":"Computer"},{"key":"427_CR82","doi-asserted-by":"crossref","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":"427_CR83","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B., Reitenspie\u00df, M.: Service-oriented design: the roots. In: Proc. of the 3rd Int. Conf. on service-oriented computing (ICSOC 2005), Amsterdam, The Netherlands, vol. 3826 of LNCS, pp. 450\u2013464. Springer, Berlin (2005)","DOI":"10.1007\/11596141_34"},{"issue":"4","key":"427_CR84","doi-asserted-by":"crossref","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 26(4), 553\u2013559 (2010)","journal-title":"Bioinformatics"},{"key":"427_CR85","doi-asserted-by":"crossref","unstructured":"McCabe, T.J.: A complexity measure. IEEE Trans. Softw. Eng. SE-2(4):308\u2013320, Dec 1976","DOI":"10.1109\/TSE.1976.233837"},{"key":"427_CR86","unstructured":"Migliorini, S., Gambini, M., Rosa, M.L., ter Hofstede, A.H.M.: Pattern-based evaluation of scientific workflow management systems (2011). http:\/\/eprints.qut.edu.au\/39935\/"},{"key":"427_CR87","doi-asserted-by":"crossref","unstructured":"M\u00fcller-Olm, M., Schmidt, D., Steffen, B.: Model-checking-a tutorial introduction. In: Proceedings of the 6th international symposium on static analysis (SAS \u201999), pp. 330\u2013354 (1999)","DOI":"10.1007\/3-540-48294-6_22"},{"key":"427_CR88","doi-asserted-by":"crossref","unstructured":"Naujokat, S., Lamprecht, A.-L., Steffen, B.: Loose programming with PROPHETS. In: de Lara, J., Zisman, A. (eds.) Proc. of the 15th Int. Conf. on fundamental approaches to software engineering (FASE 2012), Tallinn, Estonia, vol. 7212 of LNCS, pp. 94\u201398. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-28872-2_7"},{"key":"427_CR89","unstructured":"Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools (2015) (to appear)"},{"key":"427_CR90","unstructured":"Naujokat, S., Lybecait, M., Steffen, B., Kopetzki, D., Margaria, T.: Full generation of domain-specific graphical modeling tools: a meta $$^2$$ 2 modeling approach. (2015) (under submission)"},{"key":"427_CR91","doi-asserted-by":"crossref","unstructured":"Naujokat, S., Traonouez, L.-M., Isberner, M., Steffen, B., Legay, A.: Domain-specific code generator modeling: a case study for multi-faceted concurrent systems. In: Proc. of the 6th Int. Symp. on leveraging applications of formal methods, verification and validation, Part I (ISoLA 2014), vol. 8802 of LNCS, pp 463\u2013480. Springer, Berlin (2014)","DOI":"10.1007\/978-3-662-45234-9_33"},{"key":"427_CR92","unstructured":"Neubauer, J.: Higher-order process engineering. Phd thesis, Technische Universit\u00e4t Dortmund (2014)"},{"key":"427_CR93","unstructured":"Neubauer, J.: Higher-order process engineering: The technical background. Technical report, Technische Universit\u00e4t Dortmund, April (2014)"},{"key":"427_CR94","doi-asserted-by":"crossref","unstructured":"Neubauer, J., Frohme, M., Steffen, B., Margaria, T.: Prototype-driven development of web applications with DyWA. In: Proc. of the 6th Int. Symp. on leveraging applications of formal methods, verification and validation, Part I (ISoLA 2014), number 8802 in LNCS, pp. 56\u201372. Springer, Berlin (2014)","DOI":"10.1007\/978-3-662-45234-9_5"},{"key":"427_CR95","doi-asserted-by":"crossref","unstructured":"Neubauer, J., Margaria, T., Steffen, B.: Design for verifiability: the OCS case study. In: Formal methods for industrial critical systems: a survey of applications, chapter 8, pp. 153\u2013178. Wiley-IEEE Computer Society Press, Mar. (2013)","DOI":"10.1002\/9781118459898.ch8"},{"key":"427_CR96","doi-asserted-by":"crossref","first-page":"259","DOI":"10.4204\/EPTCS.129.16","volume":"129","author":"J Neubauer","year":"2013","unstructured":"Neubauer, J., Steffen, B., Margaria, T.: Higher-order process modeling: product-lining, variability modeling and beyond. Electron. Proc. Theor. Comput. Sci. 129, 259\u2013283 (2013)","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"issue":"10","key":"427_CR97","doi-asserted-by":"crossref","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. Exp. 18(10), 1067\u20131100 (2006)","journal-title":"Concurr. Comput. Pract. Exp."},{"key":"427_CR98","volume-title":"Scientific Workflows-Programming, Optimization, and Synthesis with ASKALON and AWDL","author":"J Qin","year":"2012","unstructured":"Qin, J., Fahringer, T.: Scientific Workflows-Programming, Optimization, and Synthesis with ASKALON and AWDL. Springer, Berlin (2012)"},{"issue":"11","key":"427_CR99","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1145\/1592761.1592779","volume":"52","author":"M Resnick","year":"2009","unstructured":"Resnick, M., Maloney, J., Hern\u00e1ndez, A.M., Rusk, N., Eastmond, E., Brennan, K., Millner, A., Rosenbaum, E., Silver, J., Silverman, B., Kafai, Y.: Scratch: programming for All. Commun. ACM 52(11), 60\u201367 (2009)","journal-title":"Commun. ACM"},{"key":"427_CR100","doi-asserted-by":"crossref","unstructured":"Reso, J.: Protein classification workflow. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists: An Agile Model-Driven Approach, vol. 500 of CCIS. Springer, Berlin (2014)","DOI":"10.1007\/978-3-662-45006-2_5"},{"issue":"2","key":"427_CR101","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest editor\u2019s introduction: model-driven engineering. IEEE Comput. 39(2), 25\u201331 (2006)","journal-title":"IEEE Comput."},{"key":"427_CR102","doi-asserted-by":"crossref","unstructured":"Sch\u00fctt, C.: Identification of differentially expressed genes. In: Lamprecht, A.-L., Margaria, T. (eds.) Process Design for Natural Scientists: An Agile Model-Driven Approach, vol. 500 of CCIS. Springer, Berlin (2014)","DOI":"10.1007\/978-3-662-45006-2_10"},{"key":"427_CR103","unstructured":"Simon, M.: Automatisierte Konstruktion thematischer Karten-Kartentypen, Prozessdefinition und Prozesssteuerung. Master\u2019s thesis., University of Potdam (2014)"},{"issue":"3","key":"427_CR104","doi-asserted-by":"crossref","first-page":"779","DOI":"10.1021\/ac051437y","volume":"78","author":"CA Smith","year":"2006","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. Anal. Chem. 78(3), 779\u2013787 (2006)","journal-title":"Anal. Chem."},{"key":"427_CR105","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/j.jss.2013.08.032","volume":"87","author":"D St\u00e5hl","year":"2014","unstructured":"St\u00e5hl, D., Bosch, J.: Modeling continuous integration practice differences in industry software development. J. Syst. Softw. 87, 48\u201359 (2014)","journal-title":"J. Syst. Softw."},{"key":"427_CR106","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/978-3-642-21455-4_8","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"B Steffen","year":"2011","unstructured":"Steffen, B., Howar, F., Merten, M.: Introduction to active automata learning from a practical perspective. In: Bernardo, M., Issarny, V. (eds.) Formal Methods for Eternal Networked Software Systems. Lecture Notes in Computer Science, vol. 6659, pp. 256\u2013296. Springer, Berlin (2011)"},{"key":"427_CR107","doi-asserted-by":"crossref","unstructured":"Steffen, B., Margaria, T.: METAFrame in practice: design of intelligent network services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design, vol. 1710 of Lecture Notes in Computer Science, pp. 390\u2013415. Springer, Berlin (1999)","DOI":"10.1007\/3-540-48092-7_17"},{"issue":"1\u20132","key":"427_CR108","doi-asserted-by":"crossref","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. Int. J. Softw. Tools Technol. Transf. (STTT) 1(1\u20132), 9\u201330 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"427_CR109","first-page":"847","volume":"51","author":"B Steffen","year":"1997","unstructured":"Steffen, B., Margaria, T., Braun, V., Kalt, N.: Hierarchical service definition. Annu. Rev. Commun. ACM 51, 847\u2013856 (1997)","journal-title":"Annu. Rev. Commun. ACM"},{"key":"427_CR110","doi-asserted-by":"crossref","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., Braun, V.: The METAFrame\u201995 environment. In: CAV, pp. 450\u2013453 (1996)","DOI":"10.1007\/3-540-61474-5_100"},{"issue":"2","key":"427_CR111","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. Softw. Concepts Tools 17(2), 78\u201395 (1996)","journal-title":"Softw. Concepts Tools"},{"key":"427_CR112","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)"},{"key":"427_CR113","doi-asserted-by":"crossref","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.) Hardware and Software. Verification and Testing, vol. 4383 of Lecture Notes in Computer Science, pp. 92\u2013108. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-70889-6_7"},{"key":"427_CR114","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\u201997) (1997)"},{"key":"427_CR115","doi-asserted-by":"publisher","unstructured":"Steffen, B., Margaria, T., Wagner, C.: Round-Trip Engineering, chapter 96, pp. 1044\u20131055. Taylor & Francis, Abingdon (2010). doi: 10.1081\/E-ESE-120044648","DOI":"10.1081\/E-ESE-120044648"},{"key":"427_CR116","doi-asserted-by":"crossref","unstructured":"Taylor, I., Shields, M., Wang, I., Harrison, A.: The triana workflow environment: architecture and applications. In: Workflows for e-Science, chapter 20, pp. 320\u2013339. Springer, New York, Secaucus, NJ, USA (2007)","DOI":"10.1007\/978-1-84628-757-2_20"},{"key":"427_CR117","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a truly declarative service flow language. In: Web Services and Formal Methods. Third International Workshop, vol. 4184 of Lecture Notes in Computer Science, pp. 1\u201323. Springer, Berlin\/Heidelberg, Sept. (2006)","DOI":"10.1007\/11841197_1"},{"issue":"4","key":"427_CR118","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"WMP Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245\u2013275 (2005)","journal-title":"Inf. Syst."},{"issue":"1","key":"427_CR119","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"WMP Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1), 5\u201351 (2003)","journal-title":"Workflow patterns. Distrib. Parallel Databases"},{"key":"427_CR120","doi-asserted-by":"crossref","unstructured":"Vierheller, J.: Exploratory data analysis. In: Process Design for Natural Scientists: An Agile Model-Driven Approach, vol. 500 of CCIS. Springer, Berlin, Heidelberg (2014)","DOI":"10.1007\/978-3-662-45006-2_9"},{"key":"427_CR121","doi-asserted-by":"crossref","unstructured":"von der Beeck, M., Braun, V., Cla\u00dfen, A., Dannecker, A., Friedrich, C., Kosch\u00fctzki, D., Margaria, T., Schreiber, F., Steffen, B.: Graphs in METAFrame: the unifying power of polymorphism. In: Brinksma, E. (ed.) TACAS, pp. 112\u2013129 (1997)","DOI":"10.1007\/BFb0035384"},{"key":"427_CR122","doi-asserted-by":"crossref","unstructured":"Wassink, I., van der Vet, P.E., Wolstencroft, K., Neerincx, P.B., Roos, M., Rauwerda, H., Breit, T.M.: Analysing scientific workflows: why workflows not only connect web services. In: Services, IEEE Congress on, pp. 314\u2013321 (2009)","DOI":"10.1109\/SERVICES-I.2009.48"},{"key":"427_CR123","unstructured":"P. D. W. WebServices. http:\/\/wortschatz.uni-leipzig.de\/Webservices\/ . last accessed 15 Jan 2016"},{"key":"427_CR124","doi-asserted-by":"crossref","unstructured":"Wickert, A., Lamprecht, A.-L.: jABCstats: an extensible process library for the empirical analysis of jABC workflows. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, vol. 8803 of Lecture Notes in Computer Science, pp. 449\u2013463. Springer, Berlin (2014)","DOI":"10.1007\/978-3-662-45231-8_35"},{"issue":"3","key":"427_CR125","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1006\/mben.2001.0187","volume":"3","author":"W Wiechert","year":"2001","unstructured":"Wiechert, W.: 13C metabolic flux analysis. Metab. Eng. 3(3), 195\u2013206 (2001)","journal-title":"Metab. Eng."},{"issue":"4","key":"427_CR126","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1093\/bib\/3.4.331","volume":"3","author":"MD Wilkinson","year":"2002","unstructured":"Wilkinson, M.D., Links, M.: BioMOBY: an open source biological web services proposal. Brief. Bioinform. 3(4), 331\u2013341 (2002)","journal-title":"Brief. Bioinform."},{"key":"427_CR127","doi-asserted-by":"crossref","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: 7\u201311 December 2009, Singapore. APSCC 2009, pp. 13\u201318. IEEE Asia-Pacific (2009)","DOI":"10.1109\/APSCC.2009.5394148"},{"issue":"1","key":"427_CR128","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1186\/2041-1480-2-8","volume":"2","author":"MD 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. J. Biomed. Semant. 2(1), 8 (2011)","journal-title":"J. Biomed. Semant."},{"key":"427_CR129","doi-asserted-by":"crossref","unstructured":"Windm\u00fcller, S., Neubauer, J., Steffen, B., Howar, F., Bauer, O.: Active continuous quality control. In: 16th international ACM SIGSOFT symposium on component-based software engineering. CBSE \u201913, pp. 111\u2013120. ACM SIGSOFT, New York, NY, USA (2013)","DOI":"10.1145\/2465449.2465469"},{"issue":"3","key":"427_CR130","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/1118178.1118215","volume":"49","author":"JM Wing","year":"2006","unstructured":"Wing, J.M.: Computational thinking. Commun. ACM 49(3), 33\u201335 (2006)","journal-title":"Commun. ACM"},{"key":"427_CR131","doi-asserted-by":"crossref","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.) 4th International Symposium on Leveraging Applications of Formal Methods. Verification, and Validation (ISoLA 2010)-Vol. Part I, volume 6416 of Lecture Notes in Computer Science, pp. 301\u2013312. Springer, Berlin\/Heidelberg (2010)","DOI":"10.1007\/978-3-642-16558-0_26"},{"key":"427_CR132","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 Res. 41(W1), W557\u2013W561 (2013)","DOI":"10.1093\/nar\/gkt328"},{"key":"427_CR133","doi-asserted-by":"crossref","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. (eds.) Environmental Software Systems. Fostering Information Sharing, vol. 413 of IFIP Advances in Information and Communication Technology, pp. 489\u2013499. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-41151-9_45"},{"issue":"3","key":"427_CR134","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/1084805.1084814","volume":"34","author":"J Yu","year":"2005","unstructured":"Yu, J., Buyya, R.: A taxonomy of scientific workflow systems for grid computing. SIGMOD Rec. 34(3), 44\u201349 (2005)","journal-title":"SIGMOD Rec."},{"key":"427_CR135","doi-asserted-by":"crossref","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 Bioinform. 6, 209 (2005)","journal-title":"BMC Bioinform."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-016-0427-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-016-0427-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-016-0427-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T05:51:43Z","timestamp":1656654703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-016-0427-0"}},"subtitle":["A review after a decade in the field"],"short-title":[],"issued":{"date-parts":[[2016,6,8]]},"references-count":135,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["427"],"URL":"https:\/\/doi.org\/10.1007\/s10009-016-0427-0","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,6,8]]}}}