Lechner, UlrikeSchmid, BeatKlose, Martina2021-02-032021-02-031999https://dl.gi.de/handle/20.500.12116/35483\"Medienmodell und Medienreferenzmodell werden als Modelle für Plattformen für Gemeinschaften von natürlichen und künstlichen Agenten eingeführt. Diese Modelle werden mit Logik, Rewrite Logic, Labelled Deductive Systems und Modaler Logik formalisiert. Aus dieser Formalisierung wird eine generische Architektur für Medien entwickelt. Anhand der Beispiele eines Online-Buchladens, eines Online Marktes und der Analyse von Gemeinschaften werden Modelle, Modellierung und Architektur motiviert und konkretisiert.\"deFormalisierung und Architektur von Medien und ihren GemeinschaftenText/Conference Paper