{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:18Z","timestamp":1750220238689,"version":"3.41.0"},"reference-count":37,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T00:00:00Z","timestamp":1654128000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGMETRICS Perform. Eval. Rev."],"published-print":{"date-parts":[[2022,6,2]]},"abstract":"<jats:p>ORIS is a tool for quantitative modeling and evaluation of concurrent systems with non-Markovian durations. It provides a Graphical User Interface (GUI) for model specification as Stochastic Time Petri Nets (STPNs), validation by interactive simulation, and evaluation by several techniques, computing instantaneous and cumulative rewards. It also provides an open-source Java Application Programming Interface (API) to automate the workflow, and it can be used as a toolkit for derivation and evaluation of STPNs in model driven engineering. As distinguishing features, ORIS implements transient and steady-state analysis of STPNs with underlying Markov Regenerative Process (MRP), and transient analysis of STPNs with underlying Generalized Semi- Markov Process (GSMP). It also implements nondeterministic analysis of Time Petri Nets (TPNs), simulation of STPNs, and solution methods for Continuous-Time Markov Chains (CTMCs) and MRPs with at most one non-exponential timer in each state. The well-engineered software architecture of ORIS supports agile implementation of new STPN features, new modeling formalisms, and new analysis methods.<\/jats:p>","DOI":"10.1145\/3543146.3543164","type":"journal-article","created":{"date-parts":[[2022,6,6]],"date-time":"2022-06-06T22:38:08Z","timestamp":1654555088000},"page":"81-86","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["The ORIS tool"],"prefix":"10.1145","volume":"49","author":[{"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[{"name":"Univ. of Florence"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Paolieri","sequence":"additional","affiliation":[{"name":"Univ. of Southern California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[{"name":"Univ. of Florence"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,6,6]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/190.191"},{"key":"e_1_2_1_2_1","first-page":"227","volume-title":"30 Years of GreatSPN","author":"Amparore E. G.","year":"2016","unstructured":"E. G. Amparore , G. Balbo , M. Beccuti , S. Donatelli , and G. Franceschinis . 30 Years of GreatSPN , chapter In: Principles of Performance and Reliability Modeling and Evaluation: Essays in Honor of Kishor Trivedi, pages 227 -- 254 . Springer , Cham , 2016 . E. G. Amparore, G. Balbo, M. Beccuti, S. Donatelli, and G. Franceschinis. 30 Years of GreatSPN, chapter In: Principles of Performance and Reliability Modeling and Evaluation: Essays in Honor of Kishor Trivedi, pages 227--254. Springer, Cham, 2016."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207540412331312688"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2019.2903091"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2017.07.002"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3284037"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22264-6_3"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.42"},{"key":"e_1_2_1_11_1","article-title":"Performability evaluation of water distribution systems during maintenance procedures","author":"Carnevali L.","unstructured":"L. Carnevali , F. Tarani , and E. Vicario . Performability evaluation of water distribution systems during maintenance procedures . IEEE Trans. on Systems, Man and Cybernetics: Systems, to appear. L. Carnevali, F. Tarani, and E. Vicario. Performability evaluation of water distribution systems during maintenance procedures. IEEE Trans. on Systems, Man and Cybernetics: Systems, to appear.","journal-title":"IEEE Trans. on Systems, Man and Cybernetics: Systems, to appear."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_41"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.656092"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1995.497656"},{"key":"e_1_2_1_15_1","volume-title":"Iterative analysis of Markov regenerative models. Perform. Eval., 44(1--4):51--72","author":"German R.","year":"2001","unstructured":"R. German . Iterative analysis of Markov regenerative models. Perform. Eval., 44(1--4):51--72 , 2001 . R. German. Iterative analysis of Markov regenerative models. Perform. Eval., 44(1--4):51--72, 2001."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1995.524320"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368094"},{"key":"e_1_2_1_18_1","volume-title":"July","author":"Horv\u00b4ath A.","year":"2012","unstructured":"A. Horv\u00b4ath , M. Paolieri , L. Ridi , and E. Vicario . Transient analysis of non-Markovian models using stochastic state classes. Perform. Eval., 69(7--8):315--335 , July 2012 . A. Horv\u00b4ath, M. Paolieri, L. Ridi, and E. Vicario. Transient analysis of non-Markovian models using stochastic state classes. Perform. Eval., 69(7--8):315--335, July 2012."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46029-2_5"},{"key":"e_1_2_1_20_1","first-page":"381","volume-title":"Module and Applications. In International Symposium on Fault-Tolerant Computing","author":"Huang Y.","year":"1995","unstructured":"Y. Huang , C. M. R. Kintala , N. Kolettis , and N. D. Fulton . Software Rejuvenation: Analysis , Module and Applications. In International Symposium on Fault-Tolerant Computing , pages 381 -- 390 , 1995 . Y. Huang, C. M. R. Kintala, N. Kolettis, and N. D. Fulton. Software Rejuvenation: Analysis, Module and Applications. In International Symposium on Fault-Tolerant Computing, pages 381--390, 1995."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/280952"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"e_1_2_1_23_1","volume-title":"http:\/\/www.oris-tool.org","author":"Homepage IS.","year":"2021","unstructured":"OR IS. Homepage . http:\/\/www.oris-tool.org , 2021 . ORIS. Homepage. http:\/\/www.oris-tool.org, 2021."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2917202"},{"issue":"2","key":"e_1_2_1_25_1","first-page":"153","volume":"42","author":"Paolieri M.","year":"2016","unstructured":"M. Paolieri , A. Horv\u00b4ath , and E. Vicario . Probabilistic Model Checking of Regenerative Concurrent Systems. IEEE TSE , 42 ( 2 ): 153 -- 169 , Feb 2016 . M. Paolieri, A. Horv\u00b4ath, and E. Vicario. Probabilistic Model Checking of Regenerative Concurrent Systems. IEEE TSE, 42(2):153--169, Feb 2016.","journal-title":"Probabilistic Model Checking of Regenerative Concurrent Systems. IEEE TSE"},{"key":"e_1_2_1_26_1","first-page":"164","volume-title":"Phase-Type Fitting Using HyperStar. In EPEW'13","author":"Reinecke P.","year":"2013","unstructured":"P. Reinecke , T. Krau\u00df , and K. Wolter . Phase-Type Fitting Using HyperStar. In EPEW'13 , pages 164 -- 175 , 2013 . P. Reinecke, T. Krau\u00df, and K. Wolter. Phase-Type Fitting Using HyperStar. In EPEW'13, pages 164--175, 2013."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.05.022"},{"key":"e_1_2_1_28_1","first-page":"315","volume-title":"School Europ. Educ. Forum","author":"Sanders W. H.","year":"2000","unstructured":"W. H. Sanders and J. F. Meyer . Stochastic activity networks: formal definitions and concepts . In School Europ. Educ. Forum , pages 315 -- 343 . Springer , 2000 . W. H. Sanders and J. F. Meyer. Stochastic activity networks: formal definitions and concepts. In School Europ. Educ. Forum, pages 315--343. Springer, 2000."},{"key":"e_1_2_1_29_1","volume-title":"https:\/\/github.com\/oris-tool\/sirio","author":"SIRIO.","year":"2021","unstructured":"SIRIO. https:\/\/github.com\/oris-tool\/sirio , 2021 . SIRIO. https:\/\/github.com\/oris-tool\/sirio, 2021."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1515\/9780691223384"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/501883"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530884"},{"issue":"8","key":"e_1_2_1_33_1","first-page":"547","article-title":"van Moorsel and K. Wolter. Analysis of restart mechanisms in software systems","volume":"32","author":"A","year":"2006","unstructured":"A . van Moorsel and K. Wolter. Analysis of restart mechanisms in software systems . IEEE TSE , 32 ( 8 ): 547 -- 558 , Aug 2006 . A. van Moorsel and K. Wolter. Analysis of restart mechanisms in software systems. IEEE TSE, 32(8):547--558, Aug 2006.","journal-title":"IEEE TSE"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.940727"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.36"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.30.1.125"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66335-7_19"}],"container-title":["ACM SIGMETRICS Performance Evaluation Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3543146.3543164","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3543146.3543164","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:24Z","timestamp":1750188624000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3543146.3543164"}},"subtitle":["app, library, and toolkit for quantitative evaluation of non-Markovian systems"],"short-title":[],"issued":{"date-parts":[[2022,6,2]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,6,2]]}},"alternative-id":["10.1145\/3543146.3543164"],"URL":"https:\/\/doi.org\/10.1145\/3543146.3543164","relation":{},"ISSN":["0163-5999"],"issn-type":[{"type":"print","value":"0163-5999"}],"subject":[],"published":{"date-parts":[[2022,6,2]]},"assertion":[{"value":"2022-06-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}