@article{Mackert2011,
  author    = {Mackert, J{\"u}rgen},
  title     = {Im Auftrag des Staates},
  series = {Berliner Journal f{\"u}r Soziologie},
  volume    = {21},
  journal   = {Berliner Journal f{\"u}r Soziologie},
  number    = {3},
  publisher = {Springer},
  address   = {Wiesbaden},
  issn      = {0863-1808},
  doi       = {10.1007/s11609-011-0165-9},
  pages     = {431 -- 459},
  year      = {2011},
  abstract  = {Folter ist ein Akt extremer kollektiver Gewalt, der im Auftrag eines Staates im Geheimen ausge{\"u}bt wird. Die Frage, was Menschen dazu bringt, anderen Menschen diese extreme Gewalt anzutun, verengt den Blick f{\"u}r ein Verst{\"a}ndnis der Folter allzu schnell auf individualistische Erkl{\"a}rungsversuche. Der vorliegende Aufsatz geht im Gegensatz dazu von der Gruppe der Folterer aus und r{\"u}ckt die sozialen Beziehungen dieser Form der Vergesellschaftung und die von ihnen ausgehenden sozialen Dynamiken und Effekte in den Mittelpunkt. In einem ersten Schritt werden Georg Simmels formale Bestimmungen der geheimen Gesellschaft rekonstruiert und auf die geheime Gesellschaft der Folterer angewandt und spezifiziert; auf dieser Grundlage werden im zweiten Schritt Handlungsbedingungen der Mitglieder der geheimen Gesellschaft der Folterer herausgearbeitet; der dritte Schritt bestimmt die eigendynamischen Prozesse des Ph{\"a}nomens der Folter, die aus der Eskalation politischer Konflikte, der Gruppe der Folterer und der Situation der Folter erwachsen. Die These lautet, dass sich aus der Perspektive einer relationalen Soziologie ein theoretischer Zugriff auf das Problem der Folter ergibt, der weiterf{\"u}hrende Erkl{\"a}rungen des Ph{\"a}nomens erm{\"o}glicht.},
  language  = {de}
}
@phdthesis{Polyvyanyy2012,
  author    = {Polyvyanyy, Artem},
  title     = {Structuring process models},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-59024},
  school      = {Universit{\"a}t Potsdam},
  year      = {2012},
  abstract  = {One can fairly adopt the ideas of Donald E. Knuth to conclude that process modeling is both a science and an art. Process modeling does have an aesthetic sense. Similar to composing an opera or writing a novel, process modeling is carried out by humans who undergo creative practices when engineering a process model. Therefore, the very same process can be modeled in a myriad number of ways. Once modeled, processes can be analyzed by employing scientific methods. Usually, process models are formalized as directed graphs, with nodes representing tasks and decisions, and directed arcs describing temporal constraints between the nodes. Common process definition languages, such as Business Process Model and Notation (BPMN) and Event-driven Process Chain (EPC) allow process analysts to define models with arbitrary complex topologies. The absence of structural constraints supports creativity and productivity, as there is no need to force ideas into a limited amount of available structural patterns. Nevertheless, it is often preferable that models follow certain structural rules. A well-known structural property of process models is (well-)structuredness. A process model is (well-)structured if and only if every node with multiple outgoing arcs (a split) has a corresponding node with multiple incoming arcs (a join), and vice versa, such that the set of nodes between the split and the join induces a single-entry-single-exit (SESE) region; otherwise the process model is unstructured. The motivations for well-structured process models are manifold: (i) Well-structured process models are easier to layout for visual representation as their formalizations are planar graphs. (ii) Well-structured process models are easier to comprehend by humans. (iii) Well-structured process models tend to have fewer errors than unstructured ones and it is less probable to introduce new errors when modifying a well-structured process model. (iv) Well-structured process models are better suited for analysis with many existing formal techniques applicable only for well-structured process models. (v) Well-structured process models are better suited for efficient execution and optimization, e.g., when discovering independent regions of a process model that can be executed concurrently. Consequently, there are process modeling languages that encourage well-structured modeling, e.g., Business Process Execution Language (BPEL) and ADEPT. However, the well-structured process modeling implies some limitations: (i) There exist processes that cannot be formalized as well-structured process models. (ii) There exist processes that when formalized as well-structured process models require a considerable duplication of modeling constructs. Rather than expecting well-structured modeling from start, we advocate for the absence of structural constraints when modeling. Afterwards, automated methods can suggest, upon request and whenever possible, alternative formalizations that are "better" structured, preferably well-structured. In this thesis, we study the problem of automatically transforming process models into equivalent well-structured models. The developed transformations are performed under a strong notion of behavioral equivalence which preserves concurrency. The findings are implemented in a tool, which is publicly available.},
  language  = {en}
}