Date of Original Version

4-1999

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

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.

Share

COinS