Formal Definition

From WebLichtWiki

Revision as of 13:26, 13 March 2012 by Akislev (Talk | contribs)
Jump to: navigation, search

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}