Validating Goal Models via Bayesian Networks. Dell'Anna, D., Dalpiaz, F., & Dastani, M. In Proceedings of the 5th International Workshop on Artificial Intelligence for Requirements Engineering, AIRE@RE 2018, pages 39–46, 2018. Link Paper Slides doi abstract bibtex Goal models are an example of requirement modeling language that has been applied to support the runtime monitoring and diagnosis of software systems and to steer self-adaptive systems. When creating a goal model, requirement engineers make assumptions concerning how the goals relate to each other and when they should be considered as satisfied. In dynamic environments, however, the assumptions made in the model may be (or become) invalid. This may result in a system that does not satisfy the stakeholders' needs and, when the model is used in adaptive systems, ineffective reconfigurations. Only few and preliminary works address the automated validation of goal or requirement models. In this paper we propose the use of probabilistic models (Bayesian Networks) to determine the validity of the assumptions underlying a goal model. We employ empirical data and probabilistic inference to automatically determine a quantitative degree of validity of goal model assumptions. We illustrate the approach on a smart traffic scenario.
@inproceedings{DBLP:conf/re/DellAnnaDD18,
author = {Davide Dell'Anna and
Fabiano Dalpiaz and
Mehdi Dastani},
title = {Validating Goal Models via Bayesian Networks},
booktitle = {Proceedings of the 5th International Workshop on Artificial Intelligence for Requirements
Engineering, AIRE@RE 2018},
pages = {39--46},
year = {2018},
url_Link = {https://doi.org/10.1109/AIRE.2018.00012},
url_Paper = {2018_AIRE/AIRE18_DellAnna.pdf},
url_Slides= {2018_AIRE/AIRE18_DellAnna_Slides.pdf},
doi = {10.1109/AIRE.2018.00012},
keywords = {Goal Models, Bayesian Networks, Assumptions, Validation, Data Driven Supervision Of Autonomous Systems},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/re/DellAnnaDD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
abstract = {Goal models are an example of requirement modeling language that has been applied to support the runtime monitoring and diagnosis of software systems and to steer self-adaptive systems. When creating a goal model, requirement engineers make <i>assumptions</i> concerning how the goals relate to each other and when they should be considered as satisfied. In dynamic environments, however, the assumptions made in the model may be (or become) invalid. This may result in a system that does not satisfy the stakeholders' needs and, when the model is used in adaptive systems, ineffective reconfigurations. Only few and preliminary works address the automated validation of goal or requirement models. In this paper we propose the use of probabilistic models (Bayesian Networks) to determine the validity of the assumptions underlying a goal model. We employ empirical data and probabilistic inference to automatically determine a quantitative degree of validity of goal model assumptions. We illustrate the approach on a smart traffic scenario.}
}
Downloads: 0
{"_id":"XgSdnyQ4nyzLyoevQ","bibbaseid":"dellanna-dalpiaz-dastani-validatinggoalmodelsviabayesiannetworks-2018","authorIDs":["btfox5LNCYjybS6FG"],"author_short":["Dell'Anna, D.","Dalpiaz, F.","Dastani, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Dell'Anna"],"suffixes":[]},{"firstnames":["Fabiano"],"propositions":[],"lastnames":["Dalpiaz"],"suffixes":[]},{"firstnames":["Mehdi"],"propositions":[],"lastnames":["Dastani"],"suffixes":[]}],"title":"Validating Goal Models via Bayesian Networks","booktitle":"Proceedings of the 5th International Workshop on Artificial Intelligence for Requirements Engineering, AIRE@RE 2018","pages":"39–46","year":"2018","url_link":"https://doi.org/10.1109/AIRE.2018.00012","url_paper":"2018_AIRE/AIRE18_DellAnna.pdf","url_slides":"2018_AIRE/AIRE18_DellAnna_Slides.pdf","doi":"10.1109/AIRE.2018.00012","keywords":"Goal Models, Bayesian Networks, Assumptions, Validation, Data Driven Supervision Of Autonomous Systems","timestamp":"Mon, 15 Jun 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/re/DellAnnaDD18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","abstract":"Goal models are an example of requirement modeling language that has been applied to support the runtime monitoring and diagnosis of software systems and to steer self-adaptive systems. When creating a goal model, requirement engineers make <i>assumptions</i> concerning how the goals relate to each other and when they should be considered as satisfied. In dynamic environments, however, the assumptions made in the model may be (or become) invalid. This may result in a system that does not satisfy the stakeholders' needs and, when the model is used in adaptive systems, ineffective reconfigurations. Only few and preliminary works address the automated validation of goal or requirement models. In this paper we propose the use of probabilistic models (Bayesian Networks) to determine the validity of the assumptions underlying a goal model. We employ empirical data and probabilistic inference to automatically determine a quantitative degree of validity of goal model assumptions. We illustrate the approach on a smart traffic scenario.","bibtex":"@inproceedings{DBLP:conf/re/DellAnnaDD18,\n author = {Davide Dell'Anna and\n Fabiano Dalpiaz and\n Mehdi Dastani},\n title = {Validating Goal Models via Bayesian Networks},\n booktitle = {Proceedings of the 5th International Workshop on Artificial Intelligence for Requirements\n Engineering, AIRE@RE 2018},\n pages = {39--46},\n year = {2018},\n url_Link = {https://doi.org/10.1109/AIRE.2018.00012},\n url_Paper = {2018_AIRE/AIRE18_DellAnna.pdf},\n url_Slides= {2018_AIRE/AIRE18_DellAnna_Slides.pdf},\n doi = {10.1109/AIRE.2018.00012},\n keywords = {Goal Models, Bayesian Networks, Assumptions, Validation, Data Driven Supervision Of Autonomous Systems},\n timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/re/DellAnnaDD18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n abstract = {Goal models are an example of requirement modeling language that has been applied to support the runtime monitoring and diagnosis of software systems and to steer self-adaptive systems. When creating a goal model, requirement engineers make <i>assumptions</i> concerning how the goals relate to each other and when they should be considered as satisfied. In dynamic environments, however, the assumptions made in the model may be (or become) invalid. This may result in a system that does not satisfy the stakeholders' needs and, when the model is used in adaptive systems, ineffective reconfigurations. Only few and preliminary works address the automated validation of goal or requirement models. In this paper we propose the use of probabilistic models (Bayesian Networks) to determine the validity of the assumptions underlying a goal model. We employ empirical data and probabilistic inference to automatically determine a quantitative degree of validity of goal model assumptions. We illustrate the approach on a smart traffic scenario.}\n}\n\n\n\n","author_short":["Dell'Anna, D.","Dalpiaz, F.","Dastani, M."],"key":"DBLP:conf/re/DellAnnaDD18","id":"DBLP:conf/re/DellAnnaDD18","bibbaseid":"dellanna-dalpiaz-dastani-validatinggoalmodelsviabayesiannetworks-2018","role":"author","urls":{" link":"https://doi.org/10.1109/AIRE.2018.00012"," paper":"http://davidedellanna.com/publications/2018_AIRE/AIRE18_DellAnna.pdf"," slides":"http://davidedellanna.com/publications/2018_AIRE/AIRE18_DellAnna_Slides.pdf"},"keyword":["Goal Models","Bayesian Networks","Assumptions","Validation","Data Driven Supervision Of Autonomous Systems"],"metadata":{"authorlinks":{"dell'anna, d":"https://bibbase.org/show?bib=https://dblp.org/pid/201/0398.bib"}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://davidedellanna.com/publications/dellanna.bib","creationDate":"2021-02-08T09:40:40.445Z","downloads":0,"keywords":["goal models","bayesian networks","assumptions","validation","data driven supervision of autonomous systems"],"search_terms":["validating","goal","models","via","bayesian","networks","dell'anna","dalpiaz","dastani"],"title":"Validating Goal Models via Bayesian Networks","year":2018,"dataSources":["Rymgh7KJx3EhNfvG8","6mqXRucaPuwqWyQEd","2pnuieZznE6L96taK"]}