Domain Modeling of Time-Dependent Systems

Abstract

This research investigated the feasibility of composing time- dependent specifications in Architect, a domain oriented application composition and generation system being developed at the Air Force Institute of Technology (AFIT). Architect composes formally specified domain objects into an executable software specification that can be used to verify program correctness prior to generation of language specific code. As part of this research domain modeling techniques were investigated and a candidate process was selected for evaluation. The process was used to develop domain models for two diverse time- dependent domains. Using object-oriented analysis formal specifications were developed for a collection of event-driven logic circuit components and a collection of time-driven cruise missile components. Applications from each domain were composed in Architect and executed to verify correct behavior.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1993
Accession Number
ADA274085

Entities

People

  • Robert W. Waggoner

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Altitude
  • Application Software
  • Computer Programs
  • Computers
  • Control Systems
  • Cruise Missiles
  • Engineering
  • Guidance
  • Inertial Navigation
  • Language
  • Logic
  • Logic Devices
  • Logic Gates
  • Navigation
  • Software Design
  • Software Development

Fields of Study

  • Computer science
  • Engineering

Readers

  • Artificial Intelligence
  • Computational Modeling and Simulation
  • Database Systems and Applications