Combination and Interoperation of Logical Systems Research in Formal Interoperability

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 30, 1999
Accession Number
ADA371062

Entities

People

  • Carolyn Talcott
  • John McCarthy

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Case Studies
  • Command And Control
  • Complex Systems
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Fault Tolerance
  • Information Systems
  • Language
  • Resource Management
  • Semantic Models
  • Specifications
  • Teamwork
  • Theoretical Computer Science
  • Universities

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Software Engineering.