Structured analysis system specification by Daems