Skip to main content
Kent Academic Repository

Normative Requirements in Sociotechnical Systems

Kafalı, Özgur and Ajmeri, Nirav and Singh, Munindar P. (2017) Normative Requirements in Sociotechnical Systems. In: 2016 IEEE 24th International Requirements Engineering Conference Workshops (REW). IEEE, pp. 259-260. ISBN 978-1-5090-3695-0. E-ISBN 978-1-5090-3694-3. (doi:10.1109/REW.2016.049) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:65878)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)
Official URL:
http://dx.doi.org/10.1109/REW.2016.049

Abstract

Refining a sociotechnical system (STS) specification with respect to its requirements is a nontrivial task. Previous work on verification and refinement of software systems either ignores the social dimension, or limits the autonomy of agents by controlling their interactions. We address these limitations by proposing an STS specification that provides not only regimentation via control mechanisms that describe how agents interact with software components, but also regulation via norms that characterize the expectations of agents from each other. We use formal verification techniques to understand whether an STS specification meets the functional, security, and privacy requirements of its stakeholders. If a requirement is not satisfied, we suggests refinements based on normative design patterns.

Item Type: Book section
DOI/Identification number: 10.1109/REW.2016.049
Uncontrolled keywords: privacy; conferences; sociotechnical systems; authorization; requirements engineering; model checking
Subjects: Q Science > Q Science (General) > Q335 Artificial intelligence
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Ozgur Kafali
Date Deposited: 04 Feb 2018 12:45 UTC
Last Modified: 16 Feb 2021 13:52 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/65878 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.