Recht ex Machina : Formalisierung des Rechts im Internet der Dienste (2012. XII, 448 S. m. 60 SW-Abb., 30 Tabellen. 235 mm)

Recht ex Machina : Formalisierung des Rechts im Internet der Dienste (2012. XII, 448 S. m. 60 SW-Abb., 30 Tabellen. 235 mm)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Hardcover:ハードカバー版
  • 商品コード 9783642176708

Full Description

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.

Contents

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.

最近チェックした商品