DocumentCode
2358327
Title
A formal framework to build software agents
Author
Patra, Manas Ranjan ; Mohanty, Hrushikesha
Author_Institution
Dept. of Comput. Sci., Berhampur Univ., India
fYear
2001
fDate
4-7 Dec. 2001
Firstpage
119
Lastpage
126
Abstract
This paper presents a micro-level design perspective of a software agent that is capable of taking part in service-centric interactions with other agents in its environment. The agent software is not built as a monolithic entity but is engineered as a set of distinct modules. The components of the agent software are formally specified using the RAISE specification language. Our formal approach to agent building provides clarity at the conceptual level and eases the process of implementation.
Keywords
formal specification; knowledge engineering; software agents; RAISE specification language; formal specification; micro-level design; modules; service-centric interactions; software agent; Buildings; Computer architecture; Computer languages; Computer science; Formal specifications; Software agents; Software design; Software engineering; Software tools; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific
ISSN
1530-1362
Print_ISBN
0-7695-1408-1
Type
conf
DOI
10.1109/APSEC.2001.991467
Filename
991467
Link To Document