結果 : control and process specification behavioral modeling in software engineering