Second International Symposium on Autonomous Decentralized Systems (ISADS'95) Specifying agents in the SF specification language Phoenix, Arizona, USA April 25-April 27 ISBN: 0-8186-7087-8
Abstract: 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. This 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 firhue work.
Citation:
W.D. Hurley, A. Berztiss, "Specifying agents in the SF specification language," isads, pp.0112, Second International Symposium on Autonomous Decentralized Systems (ISADS'95), 1995 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||