Formal Definition

From WebLichtWiki

(Difference between revisions)
Jump to: navigation, search
Line 24: Line 24:
 
* {{#tag:math|F_{P_1} = \{lang, type\} }}
 
* {{#tag:math|F_{P_1} = \{lang, type\} }}
 
* {{#tag:math|V_{P_1} = \{(lang,en),(type,text/plain)\} }}
 
* {{#tag:math|V_{P_1} = \{(lang,en),(type,text/plain)\} }}
 +
 +
 +
==Input==
 +
A web service input is a tuple {{#tag:math|I = \langle F_I, V_I, F_{IU}, V_{IS}\rangle}}
 +
 +
* input features {{#tag:math|F_I \subseteq \mathcal{F} }} a set of features that must be present in the input of a web service,
 +
* input feature/value relation {{#tag:math|V_I \subseteq \mathcal{F_I} \times \mathcal{N} }} a relation representing possible values of the input features of a web service,
 +
* user specifiable input features {{#tag:math|F_{IU} \subseteq F_I}} features that a user may specify,
 +
* input selected feature/value map {{#tag:math|V_{IS} : F_I \mapsto \mathcal{N}, V_{IS} \subseteq V_I}} a total function mapping each input feature to its selected value.
 +
 +
Example:
 +
* {{#tag:math|F_{I_1} = \{lang, type\} }},
 +
* {{#tag:math|V_{I_1} = \{(lang,en),(lang,de),(type,text/plain),(type,application/pdf)\} }},
 +
* {{#tag:math|F_{ {UI}_1} = \{lang\} }},
 +
* {{#tag:math|V_{IS} = \{(lang,en),(type,text/plain)\} }}.

Revision as of 14:49, 13 March 2012

Preliminaries

  • \mathcal{N} – a set of all the possible value names,
  • n \in \mathcal{N} – a value name,
  • \mathcal{F} – a set of all the possible feature names,
  • f \in \mathcal{F} – a feature name,
  • F \subseteq \mathcal{F} – a feature set,
  • V \subseteq \mathcal{F} \times \mathcal{N} – feature/value relation, a set of \langle f, n \rangle ordered pairs, i.e. a binary relation between \mathcal{F} and \mathcal{N} .


Example:

  • F1 = {lang,type} – a feature set containing two feature names lang and type,
  • V1 = {(lang,en),(lang,de),(type,text / plain) - feature/value relation contianign three ordered pairs.


Profile

A profile is a tuple P = \langle F_P, V_P\rangle describing some input/output data for a web service:

  • F_P \subseteq \mathcal{F} – profile features, a feature set of data features,
  • V_P: F_P \mapsto \mathcal{N} – profile feature/value map , a function from profile features to their values representing input data.


Example:

  • F_{P_1} = \{lang, type\}
  • V_{P_1} = \{(lang,en),(type,text/plain)\}


Input

A web service input is a tuple I = \langle F_I, V_I, F_{IU}, V_{IS}\rangle

  • input features F_I \subseteq \mathcal{F} a set of features that must be present in the input of a web service,
  • input feature/value relation V_I \subseteq \mathcal{F_I} \times \mathcal{N} a relation representing possible values of the input features of a web service,
  • user specifiable input features F_{IU} \subseteq F_I features that a user may specify,
  • input selected feature/value map V_{IS} : F_I \mapsto \mathcal{N}, V_{IS} \subseteq V_I a total function mapping each input feature to its selected value.

Example:

  • F_{I_1} = \{lang, type\} ,
  • V_{I_1} = \{(lang,en),(lang,de),(type,text/plain),(type,application/pdf)\} ,
  • F_{ {UI}_1} = \{lang\} ,
  • VIS = {(lang,en),(type,text / plain)}.