Skip to main content

Desen: Specification of Sociotechnical Systems via Patterns of Regulation and Control

Kafalı, Özgur, Ajmeri, Nirav, Singh, Munindar P. (2019) Desen: Specification of Sociotechnical Systems via Patterns of Regulation and Control. ACM Transactions on Software Engineering and Methodology, 29 (1). Article Number 7. ISSN 1049-331X. (doi:10.1145/3365664) (KAR id:77232)

PDF Author's Accepted Manuscript
Language: English
Download (1MB) Preview
[thumbnail of Desen-TOSEM.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL:


We address the problem of engineering a sociotechnical system (STS) with respect to its stakeholders’ requirements. We motivate a two-tier STS conception comprising a technical tier that provides control mechanisms and describes what actions are allowed by the software components, and a social tier that characterizes the stakeholders’ expectations of each other in terms of norms. We adopt agents as computational entities, each representing a different stakeholder. Unlike previous approaches, our framework, Desen, incorporates the social dimension into the formal verification process. Thus, Desen supports agents potentially violating applicable norms—a consequence of their autonomy. In addition to requirements verification, Desen supports refinement of STS specifications via design patterns to meet stated requirements. We evaluate Desen at three levels. We illustrate how Desen carries out refinement via the application of patterns on a hospital emergency scenario. We show via a human-subject study that a design process based on our patterns is helpful for participants who are inexperienced in conceptual modeling and norms. We provide an agent-based environment to simulate the hospital emergency scenario to compare STS specifications (including participant solutions from the human-subject study) with metrics indicating social welfare and norm compliance, and other domain dependent metrics.

Item Type: Article
DOI/Identification number: 10.1145/3365664
Uncontrolled keywords: Agent-oriented software engineering, norms, security and privacy requirements, design patterns, simulation
Subjects: Q Science > Q Science (General) > Q335 Artificial intelligence
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76.E95 Expert Systems (Intelligent Knowledge Based Systems)
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Ozgur Kafali
Date Deposited: 09 Oct 2019 09:37 UTC
Last Modified: 14 Jan 2022 23:10 UTC
Resource URI: (The current URI for this page, for reference purposes)
Kafalı, Özgur:
  • Depositors only (login required):


Downloads per month over past year