A Formal Syntax and Semantics for the GSPML Language

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).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 31, 2005
Accession Number
ADA440151

Entities

People

  • John P. Mcdermott

Organizations

  • United States Naval Research Laboratory

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Boundaries
  • Computer Access Control
  • Computer Programming
  • Formal Languages
  • Grammars
  • Information Operations
  • Information Systems
  • Language
  • Notation
  • Object Oriented Programming
  • Petri Nets
  • Security Protocols
  • Set Theory
  • Simulations
  • Software Development
  • Specifications

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Software Engineering.