Specifying agents in the SF specification language

The traditional object paradigm is evolving into a paradigm of distributed, self initiating agents. To specify the functional requirements of agent systems, we need languages capable of analytic and coherent description of self initiation. The paper assesses the suitability of SF relative to other approaches, using criteria that consider the requirements of traditional software engineering and interactive systems development. The paper shows that SF has important advantages and suggests some directions for future work.<
>