The declarative problem frame: Designing systems that create and use norms

Roelf J. Wieringa

doi:10.1109/IWSSD.2000.891128

The declarative problem frame: Designing systems that create and use norms

Roelf J. Wieringa

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

36 Downloads (Pure)

Abstract

This paper analyzes design guidelines for reactive systems that control a social environment. In contrast, to a physical environment, a social environment cannot be controlled by physical causation, but it can be controlled by symbolic interaction in combination with the appropriate norms. I show that this involves three kinds of norms: the desired effects of the system, norms needed to achieve these effects, and norms for the subject domain that are independent from the system. The norms presupposed by the responses of the system include the ability of the system to act on behalf of legal persons as well as responsibilities allocated to legal persons. The analysis leads to design guidelines and a problem frame for social control by machine.

Original language	Undefined
Title of host publication	10th International Workshop on Software Specification and Design (IWSSD-10)
Place of Publication	Washington, DC, USA
Publisher	IEEE Computer Society
Pages	75-85
Number of pages	11
ISBN (Print)	0769508847
DOIs	https://doi.org/10.1109/IWSSD.2000.891128
Publication status	Published - Nov 2000
Event	10th International Workshop on Software Specification and Design, IWSSD 2000 - Shelter Pointe Hotel and Marina, San Diego, United States Duration: 5 Nov 2000 → 7 Nov 2000 Conference number: 10 http://www.ics.uci.edu/~irus/iwssd/

Publication series

Name
Publisher	IEEE

Conference

Conference	10th International Workshop on Software Specification and Design, IWSSD 2000
Abbreviated title	IWSSD
Country	United States
City	San Diego
Period	5/11/00 → 7/11/00
Internet address	http://www.ics.uci.edu/~irus/iwssd/

Keywords

SCS-Services
METIS-119639
IR-19116
EWI-10567

Access to Document

10.1109/IWSSD.2000.891128

Cite this

@inproceedings{1091cfa1994b43c4b9931722cd8b3975,

title = "The declarative problem frame: Designing systems that create and use norms",

abstract = "This paper analyzes design guidelines for reactive systems that control a social environment. In contrast, to a physical environment, a social environment cannot be controlled by physical causation, but it can be controlled by symbolic interaction in combination with the appropriate norms. I show that this involves three kinds of norms: the desired effects of the system, norms needed to achieve these effects, and norms for the subject domain that are independent from the system. The norms presupposed by the responses of the system include the ability of the system to act on behalf of legal persons as well as responsibilities allocated to legal persons. The analysis leads to design guidelines and a problem frame for social control by machine.",

keywords = "SCS-Services, METIS-119639, IR-19116, EWI-10567",

author = "Wieringa, {Roelf J.}",

year = "2000",

month = nov,

doi = "10.1109/IWSSD.2000.891128",

language = "Undefined",

isbn = "0769508847",

publisher = "IEEE Computer Society",

pages = "75--85",

booktitle = "10th International Workshop on Software Specification and Design (IWSSD-10)",

address = "United States",

note = "null ; Conference date: 05-11-2000 Through 07-11-2000",

url = "http://www.ics.uci.edu/~irus/iwssd/",

}

Wieringa, RJ 2000, The declarative problem frame: Designing systems that create and use norms. in 10th International Workshop on Software Specification and Design (IWSSD-10). IEEE Computer Society, Washington, DC, USA, pp. 75-85, 10th International Workshop on Software Specification and Design, IWSSD 2000, San Diego, United States, 5/11/00. https://doi.org/10.1109/IWSSD.2000.891128

TY - GEN

T1 - The declarative problem frame: Designing systems that create and use norms

AU - Wieringa, Roelf J.

N1 - Conference code: 10

PY - 2000/11

Y1 - 2000/11

N2 - This paper analyzes design guidelines for reactive systems that control a social environment. In contrast, to a physical environment, a social environment cannot be controlled by physical causation, but it can be controlled by symbolic interaction in combination with the appropriate norms. I show that this involves three kinds of norms: the desired effects of the system, norms needed to achieve these effects, and norms for the subject domain that are independent from the system. The norms presupposed by the responses of the system include the ability of the system to act on behalf of legal persons as well as responsibilities allocated to legal persons. The analysis leads to design guidelines and a problem frame for social control by machine.

AB - This paper analyzes design guidelines for reactive systems that control a social environment. In contrast, to a physical environment, a social environment cannot be controlled by physical causation, but it can be controlled by symbolic interaction in combination with the appropriate norms. I show that this involves three kinds of norms: the desired effects of the system, norms needed to achieve these effects, and norms for the subject domain that are independent from the system. The norms presupposed by the responses of the system include the ability of the system to act on behalf of legal persons as well as responsibilities allocated to legal persons. The analysis leads to design guidelines and a problem frame for social control by machine.

KW - SCS-Services

KW - METIS-119639

KW - IR-19116

KW - EWI-10567

U2 - 10.1109/IWSSD.2000.891128

DO - 10.1109/IWSSD.2000.891128

M3 - Conference contribution

SN - 0769508847

SP - 75

EP - 85

BT - 10th International Workshop on Software Specification and Design (IWSSD-10)

PB - IEEE Computer Society

CY - Washington, DC, USA

Y2 - 5 November 2000 through 7 November 2000

ER -