Name: Formal Object State Model Transformations for Automated Agent System Synthesis (en Inglés)
SKU: 59836417
Price: 26.94 USD
Availability: InStock
Author: Marsh, David W.
ISBN: 9781288409419

portada Formal Object State Model Transformations for Automated Agent System Synthesis (en Inglés)

Formal Object State Model Transformations for Automated Agent System Synthesis (en Inglés)

Formato

Libro Físico

Autor

David W. Marsh

Editorial

Biblioscholar

Idioma

Inglés

N° páginas

142

Encuadernación

Tapa Blanda

Dimensiones

24.6x18.9x0.8 cm

Peso

0.27 kg.

ISBN13

9781288409419

Categorías

Educación

Formal Object State Model Transformations for Automated Agent System Synthesis (en Inglés)

David W. Marsh (Autor) · Biblioscholar · Tapa Blanda

Libro Nuevo Importado

Envío: 17 a 23 días háb.

$ 53.89$ 26.94

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 50 unidades

$ 26.94

Llega entre el 23 Sep y el 05 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Formal Object State Model Transformations for Automated Agent System Synthesis (en Inglés)"

Automated agent system synthesis is the process of generating code from a requirements specification with appropriate inputs from the software engineer. Object-oriented (OO) specifications are frequently used to model intelligent software agent systems and software requirements in general; formal representations capture precisely the intentions of the specifier. Portions of OO specifications can be classified as the structural, functional, and state (or dynamic) models; major strides have been taken in the development of transformations for creating code from formal OO specifications, specifically the structural and functional aspects, and are captured within the AFIT Wide-Spectrum Object Modeling Environment (AWSOME). This research creates a methodology for the automatic transformation of the dynamic model into structural and functional components which can then be exploited for the generation of executable code exactly reflecting the original intent of the requirements specification. The integration of agent communication protocols within this context is addressed, providing a methodology for the incorporation of various agent-to-agent and agent-to-human interaction schemes. Feasibility is demonstrated through the application of transformations to a formal requirements model within AWSOME resulting in executable code