Formal Definition

From WebLichtWiki

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

Revision as of 13:26, 13 March 2012

Contents

Preliminaries 

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

Example:


 \begin{align}
 F_1 &= \{lang,type\} \\
 V_1 &= \{(lang,en),(lang,de),(type,text/plain)\}
 \end{align}


Profile

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

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

Example:


\begin{align}
F_{P_1} &= \{lang, type\} \\
V_{P_1} &= \{(lang,en),(type,text/plain)\}
\end{align}