An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language

The agent-oriented approach has emerged as a new and powerful paradigm in modern software engineering. This paper analyzes the reactive agent model, exhibiting innovative characteristics of autonomy, goal-direction, reactive capability, concurrency, and interactivity. Contrary to object depictions o...

Full description

Saved in:
Bibliographic Details
Main Authors: Medina, M.A., Urban, J.E.
Format: Conference Proceeding
Language:English
Subjects:
Application software
Computer science
Formal specifications
Power system modeling
Programming
Software agents
Software design
Software engineering
Software systems
Specification languages
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The agent-oriented approach has emerged as a new and powerful paradigm in modern software engineering. This paper analyzes the reactive agent model, exhibiting innovative characteristics of autonomy, goal-direction, reactive capability, concurrency, and interactivity. Contrary to object depictions of attribute and method signatures, reactive agents are described in terms of their behavior. Due to the complex nature inherent to reactive agent behavior, the need for formal specification and design integrity becomes essential. Descartes is an executable specification language, which has historically been applied to provide such design assurance. This paper describes a formal approach to deriving a reactive agent software design represented in the Agent Unified Modeling Language (AUML). The objective is accomplished through extension of the Descartes specification language and application of a transformation into design representation. The addition serves as a method of providing a guarantee of design reliability by way of gap reduction between requirements analysis and design
ISSN:1541-0056
2640-7485
DOI:10.1109/ISADS.2007.12