A formal framework to build software agents
A formal framework to build software agents
No Thumbnail Available
Date
2001-12-01
Authors
Patra, Manas Ranjan
Mohanty, Hrushikesha
Journal Title
Journal ISSN
Volume Title
Publisher
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 rather it is engineered as a set of distinct modules. The ingredients 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.
Description
Keywords
Agent engineering,
BDI architecture,
RAISE specification language,
Software agent
Citation
Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC