Modeling the Broker Behavior Using a BDI Agent

The static properties of BDI systems can be considered extensions of CTL logics. This type of logic will be model the mental state of agent. The logic is extended by defining additional connectors and operators. We present in this paper the mental BDI agents whose behavior is conduct by beliefs, desires, intentions, and decisions. The case study addresses the scenario of a broker whose operation is given by market conditions and demand, offer, price and number of operations it holds. Key-Words: CTL, specification, BDI, agents, model checker, broker behavior