论文部分内容阅读
A formal specification language iFL based on i* framework is presented in this paper to formally specify and analyze the early requirement of multi-agent system. It is a branching temporal logic which defines the concepts and models in i* framework in a r