| 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]. 武汉大学学报:自然科学英文版, 2004, 9(4): 439-443. DOI: 10.1007/BF02830439 |
| |
| 作者姓名： | 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系统 早期需求分析 逻辑 战略相关性 战略原理模型 |
| 收稿时间： | 2004-05-10 |
A formal method to model early requirement of multi-agent system |
| |
| Mao Xin-jun,Yu Eric. A formal method to model early requirement of multi-agent system[J]. Wuhan University Journal of Natural Sciences, 2004, 9(4): 439-443. DOI: 10.1007/BF02830439 |
| |
| Authors: | Mao Xin-jun Yu Eric |
| |
| Affiliation: | (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 等数据库收录！ |
