Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Formal Object State Model Transformations for Automated Agent System Synthesis

Name: Formal Object State Model Transformations for Automated Agent System Synthesis
Brand: Biblioscholar
SKU: 9781288409419
Price: 16.96 EUR
Availability: InStock

Autor: David W Marsh

Jazyk:

Väzba: Brožovaná

Vydavateľ: Biblioscholar

Dostupnosť: Skladom u dodávateľa

Odosielame za 9-15 dní

16.96 €

Automated agent system synthesis is the process of generating code from a requirements specification...

Informácie o knihe

Autor

David W Marsh

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2012

Stránok

142

EAN

9781288409419

ISBN

9781288409419

Enbook ID

08250579

Vydavateľ

Biblioscholar

Hmotnosť

268

Rozmery

189 x 246 x 8

Kompletný popis

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