Recht ex machina [electronic resource] : Formalisierung des Rechts im Internet der Dienste /
Raabe, Oliver.author.
Wacker, Richard.author.
Oberle, Daniel.author.
Baumann, Christian.author.
Funk, Christian.author.
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.
Description based upon print version of record.
Includes bibliographical references and index.
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.
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.
Computers.
Law and legislation.
Law—Philosophy.
Law.
Computer simulation.
Computer logic.
Software engineering.
Information technology.
Business—Data processing.
Legal Aspects of Computing.
Theories of Law, Philosophy of Law, Legal History.
Simulation and Modeling.
Logics and Meanings of Programs.
Software Engineering.
IT in Business.