Formal Definition
From WebLichtWiki
(Difference between revisions)
Line 39: | Line 39: | ||
* {{#tag:math|F_{ {UI}_1} = \{lang\} }}, | * {{#tag:math|F_{ {UI}_1} = \{lang\} }}, | ||
* {{#tag:math|V_{IS} = \{(lang,en),(type,text/plain)\} }}. | * {{#tag:math|V_{IS} = \{(lang,en),(type,text/plain)\} }}. | ||
+ | |||
+ | ==Output== | ||
+ | A web service output is a tuple {{#tag:math|O = \langle F_O, V_O, V_{OS}, D, new\rangle}} | ||
+ | * output features {{#tag:math|F_O \subseteq \mathcal{F} }} a feature set representing an output of a web service, | ||
+ | * output feature/value relation {{#tag:math|V_O \subseteq \mathcal{F_O} \times \mathcal{N} }} a relation representing possible values of the output features of a web service, | ||
+ | * output selected feature/value map {{#tag:math|V_{OS} : F_O \mapsto \mathcal{N}, V_{OS} \subseteq V_O }} a total function mapping each output feature to its selected value. | ||
+ | * input dependence map {{#tag:math|D: V_I \mapsto V_D}}, where {{#tag:math|V_D \subseteq 2^{V_O} }}, such that {{#tag:math|\bigcap V_D = \varnothing }} maps input feature/value pair to a set of dependent output feature/value pairs. | ||
+ | * new - a web service output does not include its input, i.e. {{#tag:math|V_I \cap V_O = \varnothing }}. | ||
+ | |||
+ | |||
+ | Example: | ||
+ | * {{#tag:math|F_{O_1} = \{lang, type\} }}, | ||
+ | * {{#tag:math|V_{O_1} = \{(lang,en),(type,text/html)\} }}, | ||
+ | * {{#tag:math|V_{OS} = \{(lang,en),(type,text/html)\} }}, | ||
+ | * {{#tag:math|D_1 = \varnothing }}, | ||
+ | * {{#tag:math|new_1 = true}}. | ||
+ | |||
+ | ==Service== | ||
+ | A web service chaining description is a tuple {{#tag:math|S = \langle I, O\rangle}}. | ||
+ | * input {{#tag:math|I}} a web service input, | ||
+ | * output {{#tag:math|O}} a web service output. | ||
+ | |||
+ | ==Chaining Requirements== | ||
+ | |||
+ | * required input features {{#tag:math|F_{IR} = F_I \setminus F_U }}, | ||
+ | * matching profile values {{#tag:math|V_{PM} = \{(f,v) \in V_P : f \in F_{I} \} }}. | ||
+ | |||
+ | Example: | ||
+ | |||
+ | * {{#tag:math|F_{ {IR}_1} = F_{I_1} \setminus F_{ {UI}_1} = \{type\} }}, | ||
+ | * {{#tag:math|V_{ {PM}_1} = \{(lang,en), (type,text/plain)\} }}. |
Revision as of 15:13, 13 March 2012
Contents |
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)}.
Output
A web service output is a tuple
- output features a feature set representing an output of a web service,
- output feature/value relation a relation representing possible values of the output features of a web service,
- output selected feature/value map a total function mapping each output feature to its selected value.
- input dependence map , where , such that maps input feature/value pair to a set of dependent output feature/value pairs.
- new - a web service output does not include its input, i.e. .
Example:
- ,
- ,
- VOS = {(lang,en),(type,text / html)},
- ,
- new1 = true.
Service
A web service chaining description is a tuple .
- input I a web service input,
- output O a web service output.
Chaining Requirements
- required input features ,
- matching profile values .
Example:
- ,
- .