Formal Definition
From WebLichtWiki
(Difference between revisions)
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
- – a set of all the possible value names,
- – a value name,
- – a set of all the possible feature names,
- – a feature name,
- – a feature set,
- – feature/value relation, a set of ordered pairs, i.e. a binary relation between and .
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 describing some input/output data for a web service:
- – profile features, a feature set of data features,
- – profile feature/value map , a function from profile features to their values representing input data.
Example:
Input
A web service input is a tuple
- input features a set of features that must be present in the input of a web service,
- input feature/value relation a relation representing possible values of the input features of a web service,
- user specifiable input features features that a user may specify,
- input selected feature/value map a total function mapping each input feature to its selected value.
Example:
- ,
- ,
- ,
- VIS = {(lang,en),(type,text / plain)}.