A case study of the JADEL programming language