A Structural Synthesis System for LCC Protocols
Argyrios Grivas · 2005
LCC (Lightweight Communication Calculus) [10] is a language for specifying models of interaction for multi-agent systems. It is an executable specification language in the sense that mechanisms exist for deploying LCC protocols when coodinating software components. It is also a declarative language in the sense that it may be understood and analysed without committment to a specific deployment system. A weakness of LCC from a software engineering point of view is that it has not been provided with methods or tools for structured design of specifications. Currently, designers simply write protocols. The aim of this project is to construct a structured design tool that embodies an incremental design method. Although LCC is a process calculus, it also has many features in common with Horn clause specification and many of the analytical and deployment methods associ-ated with it are based on forms of inference familiar to logic programmers. It is there-fore natural to consider whether structured design methods for logic programs can be applied to LCC. One of the best understood of these design methods is Techniques