Towards a Formal Framework for Normative Requirements Elicitation
As software and cyber-physical systems interacting with humans become prevalent in domains such as healthcare, education and customer service, software engineers need to consider normative (i.e., social, legal, ethical, empathetic and cultural) requirements. However, their elicitation is challenging...
Uložené v:
| Vydané v: | IEEE/ACM International Conference on Automated Software Engineering : [proceedings] s. 1776 - 1780 |
|---|---|
| Hlavní autori: | , , , , , , |
| Médium: | Konferenčný príspevok.. |
| Jazyk: | English |
| Vydavateľské údaje: |
IEEE
11.09.2023
|
| Predmet: | |
| ISSN: | 2643-1572 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | As software and cyber-physical systems interacting with humans become prevalent in domains such as healthcare, education and customer service, software engineers need to consider normative (i.e., social, legal, ethical, empathetic and cultural) requirements. However, their elicitation is challenging, as they must reflect the often conflicting or redundant views of stakeholders ranging from users and operators to lawyers, ethicists and regulators. To address this challenge, we introduce a tool-supported Formal framework for normaTive requirements elicitation (FormaTive). It allows specification of normative rules for a software system in an intuitive high-level language, and automates: (i) the mapping of the rules to an internal formal representation; (ii) their analysis to identify rule conflicts, redundancies, and concerns; and (iii) the synthesis of feedback enabling users to understand and resolve problems. |
|---|---|
| AbstractList | As software and cyber-physical systems interacting with humans become prevalent in domains such as healthcare, education and customer service, software engineers need to consider normative (i.e., social, legal, ethical, empathetic and cultural) requirements. However, their elicitation is challenging, as they must reflect the often conflicting or redundant views of stakeholders ranging from users and operators to lawyers, ethicists and regulators. To address this challenge, we introduce a tool-supported Formal framework for normaTive requirements elicitation (FormaTive). It allows specification of normative rules for a software system in an intuitive high-level language, and automates: (i) the mapping of the rules to an internal formal representation; (ii) their analysis to identify rule conflicts, redundancies, and concerns; and (iii) the synthesis of feedback enabling users to understand and resolve problems. |
| Author | Yaman, Sinem Getir Chechik, Marsha Townsend, Beverley Calinescu, Radu Cavalcanti, Ana Feng, Nick Marsso, Lina |
| Author_xml | – sequence: 1 givenname: Nick surname: Feng fullname: Feng, Nick email: fengnick@cs.toronto.edu organization: University of Toronto,Toronto,Canada – sequence: 2 givenname: Lina surname: Marsso fullname: Marsso, Lina email: lina.marsso@utoronto.ca organization: University of Toronto,Toronto,Canada – sequence: 3 givenname: Sinem Getir surname: Yaman fullname: Yaman, Sinem Getir email: sinem.getir.yaman@york.ac.uk organization: University of York,York,England – sequence: 4 givenname: Beverley surname: Townsend fullname: Townsend, Beverley email: bev.townsend@york.ac.uk organization: University of York,York,England – sequence: 5 givenname: Ana surname: Cavalcanti fullname: Cavalcanti, Ana email: ana.cavalcanti@york.ac.uk organization: University of York,York,England – sequence: 6 givenname: Radu surname: Calinescu fullname: Calinescu, Radu email: radu.calinescu@york.ac.uk organization: University of York,York,England – sequence: 7 givenname: Marsha surname: Chechik fullname: Chechik, Marsha email: chechik@cs.toronto.edu organization: University of Toronto,Toronto,Canada |
| BookMark | eNotjM1Kw0AURkdRsK19Al3MCyTe-Z-7DKVRoShoXZdp5w5Em0Qn0eLbW9HVxzkHvik76_qOGLsSUAoBeFM9L42VEksJUpUAwsgTNkeHXhlQEtHqUzaRVqtCGCcv2HQYXgHMEdyEVev-EHIceOB1n9uw53UOLR36_MZTn_nDrxybL-JP9PHZZGqpGwe-3De7ZjyGvrtk5ynsB5r_74y91Mv14q5YPd7eL6pVEaTXYxGCt16kuNsi7FxKKkGMZBxGq0jpYBCSIpToFAnUPoBQaDHC1my1dlHN2PXfb0NEm_fctCF_bwRI9NoL9QPvG0xw |
| CODEN | IEEPAD |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1109/ASE56229.2023.00152 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE/IET Electronic Library (IEL) (UW System Shared) IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Xplore url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Education Law Computer Science |
| EISBN | 9798350329964 |
| EISSN | 2643-1572 |
| EndPage | 1780 |
| ExternalDocumentID | 10298481 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IF 6IH 6IK 6IL 6IM 6IN 6J9 AAJGR AAWTH ABLEC ACREN ADYOE ADZIZ AFYQB ALMA_UNASSIGNED_HOLDINGS AMTXH BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO IEGSK IPLJI M43 OCL RIE RIL |
| ID | FETCH-LOGICAL-a284t-aa8681fdcb90c7ff3f0dde579d63e34a590f3e92973e1948a013969d0b5b447d3 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 7 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001103357200153&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Aug 27 02:32:41 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a284t-aa8681fdcb90c7ff3f0dde579d63e34a590f3e92973e1948a013969d0b5b447d3 |
| PageCount | 5 |
| ParticipantIDs | ieee_primary_10298481 |
| PublicationCentury | 2000 |
| PublicationDate | 2023-Sept.-11 |
| PublicationDateYYYYMMDD | 2023-09-11 |
| PublicationDate_xml | – month: 09 year: 2023 text: 2023-Sept.-11 day: 11 |
| PublicationDecade | 2020 |
| PublicationTitle | IEEE/ACM International Conference on Automated Software Engineering : [proceedings] |
| PublicationTitleAbbrev | ASE |
| PublicationYear | 2023 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0051577 ssib057256115 |
| Score | 2.3539908 |
| Snippet | As software and cyber-physical systems interacting with humans become prevalent in domains such as healthcare, education and customer service, software... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 1776 |
| SubjectTerms | Education Ethics formal methods Law Medical services Redundancy Regulators requirements elicitation Software systems traceability analysis |
| Title | Towards a Formal Framework for Normative Requirements Elicitation |
| URI | https://ieeexplore.ieee.org/document/10298481 |
| WOSCitedRecordID | wos001103357200153&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09T8MwFLRoxcBUKEV8ywNrwI6dOB4r1IgBVRUUqVvl2M9SpapF_eLv4-cmhYWBLUoyRM927mTfvSPkIWMWlDBV4iUeM3oJiZG5Sxhw7pk2VoOJYRNqOCwmEz2qzerRCwMAUXwGj3gZz_Ld0m5xqyys8FRj-_cWaSmV781azeTJVABvzg_cN-C0UnWbIc70U_99EKA-RW9Kik1NOVqNfgWqRDwpO__8klPS-3Hm0dEBc87IESy6pNNEM9B6pXYxjLkWbnRJ69V8nZP-OApk19TQEnnqnJaNLosG4kqHe_K6A_oGqA6O24ZrOpjPbN3Gu0c-ysH4-SWp8xMSE0BnkxhT5AX3zlaaWeW98Cz8zDKlXS5ASJNp5gVoTK8CrmVhkA7m2rEqq6RUTlyQ9mK5gEtCU5FB7irnXXhiw0tKZCYUuHJCQ-rtFelhkaaf-xYZ06Y-13_cvyEnOA4ovOD8lrQ3qy3ckWO728zWq_s4sN-9qKLw |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwGA1uCnqazom_zcFrNWmSpjkOWZk4y9AJu400-QKDscl--e-bdN304sFbaXsoX5K-R_Le9xC6F8SAZLqIHA_HjI5DpHliIwKUOqK0UaDLsAmZ5-lwqPqVWb30wgBAKT6Dh3BZnuXbmVmFrTK_wmMV2r_X0L7gPCYbu9Z2-gjp4ZvSHfv1SC1l1WiIEvXYfu94sI-DOyUObU1pMBv9ilQpESVr_PNbjlHrx5uH-zvUOUF7MG2ixjacAVdrtRnimCvpRhPVevrrFLUHpUR2gTXOAlOd4GyrzMKeuuJ8Q1_XgN8g6IPLjcMF7kzGpmrk3UIfWWfw1I2qBIVIe9hZRlqnSUqdNYUiRjrHHPG_MyGVTRgwroUijoEK-VVAFU91IISJsqQQBefSsjNUn86mcI5wzAQktrDO-ifGvySZ0L7AhWUKYmcuUCsUafS5aZIx2tbn8o_7d-iwO3jtjXrP-csVOgpjEmQYlF6j-nK-ght0YNbL8WJ-Ww7yN2jApjc |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=IEEE%2FACM+International+Conference+on+Automated+Software+Engineering+%3A+%5Bproceedings%5D&rft.atitle=Towards+a+Formal+Framework+for+Normative+Requirements+Elicitation&rft.au=Feng%2C+Nick&rft.au=Marsso%2C+Lina&rft.au=Yaman%2C+Sinem+Getir&rft.au=Townsend%2C+Beverley&rft.date=2023-09-11&rft.pub=IEEE&rft.eissn=2643-1572&rft.spage=1776&rft.epage=1780&rft_id=info:doi/10.1109%2FASE56229.2023.00152&rft.externalDocID=10298481 |