Title :
A formal framework to build software agents
Author :
Patra, Manas Ranjan ; Mohanty, Hrushikesha
Author_Institution :
Dept. of Comput. Sci., Berhampur Univ., India
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;
Conference_Titel :
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific
Print_ISBN :
0-7695-1408-1
DOI :
10.1109/APSEC.2001.991467
