Service Brokerage in Prolog

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.

[1]  David V. Keyson,et al.  Tackling the complexity of residential gateways in an unbundling value chain , 2004 .

[2]  Shin-Jer Yang,et al.  Adaptive QoS parameters approach to modeling Internet performance , 2003, Int. J. Netw. Manag..

[3]  Judith M. Myerson,et al.  Web Services Business Strategies and Architectures , 2002, Apress.

[4]  Sandro Etalle,et al.  How to pay in LicenseScript , 2003 .

[5]  Martin Bichler,et al.  A Brokerage Framework for Internet Commerce , 1999, Distributed and Parallel Databases.

[6]  John DeTreville,et al.  Binder, a logic-based security language , 2002, Proceedings 2002 IEEE Symposium on Security and Privacy.

[7]  Yee Wei Law,et al.  LicenseScript: a novel digital rights language and its semantics , 2003, Proceedings Third International Conference on WEB Delivering of Music.

[8]  Pieter H. Hartel,et al.  Secure Audit Logging with Tamper-Resistant Hardware , 2003, SEC.

[9]  Pattie Maes,et al.  Agent-Mediated Integrative Negotiation for Retail Electronic Commerce , 1998, AMET.

[10]  Yee Wei Law,et al.  LicenseScript: A Novel Digital Rights Language , 2003 .

[11]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[12]  David M. Chess,et al.  Security Issues in Mobile Code Systems , 1998, Mobile Agents and Security.

[13]  S.A.F.A. van den Heuvel,et al.  Secure content management in authorised domains , 2002 .

[14]  Remco M. Dijkman,et al.  Calculating with Concepts: a Technique for the Development of Business Process Support , 2001, pUML.

[15]  Jeffrey O. Kephart,et al.  Shopbots and Pricebots , 1999, IJCAI.