{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:43Z","timestamp":1750306903776,"version":"3.41.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:00:00Z","timestamp":1750204800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:00:00Z","timestamp":1750204800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discov Computing"],"DOI":"10.1007\/s10791-025-09649-4","type":"journal-article","created":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:19:53Z","timestamp":1750234793000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Building scalable hierarchical abstractions in the enriched robustness diagram with loop and time controls"],"prefix":"10.1007","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-6358-0923","authenticated-orcid":false,"given":"Edu","family":"Petilos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-8776-9611","authenticated-orcid":false,"given":"Jasmine","family":"Malinao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,6,18]]},"reference":[{"key":"9649_CR1","doi-asserted-by":"publisher","unstructured":"Malinao J. On building multidimensional workflow models for complex systems modelling. Dissertation, Vienna University of Technology. 2017. https:\/\/doi.org\/10.34726\/hss.2017.43523","DOI":"10.34726\/hss.2017.43523"},{"key":"9649_CR2","unstructured":"Aalst WM. Structural characterizations of sound workflow nets. Computing Science Reports, vol. 9623. Eindhoven University of Technology. 1996."},{"key":"9649_CR3","unstructured":"Lopez JCL, Bayuga MJ, Juayong RA, Malinao J, Caro J, Tee M. Workflow models for integrated disease surveillance and response systems. Theory and Practice of Computation. CRC Press, 2020;141\u201352."},{"key":"9649_CR4","doi-asserted-by":"crossref","unstructured":"Malinao J, Tiu K, Lozano LM, Pascua S, Chua RB, Magboo MS, Caro J. A metric for user requirements traceability in sequence, class diagrams, and lines-of-code via robustness diagrams. Workshop on Computation: Theory and Practice, Proceedings in Information and Communications Technology, 2013;Vol. 7. Springer 2013, 50\u201363.","DOI":"10.1007\/978-4-431-54436-4_4"},{"key":"9649_CR5","unstructured":"Yiu A, Garcia J, Malinao J, Juayong R. On model decomposition of multidimensional workflow diagrams. Proceedings of the Workshop on Computation: Theory and Practice. 2018."},{"key":"9649_CR6","doi-asserted-by":"crossref","unstructured":"Calvo G. On the representations and mappings of robustness diagram with loop and time controls to class diagram with hierarchies and dependencies. Undergraduate thesis, University of the Philippines Tacloban. 2023.","DOI":"10.1007\/978-3-031-44097-7_3"},{"key":"9649_CR7","doi-asserted-by":"crossref","unstructured":"Calvo G, Malinao J. Mapping hierarchies and dependencies from robustness diagram with loop and time controls to class diagram. Novel and Intelligent Digital Systems Conferences. Cham: Springer Nature Switzerland, 2023;23\u201342.","DOI":"10.1007\/978-3-031-44097-7_3"},{"key":"9649_CR8","doi-asserted-by":"crossref","unstructured":"Eclipse K, Malinao J. Model decomposition of robustness diagram with loop and time controls to sequence diagrams. Novel and Intelligent Digital Systems Conferences. Cham: Springer Nature Switzerland, 2023;40\u201354.","DOI":"10.1007\/978-3-031-44146-2_5"},{"key":"9649_CR9","doi-asserted-by":"crossref","unstructured":"Mendoza AN, Malinao J. Model decomposition of robustness diagram with loop and time controls to sequence diagrams using maximal activities. Novel and Intelligent Digital Systems Conferences. Cham: Springer Nature Switzerland, 2024;487\u201399.","DOI":"10.1007\/978-3-031-73344-4_41"},{"key":"9649_CR10","doi-asserted-by":"crossref","unstructured":"Sulla CN, Malinao J. Mapping of robustness diagram with loop and time controls to petri net with considerations on soundness. Novel and Intelligent Digital Systems Conferences. Cham: Springer Nature Switzerland, 2023;338\u201353.","DOI":"10.1007\/978-3-031-44146-2_36"},{"key":"9649_CR11","doi-asserted-by":"crossref","unstructured":"Castillo JA, Malinao J. Model decomposition of robustness diagram with loop and time controls to petri net with considerations on resets. International Conference on Intelligent Tutoring Systems. Cham: Springer Nature Switzerland, 2024;193\u2013201.","DOI":"10.1007\/978-3-031-63031-6_17"},{"key":"9649_CR12","unstructured":"Petilos E, Malinao J. Enriched robustness diagram with loop and time controls for scalable model representation. Accepted for presentation at the 5th International Conference on Novel & Intelligent Digital Systems (NIDS 2025), September 24-26, 2025, Athens, Greece. To appear in Lecture Notes in Networks and Systems (LNNS), Springer. 2025."},{"key":"9649_CR13","unstructured":"Rumbaugh J, Jacobson I, Booch G. The unified modeling language reference manual second edition. Pearson Higher Education, 2004. ISBN:0-321-24562-8."},{"key":"9649_CR14","unstructured":"Object Management Group: OMG Unified Modeling Language (OMG UML) Version 2.5. (2012). Object Management Group."},{"key":"9649_CR15","doi-asserted-by":"publisher","unstructured":"Rosenberg D, Stephens M. Use Case Driven Object Modeling with UML, pp. 1\u20134. Reading: Addison-Wesley Professional, Boston, USA, 1999. https:\/\/doi.org\/10.1007\/978-1-4302-0369-8","DOI":"10.1007\/978-1-4302-0369-8"},{"key":"9649_CR16","doi-asserted-by":"crossref","unstructured":"Malinao J, Juayong RA. Classical soundness in robustness diagram with loop and time controls. Philippine Journal of Science. 2023.","DOI":"10.56899\/152.6B.06"},{"key":"9649_CR17","doi-asserted-by":"publisher","unstructured":"Weske M. Business process management: Concepts, languages, architectures. Springer Berlin Heidelberg. 2007. https:\/\/doi.org\/10.1007\/978-3-642-28616-2","DOI":"10.1007\/978-3-642-28616-2"},{"issue":"5","key":"9649_CR18","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1108\/14637150910987937","volume":"15","author":"R Ko","year":"2009","unstructured":"Ko R, Lee S, Lee EW. Business process management standards: a survey. Bus Process Manag J. 2009;15(5):744\u201391.","journal-title":"Bus Process Manag J."},{"issue":"2","key":"9649_CR19","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MS.2006.50","volume":"23","author":"CF Lange","year":"2006","unstructured":"Lange CF, Chaudron MR, Muskens J. In practice: Uml software architecture and design description. IEEE Softw. 2006;23(2):40\u20136.","journal-title":"IEEE Softw."},{"key":"9649_CR20","doi-asserted-by":"crossref","unstructured":"Schewe KD. Horizontal and vertical business process model integration. International Conference on Database and Expert Systems Applications. Springer Berlin Heidelberg, 2013;1\u20133.","DOI":"10.1007\/978-3-642-40285-2_1"},{"key":"9649_CR21","doi-asserted-by":"crossref","unstructured":"Pais AP, Oliveira C, Leite PH. Robustness diagram: a bridge between business modelling and system design. OOIS 2001: 7th International Conference on Object-Oriented Information Systems, 27\u201329 August 2001, Calgary, Canada Proceedings. Springer London, 2001;530\u201339.","DOI":"10.1007\/978-1-4471-0719-4_54"},{"issue":"4","key":"9649_CR22","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T. Petri nets: properties, analysis and applications. Proc IEEE. 1989;77(4):541\u201380.","journal-title":"Proc IEEE"},{"key":"9649_CR23","unstructured":"Diaz ME. Petri nets: fundamental models, verification and applications. John Wiley and Sons. 2013."},{"key":"9649_CR24","doi-asserted-by":"crossref","unstructured":"Jensen K. Coloured petri nets (vol. 1, no. 2). Berlin: Springer. 1997.","DOI":"10.1007\/978-3-642-60794-3"},{"key":"9649_CR25","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"WM Van Der Aalst","year":"2011","unstructured":"Van Der Aalst WM, Van Hee KM, Ter Hofstede AH, Sidorova N, Verbeek HMW, Voorhoeve M, Wynn MT. Soundness of workflow nets: classification, decidability, and analysis. Formal Asp Comput. 2011;23:333\u201363.","journal-title":"Formal Asp Comput."},{"key":"9649_CR26","doi-asserted-by":"publisher","first-page":"142461","DOI":"10.1109\/ACCESS.2021.3121222","volume":"9","author":"A Shaikh","year":"2021","unstructured":"Shaikh A, Hafeez A, Wagan AA, Alrizq M, Alghamdi A, Al Reshan MS. More than two decades of research on verification of uml class models: a systematic literature review. IEEE Access. 2021;9:142461\u201374.","journal-title":"IEEE Access"}],"container-title":["Discover Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10791-025-09649-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10791-025-09649-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10791-025-09649-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:20:01Z","timestamp":1750234801000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10791-025-09649-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,18]]},"references-count":26,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2025,12]]}},"alternative-id":["9649"],"URL":"https:\/\/doi.org\/10.1007\/s10791-025-09649-4","relation":{},"ISSN":["2948-2992"],"issn-type":[{"value":"2948-2992","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,6,18]]},"assertion":[{"value":"5 September 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 June 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 June 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval and consent to participation"}},{"value":"No code was generated for any data analysis that was done in this study.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Code availability"}},{"value":"The authors grant Springer Nature a license to publish the article and identify itself as the original publisher.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent to publish"}},{"value":"Not applicable.","order":5,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"126"}}