{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:59:04Z","timestamp":1776333544833,"version":"3.51.2"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032227737","type":"print"},{"value":"9783032227744","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-22774-4_12","type":"book-chapter","created":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:19:42Z","timestamp":1776331182000},"page":"223-233","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["$${\\textsc {Easy}}\\mathcal {R}{\\textsc {pl}}$$"],"prefix":"10.1007","author":[{"given":"Muhammad Rizwan","family":"Ali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8763-5548","authenticated-orcid":false,"given":"Violet Ka I","family":"Pun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5427-8855","authenticated-orcid":false,"given":"Guillermo","family":"Rom\u00e1n-D\u00edez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,4,17]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","unstructured":"Agha, G.: Actors: a model of concurrent computation in distributed systems. MIT Press (1986). https:\/\/doi.org\/10.7551\/mitpress\/1086.001.0001","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"12_CR2","doi-asserted-by":"publisher","unstructured":"Ahuja, H.N., Nandakumar, V.: Simulation model to forecast project completion time. Journal of construction engineering and management 111(4), 325\u2013342 (1985). https:\/\/doi.org\/10.1061\/(ASCE)0733-9364(1985)111:4(325)","DOI":"10.1061\/(ASCE)0733-9364(1985)111:4(325)"},{"key":"12_CR3","doi-asserted-by":"publisher","unstructured":"Albert, E., Arenas, P., Correas, J., Genaim, S., G\u00f3mez-Zamalloa, M., Puebla, G., Rom\u00e1n-D\u00edez, G.: Object-Sensitive Cost Analysis for Concurrent Objects. Software Testing, Verification and Reliability 25(3), 218\u2013271 (2015). https:\/\/doi.org\/10.1002\/stvr.1569","DOI":"10.1002\/stvr.1569"},{"key":"12_CR4","doi-asserted-by":"publisher","unstructured":"Albert, E., Arenas, P., Genaim, S., Puebla, G.: Closed-Form Upper Bounds in Static Cost Analysis. Journal of Automated Reasoning 46(2), 161\u2013203 (2011). https:\/\/doi.org\/10.1007\/s10817-010-9174-1","DOI":"10.1007\/s10817-010-9174-1"},{"key":"12_CR5","doi-asserted-by":"publisher","unstructured":"Albert, E., Correas, J., Johnsen, E.B., Rom\u00e1n-D\u00edez, G.: Parallel Cost Analysis of Distributed Systems. In: Blazy, S., Jensen, T. (eds.) Proceedings of the 22nd International Static Analysis Symposium (SAS). LNCS, vol.\u00a09291, pp. 275\u2013292. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-662-48288-9_16","DOI":"10.1007\/978-3-662-48288-9_16"},{"key":"12_CR6","doi-asserted-by":"publisher","unstructured":"Albert, E., Correas, J., Rom\u00e1n-D\u00edez, G.: Peak Resource Analysis of Concurrent Distributed Systems. Journal of Systems and Software 149, 35 \u2013 62 (2019). https:\/\/doi.org\/10.1016\/j.jss.2018.11.018","DOI":"10.1016\/j.jss.2018.11.018"},{"key":"12_CR7","doi-asserted-by":"publisher","unstructured":"Albert, E., Flores-Montoya, A., Genaim, S., Martin-Martin, E.: May-Happen-in-Parallel Analysis for Actor-based Concurrency. ACM Transactions on Computational Logic 17(2), 11:1\u201311:39 (2016). https:\/\/doi.org\/10.1145\/2824255","DOI":"10.1145\/2824255"},{"key":"12_CR8","doi-asserted-by":"publisher","unstructured":"Albert, E., Genaim, S., G\u00f3mez-Zamalloa, M.: Heap space analysis for garbage collected languages. Science of Computer Programming 78(9), 1427\u20131448 (2013). https:\/\/doi.org\/10.1016\/j.scico.2012.10.008","DOI":"10.1016\/j.scico.2012.10.008"},{"key":"12_CR9","doi-asserted-by":"publisher","unstructured":"Ali, M.R., Lamo, Y., Pun, V.K.I.: Cost analysis for a resource sensitive workflow modelling language. Science of Computer Programming 225, 102896 (2023). https:\/\/doi.org\/10.1016\/j.scico.2022.102896","DOI":"10.1016\/j.scico.2022.102896"},{"key":"12_CR10","doi-asserted-by":"publisher","unstructured":"Ali, M.R., Pun, V.K.I.: Cost analysis for an actor-based workflow modelling language. In: Campos, S., Minea, M. (eds.) Proceedings of the 24th Brazilian Symposium on Formal Methods (SBMF). LNCS, vol. 13130, pp. 104\u2013121. Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-92137-8_7","DOI":"10.1007\/978-3-030-92137-8_7"},{"key":"12_CR11","doi-asserted-by":"publisher","unstructured":"Ali, M.R., Pun, V.K.I.: A static analyser for resource sensitive workflow models. In: David, C., Sun, M. (eds.) Proceedings of 17th International Symposium on Theoretical Aspects of Software Engineering (TASE). LNCS, vol. 13931, pp. 305\u2013312. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-35257-7_18","DOI":"10.1007\/978-3-031-35257-7_18"},{"key":"12_CR12","doi-asserted-by":"publisher","unstructured":"Ali, M.R., Pun, V.K.I., Rom\u00e1n-D\u00edez, G.: EasyRpl: A web-based tool for modelling and analysis of cross-organisational workflows. CoRR abs\/2502.20972 (2025). https:\/\/doi.org\/10.48550\/ARXIV.2502.20972","DOI":"10.48550\/ARXIV.2502.20972"},{"key":"12_CR13","doi-asserted-by":"publisher","unstructured":"Andreas Gustavsson and Andreas Ermedahl and Bj\u00f6rn Lisper and Paul Pettersson: Towards WCET analysis of multicore architectures using UPPAAL. In: Bj\u00f6rn Lisper (ed.) Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis (WCET). OASIcs, vol.\u00a015, pp. 101\u2013112. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik (2010). https:\/\/doi.org\/10.4230\/OASIcs.WCET.2010.101","DOI":"10.4230\/OASIcs.WCET.2010.101"},{"key":"12_CR14","doi-asserted-by":"publisher","unstructured":"Ballabriga, C., Cass\u00e9, H., Rochange, C., Sainrat, P.: OTAWA: An Open Toolbox for Adaptive WCET Analysis. In: Min, S.L., Pettit, R., Puschner, P., Ungerer, T. (eds.) Proceedings of the 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS). LNCS, vol.\u00a06399, pp. 35\u201346. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-16256-5_6","DOI":"10.1007\/978-3-642-16256-5_6"},{"key":"12_CR15","doi-asserted-by":"publisher","unstructured":"Behrmann, G., David, A., Larsen, K.G., H\u00e5kansson, J., Pettersson, P., Yi, W., Hendriks, M.: UPPAAL 4.0. In: Proccedings of the 3rd International Conference on the Quantitative Evaluation of Systems (QEST). pp. 125\u2013126. IEEE Computer Society (2006). https:\/\/doi.org\/10.1109\/QEST.2006.59","DOI":"10.1109\/QEST.2006.59"},{"key":"12_CR16","doi-asserted-by":"publisher","unstructured":"Carbonneaux, Q., Hoffmann, J., Shao, Z.: Compositional certified resource bounds. In: Grove, D., Blackburn, S.M. (eds.) Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). pp. 467\u2013478. ACM (2015). https:\/\/doi.org\/10.1145\/2737924.2737955","DOI":"10.1145\/2737924.2737955"},{"key":"12_CR17","doi-asserted-by":"publisher","unstructured":"Cook, B., Gupta, A., Magill, S., Rybalchenko, A., Simsa, J., Singh, S., Vafeiadis, V.: Finding heap-bounds for hardware synthesis. In: Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design (FMCAD). pp. 205\u2013212. IEEE (2009). https:\/\/doi.org\/10.1109\/FMCAD.2009.5351120","DOI":"10.1109\/FMCAD.2009.5351120"},{"key":"12_CR18","doi-asserted-by":"publisher","unstructured":"Dom\u00e9nech, J., Genaim, S., Johnsen, E.B., Schlatte, R.: EasyInterface: A toolkit for rapid development of GUIs for research prototype tools. In: Huisman, M., Rubin, J. (eds.) Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering (FASE). pp. 379\u2013383. LNCS, Springer (2017). https:\/\/doi.org\/10.1007\/978-3-662-54494-5_22","DOI":"10.1007\/978-3-662-54494-5_22"},{"key":"12_CR19","unstructured":"Ermedahl, A.: A Modular Tool Architecture for Worst-Case Execution Time Analysis. Ph.D. thesis, Uppsala University, Sweden (2003), https:\/\/nbn-resolving.org\/urn:nbn:se:uu:diva-3502"},{"key":"12_CR20","doi-asserted-by":"publisher","unstructured":"Garcia, A., Laneve, C., Lienhardt, M.: Static analysis of cloud elasticity. Science of Computer Programming 147, 27\u201353 (2017). https:\/\/doi.org\/10.1016\/j.scico.2017.03.008","DOI":"10.1016\/j.scico.2017.03.008"},{"key":"12_CR21","doi-asserted-by":"publisher","unstructured":"Giachino, E., Johnsen, E.B., Laneve, C., Pun, V.K.I.: Time complexity of concurrent programs \u2013 A technique based on behavioural types. In: Braga, C., \u00d6lveczky, P.C. (eds.) Proceedings of the 12th International Conference on Formal Aspects of Component Software (FACS). LNCS, vol.\u00a09539, pp. 199\u2013216. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-28934-2_11","DOI":"10.1007\/978-3-319-28934-2_11"},{"key":"12_CR22","doi-asserted-by":"publisher","unstructured":"Hoffmann, J., Shao, Z.: Automatic Static Cost Analysis for Parallel Programs. In: Vitek, J. (ed.) Proceedings of the 24th European Symposium on Programming (ESOP). LNCS, vol.\u00a09032, pp. 132\u2013157. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-662-46669-8_6","DOI":"10.1007\/978-3-662-46669-8_6"},{"key":"12_CR23","doi-asserted-by":"publisher","unstructured":"Hofmann, M., Rodriguez, D.: Automatic type inference for amortised heap-space analysis. In: Felleisen, M., Gardner, P. (eds.) Proceedings of the 22nd European Symposium on Programming, (ESOP). LNCS, vol.\u00a07792, pp. 593\u2013613. Springer (2013). https:\/\/doi.org\/10.1007\/978-3-642-37036-6_32","DOI":"10.1007\/978-3-642-37036-6_32"},{"key":"12_CR24","doi-asserted-by":"publisher","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: A Core Language for Abstract Behavioral Specification. In: Aichernig, B.K., de\u00a0Boer, F.S., Bonsangue, M.M. (eds.) Proceedings of the 9th International Symposium on Formal Methods for Components and Objects (FMCO). LNCS, vol.\u00a06957, pp. 142\u2013164. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-25271-6_8","DOI":"10.1007\/978-3-642-25271-6_8"},{"key":"12_CR25","doi-asserted-by":"publisher","unstructured":"Laneve, C., Lienhardt, M., Pun, K.I., Rom\u00e1n-D\u00edez, G.: Time analysis of actor programs. Journal of Logical and Algebraic Methods in Programming 105, 1 \u2013 27 (2019). https:\/\/doi.org\/10.1016\/j.jlamp.2019.02.007","DOI":"10.1016\/j.jlamp.2019.02.007"},{"key":"12_CR26","doi-asserted-by":"publisher","unstructured":"Li, J., Gonz\u00e1lez, M., Zhu, Y.: A hybrid simulation optimization method for production planning of dedicated remanufacturing. International Journal of Production Economics 117(2), 286\u2013301 (2009). https:\/\/doi.org\/10.1016\/j.ijpe.2008.11.005","DOI":"10.1016\/j.ijpe.2008.11.005"},{"key":"12_CR27","doi-asserted-by":"publisher","unstructured":"Li, X., Liang, Y., Mitra, T., Roychoudhury, A.: Chronos: A timing analyzer for embedded software. Science of Computer Programming 69(1), 56\u201367 (2007). https:\/\/doi.org\/10.1016\/j.scico.2007.01.014","DOI":"10.1016\/j.scico.2007.01.014"},{"key":"12_CR28","unstructured":"Sundmark, D.: Structural System-Level Testing of Embedded Real-Time Systems. Ph.D. thesis, M\u00e4lardalen University, Sweden (2008), https:\/\/urn.kb.se\/resolve?urn=urn:nbn:se:mdh:diva-488"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22774-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:19:46Z","timestamp":1776331186000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22774-4_12"}},"subtitle":["A web-based tool for modelling and analysis of cross-organisational workflows"],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032227737","9783032227744"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22774-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"17 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamental Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2026\/conferences\/fase\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}