Towards First-Order Concurrent METATEM

Mark Reynolds

Abstract: In [27] we applied the MetateM executable temporal logic programming language in a distributed system guise to a case study of a hospital patient monitoring system. The purpose was to test MetateM as a framework in which to implement prototypes for developing specifications of complex reactive systems. We demonstrated that it is indeed a very useful tool in such situations and that the framework has promising potential for further development. In this paper, we summarize the lessons which were learnt for future developments paying particular attention to those aspects concerned with using full firstorder temporal logic as the underlying language.