{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T19:05:53Z","timestamp":1760123153015,"version":"3.40.3"},"publisher-location":"Cham","reference-count":52,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030891589"},{"type":"electronic","value":"9783030891596"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-89159-6_2","type":"book-chapter","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T17:57:10Z","timestamp":1633975030000},"page":"18-40","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition"],"prefix":"10.1007","author":[{"given":"Philip","family":"Zweihoff","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"key":"2_CR1","unstructured":"Eclipse Che. https:\/\/www.eclipse.org\/che"},{"key":"2_CR2","unstructured":"Gitpod. https:\/\/www.gitpod.io"},{"key":"2_CR3","unstructured":"Jupyter. https:\/\/jupyter.org"},{"key":"2_CR4","unstructured":"rpy2 - R in Python. https:\/\/rpy2.github.io\/"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-981-10-5026-8_1","volume-title":"Research Advances in Cloud Computing","author":"I Baldini","year":"2017","unstructured":"Baldini, I., et al.: Serverless computing: current trends and open problems. In: Chaudhary, S., Somani, G., Buyya, R. (eds.) Research Advances in Cloud Computing, pp. 1\u201320. Springer, Singapore (2017). https:\/\/doi.org\/10.1007\/978-981-10-5026-8_1"},{"key":"2_CR6","unstructured":"Bholowalia, P., Kumar, A.: EBK-means: a clustering technique based on elbow method and k-means in WSN. Int. J. Comput. Appl. 105(9) (2014)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"809","DOI":"10.1007\/978-3-319-47169-3_60","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"S Bo\u00dfelmann","year":"2016","unstructured":"Bo\u00dfelmann, S., et al.: DIME: a programming-less modeling environment for web applications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 809\u2013832. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_60"},{"key":"2_CR8","volume-title":"Exploring Data with Rapidminer","author":"A Chisholm","year":"2013","unstructured":"Chisholm, A.: Exploring Data with Rapidminer. Packt Publishing Ltd, Birmingham (2013)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Damas, L., Milner, R.: Principal type-schemes for functional programs. In: Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 207\u2013212 (1982)","DOI":"10.1145\/582153.582176"},{"issue":"1","key":"2_CR10","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J Eker","year":"2003","unstructured":"Eker, J., et al.: Taming heterogeneity-the ptolemy approach. Proc. IEEE 91(1), 127\u2013144 (2003)","journal-title":"Proc. IEEE"},{"key":"2_CR11","unstructured":"Fowler, M., Parsons, R.: Domain-Specific Languages. Addison-Wesley\/ACM Press (2011)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Khalajzadeh, H., Abdelrazek, M., Grundy, J., Hosking, J.G., He, Q.: Survey and analysis of current end-user data analytics tool support. IEEE Trans. Big Data (2019)","DOI":"10.1109\/BigDataCongress.2018.00013"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Khalajzadeh, H., Simmons, A.J., Abdelrazek, M., Grundy, J., Hosking, J.G., He, Q.: Visual languages for supporting big data analytics development. In: ENASE, pp. 15\u201326 (2020)","DOI":"10.5220\/0009192900150026"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.jvlc.2014.11.005","volume":"26","author":"CH Kim","year":"2015","unstructured":"Kim, C.H., Grundy, J., Hosking, J.: A suite of visual languages for model-driven development of statistical surveys and services. J. Vis. Lang. Comput. 26, 99\u2013125 (2015)","journal-title":"J. Vis. Lang. Comput."},{"key":"2_CR15","unstructured":"Kopetzki, D.: Generation of domain-specific language-to-language transformation languages (2019)"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45389-2","volume-title":"User-Level Workflow Design","author":"AL Lamprecht","year":"2013","unstructured":"Lamprecht, A.L.: User-Level Workflow Design. LNCS, vol. 8311. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45389-2"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Lamprecht, A.L., Margaria, T., Neubauer, J.: On the use of XMDD in software development education. In: 2015 IEEE 39th Annual Computer Software and Applications Conference, vol. 2, pp. 835\u2013844. IEEE (2015)","DOI":"10.1109\/COMPSAC.2015.178"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","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., Sunderraman, R., Zelikovsky, A. (eds.) ISBRA 2008. LNCS, vol. 4983, pp. 445\u2013456. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-79450-9_42"},{"issue":"10","key":"2_CR19","first-page":"1","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 Bioinformatics 10(10), 1\u201319 (2009)","journal-title":"BMC Bioinformatics"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Li, L., Hosking, J., Grundy, J.: EML: a tree overlay-based visual language for business process modelling, pp. 131\u2013137 (2007)","DOI":"10.5220\/0002366301310137"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Li, L., Hosking, J., Grundy, J.: MaramaEML: an integrated multi-view business process modelling environment with tree-overlays, zoomable interfaces and code generation. In: 2008 23rd IEEE\/ACM International Conference on Automated Software Engineering, pp. 477\u2013478 (2008)","DOI":"10.1109\/ASE.2008.79"},{"issue":"2","key":"2_CR22","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1109\/TIT.1982.1056489","volume":"28","author":"S Lloyd","year":"1982","unstructured":"Lloyd, S.: Least squares quantization in PCM. IEEE Trans. Inf. Theory 28(2), 129\u2013137 (1982)","journal-title":"IEEE Trans. Inf. Theory"},{"issue":"10","key":"2_CR23","doi-asserted-by":"publisher","first-page":"1039","DOI":"10.1002\/cpe.994","volume":"18","author":"B Lud\u00e4scher","year":"2006","unstructured":"Lud\u00e4scher, B., et al.: Scientific workflow management and the Kepler system. Concurr. Comput. Pract. Exp. 18(10), 1039\u20131065 (2006)","journal-title":"Concurr. Comput. Pract. Exp."},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-030-03418-4_31","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Modeling","author":"M Lybecait","year":"2018","unstructured":"Lybecait, M., Kopetzki, D., Zweihoff, P., Fuhge, A., Naujokat, S., Steffen, B.: A tutorial introduction to graphical modeling and metamodeling with CINCO. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 519\u2013538. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03418-4_31"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-28735-0_15","volume-title":"Semantic Web Services","author":"T Margaria","year":"2012","unstructured":"Margaria, T., Kubczak, C., Steffen, B.: The XMDD approach to the semantic web services challenge. In: Blake, B., Cabral, L., K\u00f6nig-Ries, B., K\u00fcster, U., Martin, D. (eds.) Semantic Web Services, pp. 233\u2013248. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28735-0_15"},{"key":"2_CR26","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. 3440, pp. 557\u2013562. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31980-1_38"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Business process modeling in the jABC: the one-thing approach. In: Handbook of Research on Business Process Modeling, pp. 1\u201326. IGI Global (2009)","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"issue":"10","key":"2_CR28","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1109\/MC.2009.315","volume":"42","author":"T Margaria","year":"2009","unstructured":"Margaria, T., Steffen, B.: Continuous model-driven engineering. Computer 42(10), 106\u2013109 (2009)","journal-title":"Computer"},{"key":"2_CR29","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). https:\/\/doi.org\/10.1007\/978-1-4471-2297-5_10"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: eXtreme model-driven development (XMDD) technologies as a hands-on approach to software development without coding. In: Encyclopedia of Education and Information Technologies, pp. 732\u2013750 (2020)","DOI":"10.1007\/978-3-030-10576-1_208"},{"key":"2_CR31","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. 3826, pp. 450\u2013464. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11596141_34"},{"issue":"4","key":"2_CR32","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M Mernik","year":"2005","unstructured":"Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Comput. Surv. 37(4), 316\u2013344 (2005)","journal-title":"ACM Comput. Surv."},{"key":"2_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/978-3-642-13818-8_33","volume-title":"Scientific and Statistical Database Management","author":"P Missier","year":"2010","unstructured":"Missier, P., et al.: Taverna, reloaded. In: Gertz, M., Lud\u00e4scher, B. (eds.) SSDBM 2010. LNCS, vol. 6187, pp. 471\u2013481. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13818-8_33"},{"issue":"3","key":"2_CR34","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s10009-017-0453-6","volume":"20","author":"S Naujokat","year":"2018","unstructured":"Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: Cinco: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Int. J. Softw. Tools Technol. Transfer 20(3), 327\u2013354 (2018)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"2_CR35","unstructured":"Naur, P., Randell, B. (eds.): Software Engineering: Report of a Conference Sponsored by the NATO Science Committee, Garmisch, Germany, 7\u201311 October 1968. Scientific Affairs Division, NATO, Brussels 39 Belgium (1969)"},{"key":"2_CR36","unstructured":"Nelson, B.J.: Remote procedure call (1982)"},{"issue":"1","key":"2_CR37","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s40537-015-0034-z","volume":"2","author":"P O\u2019Donovan","year":"2015","unstructured":"O\u2019Donovan, P., Leahy, K., Bruton, K., O\u2019Sullivan, D.T.J.: An industrial big data pipeline for data-driven analytics maintenance applications in large-scale smart manufacturing facilities. J. Big Data 2(1), 1\u201326 (2015). https:\/\/doi.org\/10.1186\/s40537-015-0034-z","journal-title":"J. Big Data"},{"key":"2_CR38","volume-title":"Types and Programming Languages","author":"BC Pierce","year":"2002","unstructured":"Pierce, B.C., Benjamin, C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"2_CR39","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Aarhus university (1981)"},{"key":"2_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W Reisig","year":"2012","unstructured":"Reisig, W.: Petri Nets: An Introduction, vol. 4. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-69968-9"},{"issue":"1","key":"2_CR41","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM (JACM) 12(1), 23\u201341 (1965)","journal-title":"J. ACM (JACM)"},{"key":"2_CR42","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The unified modeling language. Reference manual (1999)"},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Saay, S., Margaria, T.: XMDD as key enabling technology for integration of large scale elearning based on NRENs. In: 2020 IEEE 20th International Conference on Advanced Learning Technologies (ICALT), pp. 45\u201346. IEEE (2020)","DOI":"10.1109\/ICALT49669.2020.00020"},{"issue":"5","key":"2_CR44","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1109\/MS.2005.140","volume":"22","author":"D Spinellis","year":"2005","unstructured":"Spinellis, D.: Version control systems. IEEE Softw. 22(5), 108\u2013109 (2005)","journal-title":"IEEE Softw."},{"key":"2_CR45","unstructured":"Standard, O.: Web services business process execution language version 2.0 (2007)"},{"key":"2_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-319-91908-9_17","volume-title":"Computing and Software Science","author":"B Steffen","year":"2019","unstructured":"Steffen, B., Gossen, F., Naujokat, S., Margaria, T.: Language-driven engineering: from general-purpose to purpose-specific languages. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 311\u2013344. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-91908-9_17"},{"issue":"1\u20132","key":"2_CR47","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. Int. J. Softw. Tools Technol. Transfer 1(1\u20132), 9\u201330 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"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. 4383, pp. 92\u2013108. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-70889-6_7"},{"key":"2_CR49","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, London (2008)"},{"key":"2_CR50","doi-asserted-by":"crossref","unstructured":"Tarr, P., Ossher, H., Harrison, W., Sutton, S.M.: N degrees of separation: multi-dimensional separation of concerns. In: Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No. 99CB37002), pp. 107\u2013119. IEEE (1999)","DOI":"10.1145\/302405.302457"},{"key":"2_CR51","unstructured":"White, S.A.: Introduction to BPMN. IBM Cooperation 2 (2004)"},{"key":"2_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-030-16722-6_6","volume-title":"Fundamental Approaches to Software Engineering","author":"P Zweihoff","year":"2019","unstructured":"Zweihoff, P., Naujokat, S., Steffen, B.: Pyro: generating domain-specific collaborative online modeling environments. In: H\u00e4hnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 101\u2013115. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-16722-6_6"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89159-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T20:26:18Z","timestamp":1725913578000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89159-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030891589","9783030891596"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89159-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"12 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}