Accession Number:

ADA586694

Title:

Organization-based Model-driven Development of High-assurance Multiagent Systems

Descriptive Note:

Final rept. Jan 2006-Nov 2008

Corporate Author:

KANSAS STATE UNIV MANHATTAN DEPT OF COMPUTING AND INFORMATION SCIENCES

Personal Author(s):

Report Date:

2009-02-27

Pagination or Media Count:

98.0

Abstract:

This report presents the final results the research grant Organization-based Model-driven Development of High-assurance Multiagent Systems performed by Dr. Scott A. DeLoach and Dr. Robby at Kansas State University. The goal of this research is to develop methods, techniques, and tools to allow developers to design and build highly adaptive distributed systems that are assured of meeting specific design goals. Specifically, there were three key focus areas in this research 1 to develop a model-driven software engineering methodology for the development of high-assurance, highly adaptive multiagent systems, 2 to explore policy-based mechanisms for specifying application-specific properties and metrics for adaptive multiagent systems, and 3 to develop an integrated set of tools to support our proposed software methodology, including automated verification capabilities based on lightweight and model checking approaches. This report details the key results in each of these areas.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE