期刊名称：International Journal of Computer Science Issues
印刷版ISSN：1694-0784
电子版ISSN：1694-0814
出版年度：2014
卷号：11
期号：1
出版社：IJCSI Press
摘要：Light-weight formal specifications are flexible, have a concrete syntax, and play vital role in correctness of a multi-agent robotic system. To specify such systems in a way that it ensures correctness properties of safety and liveness is important, especially as these systems have high concurrency and in most of the cases have dynamic environment. We have considered a case-study of a multi-agent robotic system for the transport of stock between storehouses to exemplify light-weight formal specifications. The specifications have been modelled as a Labelled Transition System for light-weight formal verification.
关键词：Multi;Agent System; Formal methods; Light;weight formal methods; Finite State Process (FSP); Labelled Transition System (LTS); Safety property; Liveness property.
