Formal Definition
From WebLichtWiki
(Difference between revisions)
(→Formal Chaining Specification) |
|||
Line 1: | Line 1: | ||
== Preliminaries == | == Preliminaries == | ||
− | + | * {{#tag:math|\mathcal{N} }} – a set of all the possible value names, | |
− | + | * {{#tag:math|n \in \mathcal{N} }} – a value name, | |
− | feature | + | * {{#tag:math|\mathcal{F} }} – a set of all the possible feature names, |
− | + | * {{#tag:math|f \in \mathcal{F} }} – a feature name, | |
+ | * {{#tag:math|F \subseteq \mathcal{F} }} – a feature set, | ||
+ | * {{#tag:math|V \subseteq \mathcal{F} \times \mathcal{N} }} – feature/value relation, a set of {{#tag:math|\langle f, n \rangle }} ordered pairs, i.e. a binary relation between {{#tag:math| \mathcal{F} }} and {{#tag:math| \mathcal{N} }}. | ||
− | |||
− | + | Example: | |
− | + | * {{#tag:math|F_1 = \{lang,type\} }} – a feature set containing two feature names {{#tag:math|lang }} and {{#tag:math|type }}, | |
− | + | * {{#tag:math|V_1 = \{(lang,en),(lang,de),(type,text/plain) }} - feature/value relation contianign three ordered pairs. | |
− | + | ||
− | + | ||
− | + | ||
== Profile == | == Profile == | ||
− | A profile is a tuple | + | A profile is a tuple {{#tag:math|P = \langle F_P, V_P\rangle }} describing some input/output data for a web service: |
− | + | * {{#tag:math|F_P \subseteq \mathcal{F} }} – profile features, a feature set of data features, | |
− | + | * {{#tag:math| V_P: F_P \mapsto \mathcal{N} }} – profile feature/value map , a function from profile features to their values representing input data. | |
− | |||
− | + | Example: | |
− | + | * {{#tag:math|F_{P_1} = \{lang, type\} }} | |
− | F_{P_1} | + | * {{#tag:math|V_{P_1} = \{(lang,en),(type,text/plain)\} }} |
− | V_{P_1} | + | |
− | + | ||
− | + |
Revision as of 14:11, 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: