Language Specification is Well-defined

Authors

Joe Starr, Ph.D.

I specialize in computational knot theory. I’m also a professional embedded software engineer.

Primary Actor

N/A

Trigger

An upstream actor requests the validation of a language specification.

Goal

An input language specification is validated.

Preconditions

A language specification is loaded.

Scenario

1. The user supplies a language specification to the PDGL.
2. The language specification is validated for consistency.

---