A Formal Syntax and Semantics for the GSPML Language
McDermott, John P. · Defense Technical Information Center (DTIC) · 2005
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).