| Abstract: | Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses specification and semantics of dynamics and control in component‐based agent models. Specification is based on a dedicated formal design specification language for agent models. Semantics of the dynamics are defined using temporal traces with composite states. It is shown in what manner control aspects can be specified, and what their semantics is in terms of the temporal traces. An agent model for controlled diagnostic reasoning processes is used to illustrate the approach. © 2002 Wiley Periodicals, Inc. |
