Authors:
Cheun Ngen Chong
1
;
Sandro Etalle
1
;
Pieter Hartel
1
;
Rieks Joosten
2
and
Geert Kleinhuis
2
Affiliations:
1
University of Twente, Netherlands
;
2
TNO Telecom Groningen, Netherlands
Keyword(s):
Service brokerage, rights expression language, conceptual modelling, service management.
Related
Ontology
Subjects/Areas/Topics:
Enterprise Information Systems
;
Formal Methods
;
Information Systems Analysis and Specification
;
Methodologies and Technologies
;
Modeling Concepts and Information Integration Tools
;
Modeling Formalisms, Languages and Notations
;
Modeling of Distributed Systems
;
Operational Research
;
Security
;
Simulation and Modeling
Abstract:
Service brokerage is a complex problem. At the design stage the semantic gap between user, device and system requirements must be bridged, and at the operational stage the conflicting objectives of many parties in the value chain must be reconciled. For example why should a user who wants to watch a film need to understand that due to limited battery power the film can only be shown in low resolution? Why should the user have to understand the business model of a content provider? To solve these problems we present (1) the concept of a packager who acts as a service broker, (2) a design derived systematically from a semi-formal specification (the CC-model), and (3) an implementation using our Prolog based LicenseScript language.