{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:17:36Z","timestamp":1740097056420,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452301"},{"type":"electronic","value":"9783662452318"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45231-8_35","type":"book-chapter","created":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T11:42:39Z","timestamp":1411731759000},"page":"449-463","source":"Crossref","is-referenced-by-count":4,"title":["jABCstats: An Extensible Process Library for the Empirical Analysis of jABC Workflows"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Wickert","sequence":"first","affiliation":[]},{"given":"Anna-Lena","family":"Lamprecht","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"35_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"35_CR2","doi-asserted-by":"publisher","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. Innovations in Systems and Software Engineering\u00a05, 211\u2013228 (2009), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/s11334-009-0091-6","journal-title":"Innovations in Systems and Software Engineering"},{"issue":"4","key":"35_CR3","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), \n                    \n                      http:\/\/www.mdpi.com\/2218-1989\/2\/4\/872","journal-title":"Metabolites"},{"unstructured":"Garijo, D., Alper, P., Belhajjame, K., Corcho, O., Gil, Y., Goble, C.: Common motifs in scientific workflows: An empirical analysis. Future Generation Computer Systems (2013) (in press), \n                    \n                      http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167739X13001970","key":"35_CR4"},{"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. Nucleic Acids Research\u00a038(suppl. 2), W677\u2013W682 (2010), \n                    \n                      http:\/\/nar.oxfordjournals.org\/cgi\/content\/abstract\/38\/suppl_2\/W677","key":"35_CR5"},{"key":"35_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36127-2","volume-title":"Construction and Evolution of Code Generators - A Model-Driven and Service-Oriented Approach","author":"S. J\u00f6rges","year":"2013","unstructured":"J\u00f6rges, S.: Construction and Evolution of Code Generators. LNCS, vol.\u00a07747. Springer, Heidelberg (2013)"},{"key":"35_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"User-Level Workflow Design","year":"2013","unstructured":"Lamprecht, A.-L. (ed.): User-Level Workflow Design. LNCS, vol.\u00a08311. Springer, Heidelberg (2013)"},{"doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Margaria, T., Steffen, B.: Bio-jETI: A framework for semantics-based service composition. BMC Bioinformatics\u00a010(suppl. 10), S8 (2009)","key":"35_CR8","DOI":"10.1186\/1471-2105-10-S10-S8"},{"unstructured":"Lamprecht, A.L., Margaria, T., Steffen, B., Sczyrba, A., Hartmeier, S., Giegerich, R.: GeneFisher-P: variations of GeneFisher as processes in Bio-jETI. BMC Bioinformatics\u00a09(suppl. 4), S13 (2008), \n                    \n                      http:\/\/www.ncbi.nlm.nih.gov\/pubmed\/18460174","key":"35_CR9"},{"doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-Based Loose Programming. In: Proc. of the 7th Int. Conf. on the Quality of Information and Communications Technology (QUATIC 2010), Porto, Portugal, pp. 262\u2013267 (September 2010)","key":"35_CR10","DOI":"10.1109\/QUATIC.2010.53"},{"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)","key":"35_CR11","DOI":"10.2218\/ijdc.v7i2.232"},{"key":"35_CR12","first-page":"169","volume-title":"Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2006)","author":"T. Margaria","year":"2006","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 (2006)"},{"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)","key":"35_CR13","DOI":"10.1186\/1471-2105-9-S4-S12"},{"key":"35_CR14","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), \n                    \n                      http:\/\/www.springerlink.com\/content\/h9x6m1x21g5lknkx"},{"doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Agile IT: Thinking in User-Centric Models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol.\u00a017, pp. 490\u2013502. Springer, Heidelberg (2009)","key":"35_CR15","DOI":"10.1007\/978-3-540-88479-8_35"},{"key":"35_CR16","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), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/978-1-4471-2297-5_10"},{"doi-asserted-by":"crossref","unstructured":"Naujokat, S., Lamprecht, A.-L., Steffen, B.: Loose Programming with PROPHETS. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 94\u201398. Springer, Heidelberg (2012)","key":"35_CR17","DOI":"10.1007\/978-3-642-28872-2_7"},{"unstructured":"Naujokat, S., Neubauer, J., Lamprecht, A.L., Steffen, B., J\u00f6rges, S., Margaria, T.: Simplicity-First Model-Based Plug-In Development. In: Garbervetsky, D., Kim, S. (eds.) Special Issue of the 2nd International Workshop on Developing Tools as Plug-ins. Software: Practice and Experience. John Wiley & Sons, Ltd. (to appear)","key":"35_CR18"},{"key":"35_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc., Secaucus (2005)"},{"key":"35_CR20","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), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/978-3-540-70889-6_7"},{"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: IEEE Congress on Services, pp. 314\u2013321 (2009)","key":"35_CR21","DOI":"10.1109\/SERVICES-I.2009.48"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45231-8_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T20:26:40Z","timestamp":1558988800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45231-8_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452301","9783662452318"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45231-8_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}