A Database Foundation for Process Specifications

Abstract

A language suitable for system specification should allow a specification to be based on a cognitive model of the process being described. In part, such a language can be obtained by properly combining certain conceptual abstractions of data models with reference and control concepts designed for programming languages. Augmenting the resulting language with formal versions of several natural language constructs further decreases the cognitive distance between specifications of large systems and the modelled world. Several core elements of such a specification language are developed in this report. Emphasis is placed on modes of expression, such as declarative constraints an temporal reference, which are derived from natural language but are not available in existing formal languages.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1980
Accession Number
ADA092567

Entities

People

  • David S. Wile
  • Neil M. Goldman

Organizations

  • University of Southern California

Tags

Communities of Interest

  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Abstracts
  • Artificial Intelligence
  • Classification
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Database Management Systems
  • Databases
  • Environment
  • Information Science
  • Language
  • Natural Languages
  • Programming Languages
  • Relational Databases
  • Security
  • Specifications

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Software Engineering.