A formal specification language iFL based on i* framework is presented in this paper to formally specify and analyze the early requirment of multi-agent system. It is a branching temporal logic which defines the conce...A formal specification language iFL based on i* framework is presented in this paper to formally specify and analyze the early requirment of multi-agent system. It is a branching temporal logic which defines the concepts and models in i* framework in a rigorous way. The method to transform the i* models to iFL formal specification is also put forward. Key words Agent - early requirement - logic - requirement engineering CLC number TP 18 Foundation item: Supported by the National Natural Science Foundation of China (60373022)Biography: MAO Xin-jun (1970-), male, Ph. D, Associate professor, research direction: object-agent software engineering, Agent theory.展开更多
文摘A formal specification language iFL based on i* framework is presented in this paper to formally specify and analyze the early requirment of multi-agent system. It is a branching temporal logic which defines the concepts and models in i* framework in a rigorous way. The method to transform the i* models to iFL formal specification is also put forward. Key words Agent - early requirement - logic - requirement engineering CLC number TP 18 Foundation item: Supported by the National Natural Science Foundation of China (60373022)Biography: MAO Xin-jun (1970-), male, Ph. D, Associate professor, research direction: object-agent software engineering, Agent theory.
