Development of a Visual System Interface to Support a Domain-Oriented Application Composition System

Abstract

This research designed and prototyped a visual system interface to generate, display, and modify domain-oriented application specifications. A visual system interface, called the Architect Visual System Interface (AVSI), supplements a text-based environment, called Architect, previously developed by two other students. Using canonical formal specifications of domain objects, Architect rapidly composes these specifications into a software application and executes a prototype of that application as a means to demonstrate its correctness before any programming language specific code is generated. This thesis investigates visual techniques for populating, manipulating, viewing, and composing these software application specifications within the formal object base scheme required by Architect. A Visual Specification Language (VSL) was developed to define the visual display characteristics of domain objects. AVSI provides automatic diagram layout, and also produces a textual display in a domain specific language. The Software Refinery environment, including its graphical interface tool INTERVISTA, Was used to develop techniques for visualizing application data and for manipulating the formal object base. AVSI was validated with a well-understood domain, digital logic, and was found to significantly enhance Architect's application composition process.... Computers, Computer programs, Software engineering, Visual languages, Visual programming systems, Specifications, Domain-specific languages, Domain moding, Application composition systems, Software architecture models.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 23, 1993
Accession Number
ADA262489

Entities

People

  • Timothy L. Weide

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Ground and Sea Platforms
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Application Software
  • Artificial Intelligence
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computers
  • Control Panels
  • Control Systems
  • Digital Circuits
  • Formal Languages
  • Language
  • Lisp Programming Language
  • Programming Languages
  • Software Design
  • Software Development
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Software Engineering.