{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:34:31Z","timestamp":1743053671020,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031738869"},{"type":"electronic","value":"9783031738876"}],"license":[{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-73887-6_8","type":"book-chapter","created":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:02:38Z","timestamp":1729638158000},"page":"81-92","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Unveiling Modeling Patterns in Workflow Sketches: Insights for Designing an Abstract Workflow Language for Scientific Computing"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1953-5606","authenticated-orcid":false,"given":"Anna-Lena","family":"Lamprecht","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,23]]},"reference":[{"key":"8_CR1","unstructured":"Existing Workflow systems. https:\/\/github.com\/common-workflow-language\/common-workflow-language\/wiki\/Existing-Workflow-systems"},{"key":"8_CR2","doi-asserted-by":"publisher","unstructured":"Al-Areqi, S., Kriewald, S., Lamprecht, A.-L., Reusser, D., Wrobel, M., Margaria, T.: Towards a flexible assessment of climate impacts: the example of agile workflows for the ci:grasp platform. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 420\u2013435. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45231-8_33","DOI":"10.1007\/978-3-662-45231-8_33"},{"key":"8_CR3","unstructured":"Al-Areqi, S., Lamprecht, A.L., Margaria, T.: Automatic workflow composition in the geospatial domain: an application on sea-level rise impacts analysis. In: 19th AGILE International Conference on Geographic Information Science (2016). https:\/\/ulir.ul.ie\/handle\/10344\/5428"},{"key":"8_CR4","doi-asserted-by":"publisher","unstructured":"Al-Areqi, S., Lamprecht, A.-L., Margaria, T.: Constraints-driven automatic geospatial service composition: workflows for the analysis of sea-level rise impacts. In: Gervasi, O., et\u00a0al. (eds.) ICCSA 2016. LNCS, vol. 9788, pp. 134\u2013150. Springer, Cham (2016).https:\/\/doi.org\/10.1007\/978-3-319-42111-7_12","DOI":"10.1007\/978-3-319-42111-7_12"},{"key":"8_CR5","unstructured":"Al-areqi, S., Lamprecht, A.L., Margaria, T., Kriewald, S., Reusser, D., Wrobel, M.: Agile workflows for climate impact risk assessment based on the ci:grasp platform and the jABC modeling framework. In: 7th International Congress on Environmental Modelling and Software, pp. 470\u2013477, June 2014. https:\/\/scholarsarchive.byu.edu\/iemssconference\/2014\/Stream-B\/2"},{"key":"8_CR6","unstructured":"Beard, N.: Import workflows into TeSS concept maps. https:\/\/github.com\/elixir-europe\/BioHackathon"},{"key":"8_CR7","unstructured":"Bordihn, H., Lamprecht, A.L., Margaria, T.: Foundations of semantics and model checking in a software engineering course. In: Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training (FMSEE &T \u201915) (2015). http:\/\/ceur-ws.org\/Vol-1385\/paper4.pdf"},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"Ebert, B.E., Lamprecht, A.L., Steffen, B., Blank, L.M.: Flux-P: automating metabolic flux analysis. Metabolites 2(4), 872\u2013890 (2012). https:\/\/doi.org\/10.3390\/metabo2040872, https:\/\/ncbi.nlm.nih.gov\/pmc\/articles\/PMC3901227\/","DOI":"10.3390\/metabo2040872"},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MIS.2010.9","volume":"26","author":"Y Gil","year":"2011","unstructured":"Gil, Y., et al.: Wings: intelligent workflow-based design of computational experiments. IEEE Intell. Syst. 26(1), 62\u201372 (2011). https:\/\/doi.org\/10.1109\/MIS.2010.9","journal-title":"IEEE Intell. Syst."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Kasalica, V., Lamprecht, A.L.: APE: a command-line tool and API for automated workflow composition. In: Proceedings of the International Conference on Computational Science (ICCS 2020). vol. to appear (2020)","DOI":"10.1007\/978-3-030-50436-6_34"},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Kasalica, V., Lamprecht, A.L.: Workflow discovery with semantic constraints: the SAT-based implementation of APE. Electron. Commun. EASST 78 (2020). https:\/\/doi.org\/10.14279\/tuj.eceasst.78.1092, https:\/\/journal.ub.tu-berlin.de\/eceasst\/article\/view\/1092, number: 0","DOI":"10.14279\/tuj.eceasst.78.1092"},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Lamprecht, A., Margaria, T., Neubauer, J.: On the use of XMDD in software development education. In: 2015 IEEE 39th Annual Computer Software and Applications Conference, vol.\u00a02, pp. 835\u2013844, July 2015. https:\/\/doi.org\/10.1109\/COMPSAC.2015.178","DOI":"10.1109\/COMPSAC.2015.178"},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Lamprecht, A.L., Margaria, T.: Process Design for Natural Scientists: An Agile Model-Driven Approach. Springer, Berlin, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45006-2","DOI":"10.1007\/978-3-662-45006-2"},{"key":"8_CR14","doi-asserted-by":"publisher","unstructured":"Lamprecht, A.L., Margaria, T.: Scientific workflows with XMDD: a way to use process modeling in computational science education. Procedia Comput. Sci. 51, 1927\u20131936 (2015). https:\/\/doi.org\/10.1016\/j.procs.2015.05.457, https:\/\/sciencedirect.com\/science\/article\/pii\/S187705091501265X","DOI":"10.1016\/j.procs.2015.05.457"},{"key":"8_CR15","doi-asserted-by":"publisher","unstructured":"Lamprecht, A.L., Margaria, T.: Modeling of Scientific Workflows. In: Tatnall, A. (ed.) Encyclopedia of Education and Information Technologies, pp.\u00a01\u20138. Springer International Publishing, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-60013-0_210-1","DOI":"10.1007\/978-3-319-60013-0_210-1"},{"key":"8_CR16","unstructured":"Lamprecht, A.L., Margaria, T., Steffen, B.: Supporting process development in Bio-jETI by model checking and synthesis. In: SWAT4LS 2008 Proceedings, CEUR-WS.org Workshop Proceedings Service, vol. 435, January 2008"},{"issue":"10","key":"8_CR17","doi-asserted-by":"publisher","first-page":"S8","DOI":"10.1186\/1471-2105-10-S10-S8","volume":"10","author":"AL Lamprecht","year":"2009","unstructured":"Lamprecht, A.L., Margaria, T., Steffen, B.: Bio-jETI: a framework for semantics-based service composition. BMC Bioinform. 10(10), S8 (2009). https:\/\/doi.org\/10.1186\/1471-2105-10-S10-S8","journal-title":"BMC Bioinform."},{"issue":"4","key":"8_CR18","doi-asserted-by":"publisher","first-page":"S13","DOI":"10.1186\/1471-2105-9-S4-S13","volume":"9","author":"AL 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(4), S13 (2008). https:\/\/doi.org\/10.1186\/1471-2105-9-S4-S13","journal-title":"BMC Bioinform."},{"key":"8_CR19","doi-asserted-by":"publisher","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-based loose programming. In: 2010 Seventh International Conference on the Quality of Information and Communications Technology, pp. 262\u2013267. IEEE, Porto, Portugal, September 2010. https:\/\/doi.org\/10.1109\/QUATIC.2010.53, http:\/\/ieeexplore.ieee.org\/document\/5655574\/","DOI":"10.1109\/QUATIC.2010.53"},{"issue":"1","key":"8_CR20","doi-asserted-by":"publisher","first-page":"S5","DOI":"10.1186\/2041-1480-2-S1-S5","volume":"2","author":"AL Lamprecht","year":"2011","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Semantics-based composition of EMBOSS services. J. Biomed. Semant. 2(1), S5 (2011). https:\/\/doi.org\/10.1186\/2041-1480-2-S1-S5","journal-title":"J. Biomed. Semant."},{"key":"8_CR21","doi-asserted-by":"publisher","unstructured":"Lamprecht, A.L., Naujokat, S., Steffen, B., Margaria, T.: Constraint-guided workflow composition based on the EDAM ontology. In: Proceedings of the 3rd International Workshop on Semantic Web Applications and Tools for the Life Sciences (2010). https:\/\/doi.org\/10.1038\/npre.2010.5397.1, http:\/\/arxiv.org\/abs\/1012.1640, arXiv: 1012.1640","DOI":"10.1038\/npre.2010.5397.1"},{"key":"8_CR22","doi-asserted-by":"publisher","unstructured":"Lamprecht, A.L., et\u00a0al.: Perspectives on automated composition of workflows in the life sciences. Technical report 10:897, F1000Research, September 2021. https:\/\/doi.org\/10.12688\/f1000research.54159.1, type: article","DOI":"10.12688\/f1000research.54159.1"},{"key":"8_CR23","doi-asserted-by":"publisher","unstructured":"Margaria, T., Floyd, B.D., Gonzalez Camargo, R., Lamprecht, A.L., Neubauer, J., Seelaender, M.: Simple management of high assurance data in long-lived interdisciplinary healthcare research: a proposal. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. ISoLA 2014. LNCS, vol. 8803, pp. 526\u2013544. Springer, Berlin, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45231-8_44","DOI":"10.1007\/978-3-662-45231-8_44"},{"key":"8_CR24","doi-asserted-by":"publisher","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).https:\/\/doi.org\/10.1007\/978-1-4471-2297-5_10","DOI":"10.1007\/978-1-4471-2297-5_10"},{"key":"8_CR25","doi-asserted-by":"publisher","unstructured":"M\u00fcller-Olm, M., Schmidt, D., Steffen, B.: Model-Checking, vol.\u00a01694, pp. 330\u2013354. Springer, Berlin, Heidelberg (1999).https:\/\/doi.org\/10.1007\/3-540-48294-6_22","DOI":"10.1007\/3-540-48294-6_22"},{"key":"8_CR26","doi-asserted-by":"publisher","unstructured":"Naujokat, S., Lamprecht, A.L., Steffen, B.: Loose Programming with PROPHETS. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering, pp. 94\u201398. LNCS, Springer, Berlin, Heidelberg (2012).https:\/\/doi.org\/10.1007\/978-3-031-30826-0","DOI":"10.1007\/978-3-031-30826-0"},{"key":"8_CR27","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bty646","author":"M Palmblad","year":"2018","unstructured":"Palmblad, M., Lamprecht, A.L., Ison, J., Schw\u00e4mmle, V.: Automated workflow composition in mass spectrometry based proteomics. Bioinformatics (2018). https:\/\/doi.org\/10.1093\/bioinformatics\/bty646","journal-title":"Bioinformatics"},{"key":"8_CR28","unstructured":"Pereira, W., et\u00a0al.: A conception process for abstract workflows: an example on deep water oil exploitation domain (2009). https:\/\/ora.ox.ac.uk\/objects\/uuid:ba3b6434-f5db-4acd-af24-4f9c15cfc9b5"},{"key":"8_CR29","doi-asserted-by":"publisher","unstructured":"Petri, C.A., Reisig, W.: Petri net. Scholarpedia 3(4), 6477 (2008). https:\/\/doi.org\/10.4249\/scholarpedia.6477, https:\/\/scholarpedia.org\/article\/Petri_net","DOI":"10.4249\/scholarpedia.6477"},{"key":"8_CR30","doi-asserted-by":"publisher","unstructured":"Steffen, B., Margaria, T., Nagel, R., Jorges, S., Kubczak, C.: Model-driven development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) Hardware and Software, Verification and Testing. HVC 2006. LNCS, vol. 4383, pp. 92\u2013108. Springer, Berlin, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-70889-6_7","DOI":"10.1007\/978-3-540-70889-6_7"},{"key":"8_CR31","doi-asserted-by":"publisher","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. ISoLA 2014. LNCS, vol. 8803, pp. 449\u2013463. Springer, Berlin, Heidelberg (2014).https:\/\/doi.org\/10.1007\/978-3-662-45231-8_35","DOI":"10.1007\/978-3-662-45231-8_35"},{"key":"8_CR32","doi-asserted-by":"publisher","unstructured":"Wickert, A., Lamprecht, A.L., Margaria, T.: Domain-specific design of patient classification in cancer-related cachexia research. In: Proceedings of the 6th Conference on Formal Methods in Software Engineering. pp. 60\u201363. FormaliSE \u201918, ACM, New York, NY, USA (2018).https:\/\/doi.org\/10.1145\/3193992.3194002, http:\/\/doi.acm.org\/10.1145\/3193992.3194002, event-place: Gothenburg, Sweden","DOI":"10.1145\/3193992.3194002"}],"container-title":["Lecture Notes in Computer Science","The Combined Power of Research, Education, and Dissemination"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73887-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T11:15:38Z","timestamp":1738235738000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73887-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,23]]},"ISBN":["9783031738869","9783031738876"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73887-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,23]]},"assertion":[{"value":"23 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}