Title :
Specifying agents in the SF specification language
Author :
Hurley, W. David ; Berztiss, Alfs
Author_Institution :
Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
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. 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
Keywords :
formal specification; interactive systems; object-oriented languages; object-oriented programming; parallel programming; specification languages; SF specification language; agent centered paradigm; agent specification; agent systems; coherent description; distributed environments; distributed self initiating agents; functional requirements; interactive systems development; object paradigm; self initiation; traditional software engineering; Communication system control; Computer science; Concurrent computing; Control systems; Costs; Graphics; Interactive systems; Software engineering; Specification languages; Yarn;
Conference_Titel :
Autonomous Decentralized Systems, 1995. Proceedings. ISADS 95., Second International Symposium on
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-8186-7087-8
DOI :
10.1109/ISADS.1995.398963
