Accession Number:

ADA440151

Title:

A Formal Syntax and Semantics for the GSPML Language

Descriptive Note:

Memorandum rept. Jan-Aug 2005

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC INFORMATION TECHNOLOGY DIV

Personal Author(s):

Report Date:

2005-10-31

Pagination or Media Count:

60.0

Abstract:

This report formally defines both a syntax and a semantics for the GSPML visual language. The syntax is defined with a hypergraph grammar and the semantics is defined with Plotkin style structural operational semantics. A decorated trace semantics is derived from the labeled transition system of the structural operational semantics. GSPML itself is motivated by shortcomings in the visual security modeling capabilities of the Model Driven Architecture MDA.

Subject Categories:

  • Linguistics
  • Computer Programming and Software
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE