From abstract qualities to concrete specification using guidance policies

ABSTRACT

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

REFERENCES

• 1: Scott A. Deloach , Walamitien H. Oyenan , Eric T. Matson, A capabilities-based model for adaptive organizations, Autonomous Agents and Multi-Agent Systems, v.16 n.1, p.13-56, February 2008 [doi>10.1007/s10458-007-9019-4]
• 2: ISO. ISO/IEC: 9126 Information technology-Software Product Evaluation-Quality characteristics and guidelines for their use. International Organization for Standardisation (ISO), 1991.
• 3: Robby , Matthew B. Dwyer , John Hatcliff, Bogor: an extensible and highly-modular software model checking framework, Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, September 01-05, 2003, Helsinki, Finland

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Methodologies (e.g., object-oriented, structured)

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.1 Specifying and Verifying and Reasoning about Programs
          Subjects: Specification techniques

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Multiagent systems

General Terms:
Design, Performance, Reliability, Theory

Keywords:
O-MaSE, agent oriented software engineering, guidance, law, multiagent systems, policy