Dynamic Context-Aware and Limited Resources-Aware Service Adaptation for Pervasive Computing : Algorithm 1

colset UNIT = unit;
colset INT = int;
colset BOOL = bool;
colset STRING = string;
val NS=5;
colset Resource=STRING;
colset E=with e;
colset ResList=list Resource;
colset Form=STRING;
colset ResAmt=product Resource*INT;
colset Service=STRING;
colset SerStat=product ServiceResListINT;
colset FormRes=product FormResListINT;
colset FormList=list FormRes;
colset SerFormList=product Service*FormList;
colset SerForm=product Service*FormRes;
var r: Resource;
var q,p,i,n:INT;
var s,sr:Service;
var y:ResList;
var fl:FormList;
var fr:Form;
var rl:ResList;

Algorithm 1: Set of declarations used for constructing the model of situation 1.