Overview of a formal semantics for the JADEL programming language