A Formal Syntax and Semantics for the GSPML Language
Memorandum rept. Jan-Aug 2005
NAVAL RESEARCH LAB WASHINGTON DC INFORMATION TECHNOLOGY DIV
Pagination or Media Count:
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.
- Computer Programming and Software
- Computer Systems Management and Standards