An Agent-based Software System Model
A formal semantic model is proposed in this paper which focus on model-driven development for agent-based systems. Agent models are described with algebra specifications, and morphisms are used to describe the relationships between agent models, and the morphism types imply the different semantics of agent interactions. The typed category theory is used to formally describe agent models and their mapping relations, and thus the precise semantic meanings for them are provided. An agent-based intelligent tutoring system is given as a case to illustrate the application of this approach. The formal semantic model can be used to judge whether a transformation satisfies some property preservation constraints or not and it can provide an effective support for model-driven agent-based software development.
agent system model-driven development software architecture
Jinwei Yu
School of Mechanical and Electrical Engineering Weifang University Weifang 261061, China
国际会议
海口
英文
186-189
2011-07-15（万方平台首次上网日期，不代表论文的发表时间）