Názov:Formal Specification of AML
Vedúci:Mgr. Radovan Červenka, PhD.
Kµúčové slová:AML, Agent Modeling Language, MAS, Multi-Agent Systems, Object-Z, OZ, formal specification
Abstrakt:In our work we present a formal specification of Agent Modeling Language (AML), which was defined in PhD thesis wrote by R. Cervenka. It provides precise and unambiguous description of AML, which can help in better understanding of the language, opening the door to its wider applicability and further improvements. We also show how to formally specify an abstract multi-agent system (MAS) by means of the concepts of AML. This part demonstrates and proves well-formedness of the used concepts and provides a basis for further research in the area of MAS theories and formal specification of agent-based systems.

Súbory diplomovej práce: