Skip to main content

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)

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: Faculties > Sciences > School of Computing > Security Group
Depositing User: Ozgur Kafali
Date Deposited: 04 Feb 2018 12:45 UTC
Last Modified: 26 Sep 2019 10:25 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/65878 (The current URI for this page, for reference purposes)
  • Depositors only (login required):