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

摘要

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.