Recht Ex Machina: Formalisierung Des Rechts Im Internet Der Dienste
| AUTHOR | Wacker, Richard; Raabe, Oliver; Oberle, Daniel |
| PUBLISHER | Springer (06/28/2012) |
| PRODUCT TYPE | Hardcover (Hardcover) |
Software gewinnt zunehmend Einfluss auf menschliche Interaktionen und gerat so zunehmend in ein Spannungsverhaltnis zu Recht und Gesellschaft. Probleme ergeben sich insbesondere dadurch, dass Softwaregestaltungen ohne jegliche demokratische Legitimation tief in viele Lebensbereiche eingreifen ohne hierbei den rechtlichen Rahmen angemessen zu berucksichtigen. Aus Sicht des Softwareentwicklers geschieht dies in der Regel aus Unkenntnis des Rechtsrahmens. Der vorliegende Beitrag zur Rechtsinformatik leistet deshalb die Konzeption und Umsetzung eines Produktivsystems zur Unterstutzung bei der Entwicklung rechtskonformer Software vor, die uberdies eine Laufzeitkontrolle erlaubt. Der Ansatz beruht auf einer technischen Umsetzung der juristischen Subsumtion soweit dies moglich ist und wird durch eine weitgehende Komplexitatsreduktion der normativen Fragestellungen erganzt. Als Szenario soll die Entwicklung des "Internet der Dienste" dienen, welches als umfassendes Okosystem betrachtet wird, in dem Dienste beispielsweise uber Marktplatze im Internet handelbar sind.
