Chapter 18. Abstract Action Languages

I have often wished that there were a language in which it would be impossible to tell a lie.

—G. C. Lichtenberg

We have spent most of this book discussing static structure. Even the chapters on FSMs were primarily about using state machine transitions to capture problem space sequencing rules in static structure. Eventually, though, we need to describe what the software does. An AAL describes what a behavior responsibility does within an individual state machine action.