Models to Code: With No Mysterious Gaps

© Leon Starr, Andrew Mangogna and Stephen Mellor 2017

Leon Starr, Andrew Mangogna and Stephen Mellor, Models to Code, 10.1007/978-1-4842-2217-1_6

6. An Extended Example

Leon Starr¹ , Andrew Mangogna² and Stephen Mellor¹

(1)San Francisco, California, USA

(2)Nipomo, California, USA

We presented the simple ATC application as an extended hello world example to demonstrate the fundamental steps in a pycca translation. That initial application addressed a small portion (workloads and shifts) of an isolated subject matter (air traffic control). It was defined by an integrated set of class, state, and action facets wrapped up in a single executable model package. In this chapter, we begin a new case study that requires coordination of multiple such executable ...