{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T20:05:18Z","timestamp":1725393918243},"reference-count":0,"publisher":"Sociedade Brasileira de Computa\u00e7\u00e3o - SBC","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>The context-aware exception handling (CAEH) is an error recovery technique employed to improve the ubiquitous software robustness. The design of CAEH is a difficult and error-prone task. The erroneous specification of such conditions represents a critical design fault that can lead the CAEH mechanism to behave erroneously or improperly at runtime. To deal with this problem, we propose a domain-specific language for modeling CAEH, called CatchML, using a high-level interface to make the design of CAEH models simpler and more intuitive. The CatchML language is integrated into a tool to allow designers to perform automatic model verifications by looking at the errors directly in the specification code. We conducted a case study on a sample system called UbiParking with nine volunteers. The results showed that the CatchML language is easy to model the context-aware exception handling and also allowed the participants to quickly locate the injected design faults.<\/jats:p>","DOI":"10.5753\/mssis.2019.7559","type":"proceedings-article","created":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T13:44:07Z","timestamp":1568814247000},"page":"49-58","source":"Crossref","is-referenced-by-count":0,"title":["CatchML - A Language for Modeling and Verification of Context-Aware Exception Handling Behaviour"],"prefix":"10.5753","author":[{"given":"Rafael","family":"De Lima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lincoln","family":"S. Rocha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rossana","family":"M. C. Andrade","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valeria","family":"Lelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"3742","published-online":{"date-parts":[[2019,9,13]]},"event":{"name":"I Workshop em Modelagem e Simula\u00e7\u00e3o de Sistemas Intensivos em Software","acronym":"MSSiS 2019"},"container-title":["Anais do Workshop em Modelagem e Simula\u00e7\u00e3o de Sistemas Intensivos em Software (MSSiS 2019)"],"original-title":[],"link":[{"URL":"https:\/\/sol.sbc.org.br\/index.php\/mssis\/article\/download\/7559\/7434","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/sol.sbc.org.br\/index.php\/mssis\/article\/download\/7559\/7434","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T13:44:09Z","timestamp":1568814249000},"score":1,"resource":{"primary":{"URL":"https:\/\/sol.sbc.org.br\/index.php\/mssis\/article\/view\/7559"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,13]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5753\/mssis.2019.7559","relation":{},"subject":[],"published":{"date-parts":[[2019,9,13]]}}}