Logo des Repositoriums
 
Konferenzbeitrag

Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2020

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Für die Gestaltung von audiovisuellen Medienangeboten wie Fernsehprogramm und Video-On-Demand Angeboten müssen Lizenzverträge abgeschlossen werden. Aus diesen Verträgen ergeben sich Vorgaben, die bei der Planung der Angebote eingehalten werden müssen. Mit wachsender Anzahl an Verträgen und Formulierungen innerhalb der Verträge und ohne eine Möglichkeit diese einheitlich bzw. formal zu beschreiben, besteht das Risiko von Fehlinterpretationen und daraus resultierenden Fehlplanungen, welche zu Nachverhandlungen oder Vertragsstrafen führen können. Diese Arbeit beschreibt eine Domänenspezifische Sprache (DSL), die die Modellierung solcher Restriktionen durch Endanwenderinnen ohne tieferliegende Informatikkenntnisse ermöglicht. Darüber hinaus wurde die Sprache genutzt um eine Verifikation von Planungen sowie die Berechnung von erlaubten Verplanungszeiträumen zu automatisieren. Der praktische Einsatz dieser DSL in der Programmplanung hat gezeigt, dass Missverständnisse im Bezug auf die Bedeutung einer Restriktion minimiert, die Ermittlung erlaubter Verplanungszeiträume automatisiert und somit das Risiko von Fehlplanungen deutlich reduziert werden konnte.

Beschreibung

Drave, Imke; Henrich, Timo; Hölldobler, Katrin; Kautz, Oliver; Michael, Judith; Rumpe, Bernhard (2020): Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen. Modellierung 2020. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-696-1. pp. 173-188. Wien, Österreich. 19.-21. Februar 2020

Zitierform

DOI

Tags