This paper introduces a new direction in formalizing sociological models. Sociological theories are a field of application for computer science, hence sociologists describe a theory in informal ways. These theories are transformed into computational models which can be studied and investigated with formal methods. We have chosen to formalize a common model of sociological theory, the Garbage Can Model of Organizational Choice. This model refers to organizations as organized anarchies.
|Title of host publication||ACM Siggraph 2000|
|Publication status||Published - 2000|
|Event||ACM Siggraph 2000, Course note 8 - |
Duration: 1 Jan 2000 → …
|Conference||ACM Siggraph 2000, Course note 8|
|Period||01/01/2000 → …|