Accession Number:

ADA371062

Title:

Combination and Interoperation of Logical Systems Research in Formal Interoperability

Descriptive Note:

Final rept. 1 Jun 94-30 Apr 99

Corporate Author:

STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1999-04-30

Pagination or Media Count:

10.0

Abstract:

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.

Subject Categories:

  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE