Formalizing a Specification for Analysis: The HLA Ownership Properties,

Abstract

Interfaces are commonly specified using informal or semi-formal techniques, relying primarily on natural language descriptions. Such specifications, however, can easily overlook significant details and are not amenable to analysis by automated tools. This paper looks at formalizing one portion of a substantial specification, the ownership management chapter of the DoD HLA framework, and at the subsequent analysis using the tool Ladybug.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1999
Accession Number
ADA366314

Entities

People

  • Craig A. Damon
  • Elizabeth Bigelow
  • James M. Ivers
  • Ralph Melton
  • Robert J. Allen

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Acquisition
  • Computer Science
  • Department Of Defense
  • Governments
  • Language
  • Manuals
  • Natural Languages
  • Notation
  • Robotics
  • Simulations
  • Software Development
  • Specifications
  • Standards
  • Structural Properties
  • Translations
  • United States

Readers

  • Computational Linguistics
  • Life Cycle Cost Analysis
  • Software Engineering.