Combination and Interoperation of Logical Systems Research in Formal Interoperability

摘要

This project involved investigation of both interpretations of the phrase formal interoperability: (1) formal semantics of the interoperation of components and their combination into complex systems; and (2) the interoperation of formal systems and their combined use to specify the many aspects of complex systems. (1) scientific foundations for sensible, correct and secure interaction between components; (2) formalizing different aspects of complex systems and reasoning across such formalizations; and (3) correct interoperation of formal tools such as theorem provers, declarative languages, and analyzers. Progress in several areas of formal interoperability is reported; reasoning systems, heterogeneous architectures, distributed open systems and the use of reflective techniques.