situ-f a domain specific language and a first step towards the realization of situ framework رسالة دكتوراه