Formal Definition

From WebLichtWiki

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

Revision as of 14:11, 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)\}