{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:27:27Z","timestamp":1725805647270},"publisher-location":"Berlin, Heidelberg","reference-count":51,"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_2","type":"book-chapter","created":{"date-parts":[[2014,9,19]],"date-time":"2014-09-19T13:45:24Z","timestamp":1411134324000},"page":"14-29","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and Execution of Scientific Workflows with the jABC Framework"],"prefix":"10.1007","author":[{"given":"Anna-Lena","family":"Lamprecht","sequence":"first","affiliation":[]},{"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"CSISS\/GMU Geospatial Web Services, http:\/\/geobrain.laits.gmu.edu\/grassweb\/manuals\/index.html (last accessed September 9, 2013)"},{"key":"2_CR2","unstructured":"Free opensource geocoder and webservices for geonames and openstreetmap data, http:\/\/www.gisgraphy.com\/ (last accessed September 9, 2013)"},{"key":"2_CR3","unstructured":"geoPlugin to geolocate your visitors, http:\/\/www.geoplugin.com\/ (last accessed September 9, 2013)"},{"issue":"2","key":"2_CR4","doi-asserted-by":"publisher","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. Innovations in Systems and Software Engineering (ISSE)\u00a02(2), 99\u2013111 (2005)","journal-title":"Innovations in Systems and Software Engineering (ISSE)"},{"key":"2_CR5","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"572","DOI":"10.1007\/978-3-540-88479-8_41","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"M. Bajohr","year":"2008","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. CCIS, vol.\u00a017, pp. 572\u2013586. Springer, Heidelberg (2008)"},{"key":"2_CR6","unstructured":"Bakera, M., Margaria, T., Renner, C., Steffen, B.: Verification, Diagnosis and Adaptation: Tool-supported enhancement of the model-driven verification process. In: Revue des Nouvelles Technologies de l\u2019Information (RNTI-SM-1), pp. 85\u201398 (December 2007)"},{"key":"2_CR7","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)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"2_CR8","unstructured":"Booth, D., Haas, H., McCabe, F., Newcomer, E., Champion, M., Ferris, C., Orchard, D.: Web Services Architecture. W3C Working Group Note (February 2004), http:\/\/www.w3.org\/TR\/ws-arch\/ (last accessed May 5, 2013)"},{"key":"2_CR9","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"2_CR10","unstructured":"Fielding, R.T.: Architectural Styles and the Design of Network-based Software Architectures. PhD thesis, University of California, Irvine (2000)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Finn, R.D., Mistry, J., Tate, J., Coggill, P., Heger, A., Pollington, J.E., Gavin, O.L., Gunasekaran, P., Ceric, G., Forslund, K., Holm, L., Sonnhammer, E.L.L., Eddy, S.R., Bateman, A.: The Pfam protein families database. Nucleic Acids Research\u00a038(suppl 1), D211\u2013D222 (2010)","DOI":"10.1093\/nar\/gkp985"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Goujon, M., McWilliam, H., Li, W., Valentin, F., Squizzato, S., Paern, J., Lopez, R.: A new bioinformatics analysis tools framework at EMBL-EBI. Nucleic Acids Research 38(Web Server issue), W695\u2013W699 (2010)","DOI":"10.1093\/nar\/gkq313"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MIC.2005.21","volume":"9","author":"M.N. Huhns","year":"2005","unstructured":"Huhns, M.N., Singh, M.P.: Service-Oriented Computing: Key Concepts and Principles. IEEE Internet Computing\u00a09, 75\u201381 (2005)","journal-title":"IEEE Internet Computing"},{"key":"2_CR14","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1007\/978-3-540-88479-8_52","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"M. H\u00f6rmann","year":"2008","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. CCIS, vol.\u00a017, pp. 724\u2013737. Springer, Heidelberg (2008)"},{"key":"2_CR15","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":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-36127-2","volume-title":"Construction and Evolution of Code Generators","author":"S. J\u00f6rges","year":"2013","unstructured":"J\u00f6rges, S.: Construction and Evolution of Code Generators. LNCS, vol.\u00a07747. Springer, Heidelberg (2013)"},{"issue":"5","key":"2_CR17","doi-asserted-by":"publisher","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. International Journal on Software Tools for Technology Transfer (STTT)\u00a014(5), 511\u2013530 (2012)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"issue":"4","key":"2_CR18","doi-asserted-by":"publisher","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. Innovations in Systems and Software Engineering\u00a04(4), 361\u2013384 (2008)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-642-18023-1_10","volume-title":"Generative and Transformational Techniques in Software Engineering III","author":"S. J\u00f6rges","year":"2011","unstructured":"J\u00f6rges, S., Steffen, B., Margaria, T.: Building code generators with genesys: A tutorial introduction. In: Fernandes, J.M., L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering III. LNCS, vol.\u00a06491, pp. 364\u2013385. Springer, Heidelberg (2011)"},{"key":"2_CR20","unstructured":"Kubczak, C., Margaria, T., Steffen, B., Nagel, R.: Service-oriented Mediation with jABC\/jETI (2008)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Labarga, A., Valentin, F., Anderson, M., Lopez, R.: Web services at the European bioinformatics institute. Nucleic Acids Research\u00a035(Web Server issue), W6\u2013W11 (2007)","DOI":"10.1093\/nar\/gkm291"},{"key":"2_CR22","unstructured":"Lamprecht, A.: Orchestration of Heterogeneous Bioinformatics Processes in Bio-jETI as a Service Integration, Design, and Provisioning Platform. Master\u2019s thesis, Georg-August-Universit\u00e4t G\u00f6ttingen (August 2007)"},{"key":"2_CR23","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":"2_CR24","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)"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.-L., Margaria, T., Steffen, B.: Bio-jETI: a framework for semantics-based service composition. BMC Bioinformatics\u00a010(Suppl 10), S8 (2009)","DOI":"10.1186\/1471-2105-10-S10-S8"},{"key":"2_CR26","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)","DOI":"10.1109\/QUATIC.2010.53"},{"key":"2_CR27","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":"2_CR28","doi-asserted-by":"crossref","unstructured":"Margaria, T.: Service is in the Eyes of the Beholder. IEEE Computer (November 2007)","DOI":"10.1109\/MC.2007.398"},{"key":"2_CR29","doi-asserted-by":"publisher","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":"2_CR30","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, Deventer, The Netherlands, pp. 497\u2013511. Kluwer, B.V (2002)","DOI":"10.1007\/978-0-387-35617-4_32"},{"key":"2_CR31","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":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/978-3-540-31980-1_38","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Margaria","year":"2005","unstructured":"Margaria, T., Nagel, R., Steffen, B.: jETI: A tool for remote tool integration. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 557\u2013562. Springer, Heidelberg (2005)"},{"key":"2_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/BFb0053591","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Margaria","year":"1998","unstructured":"Margaria, T., Steffen, B.: Backtracking-free design planning by automatic synthesis in METAFrame. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 188\u2013204. Springer, Heidelberg (1998)"},{"issue":"2-3","key":"2_CR34","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10009-003-0119-4","volume":"5","author":"T. Margaria","year":"2004","unstructured":"Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. Software Tools for Technology Transfer\u00a05(2-3), 107\u2013123 (2004)","journal-title":"Software Tools for Technology Transfer"},{"key":"2_CR35","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, Berlin (2009)"},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Business Process Modelling in the jABC: The One-Thing-Approach. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Modeling. IGI Global (2009)","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"key":"2_CR37","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":"2_CR38","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., Reitenspie\u00df, 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":"2_CR39","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 1999), pp. 330\u2013354 (1999)","DOI":"10.1007\/3-540-48294-6_22"},{"key":"2_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-28872-2_7","volume-title":"Fundamental Approaches to Software Engineering","author":"S. Naujokat","year":"2012","unstructured":"Naujokat, S., Lamprecht, A.-L., Steffen, B.: Loose programming with PROPHETS. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol.\u00a07212, pp. 94\u201398. Springer, Heidelberg (2012)"},{"key":"2_CR41","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, ch.\u00a08, pp. 153\u2013178. Wiley-IEEE Computer Society Press (March 2013)","DOI":"10.1002\/9781118459898.ch8"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"Pillai, S., Silventoinen, V., Kallio, K., Senger, M., Sobhany, S., Tate, J., Velankar, S., Golovin, A., Henrick, K., Rice, P., Stoehr, P., Lopez, R.: SOAP-based services provided by the European Bioinformatics Institute. Nucleic Acids Research\u00a033(Web Server issue), W25\u2013W28 (2005)","DOI":"10.1093\/nar\/gki491"},{"key":"2_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-48092-7_17","volume-title":"Correct System Design","author":"B. Steffen","year":"1999","unstructured":"Steffen, B., Margaria, T.: METAFrame in practice: Design of intelligent network services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 390\u2013415. Springer, Heidelberg (1999)"},{"issue":"1-2","key":"2_CR44","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":"2_CR45","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"},{"issue":"2","key":"2_CR46","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":"2_CR47","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":"2_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B. Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-driven development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol.\u00a04383, pp. 92\u2013108. Springer, Heidelberg (2007)"},{"key":"2_CR49","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)"},{"key":"2_CR50","unstructured":"Wessel, P.: The GMT Home Page, http:\/\/gmt.soest.hawaii.edu (last accessed January 3, 2013)"},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"Wessel, P., Smith, W.H.F.: Free software helps map and display data. EOS Trans. Amer. Geophys. U.\u00a072(41) (1991)","DOI":"10.1029\/90EO00319"}],"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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,17]],"date-time":"2022-04-17T11:53:38Z","timestamp":1650196418000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45006-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662450055","9783662450062"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45006-2_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}