結果 : control flow model in software engineering