论文信息 - From abstract qualities to concrete specification using guidance policies

From abstract qualities to concrete specification using guidance policies

This research describes a formal method for transforming abstract qualities into concrete specification in the form of policies within a multiagent system design methodology.

Scott A. DeLoach | Robby | Scott J. Harmon

[1] Matthew B. Dwyer,et al. Bogor: an extensible and highly-modular software model checking framework , 2003, ESEC/FSE-11.

[2] Scott A. DeLoach,et al. A capabilities-based model for adaptive organizations , 2008, Autonomous Agents and Multi-Agent Systems.

[3] M. Robby,et al. Bogor : An Extensible and Highly Modular Model Checking Framework , 2003 .