Behavioral Specification of Sensible Agents

In this paper, Extended Statecharts are used as a comprehensive modeling mechanism for the behavior modeling of Sensible Agents. Extended Statecharts allow for the explicit representation of declarable problem-specific agent soft failures, thereby allowing for failure related information to be incorporated within the high level system design. An example of an air defense system is used to illustrate the modeling capabilities of Extended Statecharts.