MASL: a Language for Multi-Agent System
Michel Dubois, Yann Le, Dominique Duhaut · 2009
The MASL language proposed here allows for the description of multi-agents, multi-robot behaviour at three different levels: global, group, and local. The originality of MASL is the definition of the instruction entry to create groups of robots. This instruction can run dynamically in two modes: asynchronous or synchronous. Another particularity of MASL is the message passing construction which allows asynchronous or synchronous calls to be defined under a permeability state. Future works are: We want to implement MASL to C++ translator, We want to test real robots controllers, We want to define some good principles in MASL programming, We want to provide GUI (Graphical User Interface) for MASL mission specification, We want to express the formal semantic to allow us to prove several properties in our controllers, We want to provide FIPA compliant services to our agents.