| A Formal Method to Model Early Requirement of Multi-Agent System |
| |
| 作者姓名： | MAOXin-jun YUEric |
| |
| 作者单位： | [2]DepartmentofComputerScience,UniversityofToronto,Toronto,Ontario,M5S3G6,Canada [3]SchoolofComputerScience,NationalUniversityofDefenseTechnology,Changsha410073,Hunan,China |
| |
| 基金项目： | SupportedbytheNationalNaturalScienceFoundationofChina (60 3730 2 2 ) |
| |
| 摘 要： | 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 rigorous way. The method to transform the i models to iFL formal specification is also put forward.
|
| 关 键 词： | 多Agent系统 早期需求分析 逻辑 战略相关性 战略原理模型 |
| 收稿时间： | 10 May 2004 |
A formal method to model early requirement of multi-agent system |
| |
| MAOXin-jun YUEric.A Formal Method to Model Early Requirement of Multi-Agent System[J].Wuhan University Journal of Natural Sciences,2004,9(4):439-443. |
| |
| Authors: | Mao Xin-jun Yu Eric |
| |
| Institution: | (1) School of Computer Science, National University of Defense Technology, 410073 Changsha, Hunan, China;(2) Department of Computer Science, University of Toronto, M5S 3G6 Toronto, Ontario, Canada |
| |
| Abstract: | 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 rigorous way. The method to transform the i * models to iFL formal specification is also put forward. |
| |
| Keywords: | Agent early requirement logic requirement engineering |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ |
