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.