Specifying agents in the SF specification language

Author

Hurley, W. David ; Berztiss, Alfs

Author_Institution

Dept. of Comput. Sci., Pittsburgh Univ., PA, USA

fYear

1995

fDate

25-27 Apr 1995

Firstpage

112

Lastpage

118

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Autonomous Decentralized Systems, 1995. Proceedings. ISADS 95., Second International Symposium on

Conference_Location

Phoenix, AZ

Print_ISBN

0-8186-7087-8

Type

conf

DOI

10.1109/ISADS.1995.398963

Filename

398963