{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:23:14Z","timestamp":1742930594682,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030587925"},{"type":"electronic","value":"9783030587932"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-58793-2_36","type":"book-chapter","created":{"date-parts":[[2020,8,30]],"date-time":"2020-08-30T23:04:02Z","timestamp":1598828642000},"page":"449-456","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Failure Prediction in Scientific Workflows Using Stochastic Petri Nets and Dynamic Logic"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1204-0176","authenticated-orcid":false,"given":"Bruno","family":"Lopes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9346-7651","authenticated-orcid":false,"given":"Daniel","family":"de Oliveira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,8,31]]},"reference":[{"issue":"4","key":"36_CR1","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s10586-009-0099-6","volume":"12","author":"V Curcin","year":"2009","unstructured":"Curcin, V., Ghanem, M.M., Guo, Y.: Analysing scientific workflows with Computational Tree Logic. Cluster Comput. 12(4), 399\u2013418 (2009)","journal-title":"Cluster Comput."},{"issue":"5","key":"36_CR2","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1016\/j.future.2008.06.012","volume":"25","author":"E Deelman","year":"2009","unstructured":"Deelman, E., Gannon, D., Shields, M., Taylor, I.: Workflows and e-science: an overview of workflow system features and capabilities. FGCS 25(5), 528\u2013540 (2009)","journal-title":"FGCS"},{"key":"36_CR3","doi-asserted-by":"publisher","unstructured":"Deelman, E., Mehta, G., Singh, G., Su, M.-H., Vahi, K.: Pegasus: mapping large-scale workflows to distributed resources. In: Taylor, I.J., Deelman, E., Gannon, D.B., Shields, M. (eds.) Workflows for e-Science, pp. 376\u2013394. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-1-84628-757-2_23","DOI":"10.1007\/978-1-84628-757-2_23"},{"key":"36_CR4","unstructured":"Freire, J., Koop, D., Santos, E., Silva, C.T.: Provenance for computational tasks: a survey. In: CSE, pp. 20\u201330 (2008)"},{"key":"36_CR5","unstructured":"Jacob, J.C., et al.: Montage: an astronomical image mosaicking toolkit. 1, 10036 (2010)"},{"key":"36_CR6","first-page":"247","volume":"2008","author":"QA Liang","year":"2008","unstructured":"Liang, Q.A., Zhao, J.L.: Verification of unstructured workflows via propositional logic. ICIS 2008, 247\u2013252 (2008)","journal-title":"ICIS"},{"issue":"4","key":"36_CR7","first-page":"457","volume":"13","author":"J Liu","year":"2015","unstructured":"Liu, J., Pacitti, E., Valduriez, P., Mattoso, M.: A survey of data-intensive scientific workflow management. JoGC 13(4), 457\u2013493 (2015)","journal-title":"JoGC"},{"key":"36_CR8","unstructured":"Lopes, B., Benevides, M., Haeusler, E.H.: Extending propositional dynamic logic for petri nets. Elec. Notes Theoret. Comput. Sci. 305(11), 67\u201383 (2014)"},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"Ogasawara, E., De Oliveira, D., Valduriez, P., Dias, J., Porto, F., Mattoso, M.: An algebraic approach for data-centric scientific workflows. Proc. VLDB Endow. 4(12), 1328\u20131339 (2011)","DOI":"10.14778\/3402755.3402766"},{"issue":"13","key":"36_CR10","first-page":"1531","volume":"24","author":"D Oliveira","year":"2012","unstructured":"Oliveira, D., Ogasawara, E., Oca\u00f1a, K., Bai\u00e3o, F., Mattoso, M.: An adaptive parallel execution strategy for cloud-based scientific workflows. CCPE 24(13), 1531\u20131550 (2012)","journal-title":"CCPE"},{"issue":"3","key":"36_CR11","doi-asserted-by":"publisher","first-page":"664","DOI":"10.1016\/S0377-2217(00)00292-7","volume":"134","author":"K Salimifard","year":"2001","unstructured":"Salimifard, K., Wright, M.: Petri net-based modelling of workflow systems: an overview. EJOR 134(3), 664\u2013676 (2001)","journal-title":"EJOR"},{"issue":"3","key":"36_CR12","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/S0169-023X(97)00032-3","volume":"24","author":"AHM ter Hofstede","year":"1998","unstructured":"ter Hofstede, A.H.M., Orlowska, M.E., Rajapakse, J.: Verification problems in conceptual workflow specifications. Data Knowl. Eng. 24(3), 239\u2013256 (1998)","journal-title":"Data Knowl. Eng."},{"key":"36_CR13","unstructured":"Travassos, G.H., Barros, M.O.: Contributions of in virtuo and in silico experiments for the future of empirical studies in software engineering. In 2nd Workshop on Empirical Software Engineering the Future of Empirical Studies in Software Engineering, pp. 117\u2013130 (2003)"},{"key":"36_CR14","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circ. Syst. Comput. 8(1), 21\u201366 (1998)"},{"key":"36_CR15","doi-asserted-by":"crossref","unstructured":"Zhao, L., Li, Q., Liu, X., Du, N.: A modeling method based on CCS for workflow. In: ICUIMC 2009, pp. 376\u2013384 (2009)","DOI":"10.1145\/1516241.1516307"},{"key":"36_CR16","doi-asserted-by":"crossref","unstructured":"Zhao, Y., et al.: Swift: fast, reliable, loosely coupled parallel computation. In: 2007 IEEE Congress on Services, pp. 199\u2013206. IEEE (2007)","DOI":"10.1109\/SERVICES.2007.63"}],"container-title":["Communications in Computer and Information Science","Quality of Information and Communications Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58793-2_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T08:35:38Z","timestamp":1619253338000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-58793-2_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030587925","9783030587932"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58793-2_36","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"31 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QUATIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on the Quality of Information and Communications Technology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Faro","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"quatic2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2020.quatic.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"81","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"33% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}