Recht ex machina: Formalisierung des Rechts im Internet der Dienste

نرم افزار به طور فزاینده ای بر تعاملات انسانی تأثیر می گذارد و بنابراین به طور فزاینده ای در تضاد با قانون و جامعه است. مشکلات به‌ویژه از این واقعیت ناشی می‌شوند که طراحی‌های نرم‌افزاری بدون هیچ گونه مشروعیت دموکراتیک، عمیقاً در بسیاری از زمینه‌های زندگی بدون در نظر گرفتن چارچوب قانونی کافی دخالت می‌کنند. از دید توسعه دهندگان نرم افزار، این معمولا به دلیل ناآگاهی از چارچوب قانونی اتفاق می افتد. بنابراین، مشارکت فعلی در انفورماتیک قانونی، مفهوم و پیاده‌سازی یک سیستم تولیدی را برای پشتیبانی از توسعه نرم‌افزارهای سازگار با قانون فراهم می‌کند، که همچنین امکان کنترل زمان اجرا را فراهم می‌کند. این رویکرد تا آنجایی که ممکن است مبتنی بر اجرای فنی فرض قانونی است و با کاهش گسترده در پیچیدگی سؤالات هنجاری تکمیل می شود. توسعه "اینترنت خدمات" باید به عنوان یک سناریو عمل کند، که به عنوان یک اکوسیستم جامع در نظر گرفته می شود که در آن خدمات می تواند معامله شود، به عنوان مثال، از طریق بازارهای اینترنتی.

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.