Recht ex machina : Formalisierung des Rechts im Internet der Dienste / von Oliver Raabe, Richard Wacker, Daniel Oberle, Christian Baumann, Christian Funk.
2012
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Items
Details
Author
Title
Recht ex machina : Formalisierung des Rechts im Internet der Dienste / von Oliver Raabe, Richard Wacker, Daniel Oberle, Christian Baumann, Christian Funk.
Added Author
Added Corporate Author
Edition
1st ed. 2012.
Imprint
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Description
XII, 448 S. 58 Abb. online resource
Formatted Contents Note
Teil I: Einführung
Überblick
Methodisches Konzept
Referenzbeispiel
Teil II: Entwicklung des Basiskonzepts
Das Internet der Dienste
Juristische Methodik.-Symbolische Ebene
Begriffliche Ebene.-Kommunikation
Teil III: Gesamtarchitektur des Systems
Eingrenzung
Anforderungen
Grobentwurf
Teil IV: Detaillierte Anforderungen
Anforderungen an die Symbolische Ebene, Begriffsmodellierung und Rechtsbegriffsontologie
Begriffliche Ebene - Anforderungen an die Sachverhaltsontologie/Sachverhalt
Begriffliche Ebene - Anforderungen an Subsumtion und Matchmaking.-Anforderungen an den logischen Schluss, vollständige Obersätze und dynamische Normgraphen
Teil V Detaillierter Entwurf
Formalisierte Rechtssätze.-Komponente zur Subsumtion
Logische Komponente zur Rechtsfolgenermittlung
Literatur
Index.
Überblick
Methodisches Konzept
Referenzbeispiel
Teil II: Entwicklung des Basiskonzepts
Das Internet der Dienste
Juristische Methodik.-Symbolische Ebene
Begriffliche Ebene.-Kommunikation
Teil III: Gesamtarchitektur des Systems
Eingrenzung
Anforderungen
Grobentwurf
Teil IV: Detaillierte Anforderungen
Anforderungen an die Symbolische Ebene, Begriffsmodellierung und Rechtsbegriffsontologie
Begriffliche Ebene - Anforderungen an die Sachverhaltsontologie/Sachverhalt
Begriffliche Ebene - Anforderungen an Subsumtion und Matchmaking.-Anforderungen an den logischen Schluss, vollständige Obersätze und dynamische Normgraphen
Teil V Detaillierter Entwurf
Formalisierte Rechtssätze.-Komponente zur Subsumtion
Logische Komponente zur Rechtsfolgenermittlung
Literatur
Index.
Summary
Software gewinnt zunehmend Einfluss auf menschliche Interaktionen und gerät so zunehmend in ein Spannungsverhältnis 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 berücksichtigen. 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 Unterstützung bei der Entwicklung rechtskonformer Software vor, die überdies eine Laufzeitkontrolle erlaubt. Der Ansatz beruht auf einer technischen Umsetzung der juristischen Subsumtion soweit dies möglich ist und wird durch eine weitgehende Komplexitätsreduktion der normativen Fragestellungen ergänzt. Als Szenario soll die Entwicklung des "Internet der Dienste" dienen, welches als umfassendes Ökosystem betrachtet wird, in dem Dienste beispielsweise über Marktplätze im Internet handelbar sind.
Location
www
In
Springer Nature eBook
Available in Other Form
Printed edition:
Linked Resources
Alternate Title
SpringerLink electronic monographs.
Language
German
ISBN
9783642176715
Record Appears in