Service Brokerage with Prolog

C.N. Chong; Sandro Etalle; Pieter H. Hartel; Rieks Joosten; Geert Kleinhuis

Service Brokerage with Prolog

C.N. Chong, Sandro Etalle, Pieter H. Hartel, Rieks Joosten, Geert Kleinhuis

Research output: Book/Report › Report › Professional

163 Downloads (Pure)

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.

Original language	Undefined
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	15
Publication status	Published - Feb 2004

Publication series

Name	CTIT Technical Report Series
No.	04-14
ISSN (Print)	1381-3625

Keywords

METIS-220395
EWI-5790
IR-48689

Access to Document

000000f2Final published version, 269 KB

http://www.ub.utwente.nl/webdocs/ctit/1/000000f2.pdf

Cite this

@book{0c9076b107d7421e846421ed486ec007,

title = "Service Brokerage with Prolog",

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.",

keywords = "METIS-220395, EWI-5790, IR-48689",

author = "C.N. Chong and Sandro Etalle and Hartel, {Pieter H.} and Rieks Joosten and Geert Kleinhuis",

note = "Imported from CTIT",

year = "2004",

month = feb,

language = "Undefined",

series = "CTIT Technical Report Series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "04-14",

address = "Netherlands",

}

TY - BOOK

T1 - Service Brokerage with Prolog

AU - Chong, C.N.

AU - Etalle, Sandro

AU - Hartel, Pieter H.

AU - Joosten, Rieks

AU - Kleinhuis, Geert

N1 - Imported from CTIT

PY - 2004/2

Y1 - 2004/2

N2 - 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.

AB - 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.

KW - METIS-220395

KW - EWI-5790

KW - IR-48689

M3 - Report

T3 - CTIT Technical Report Series

BT - Service Brokerage with Prolog

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -