A Process Modelling Framework for Formal
Validation of Panama Canal System Operations
Department of Civil Engineering,
University of Maryland,
College Park, MD 20742, USA.
Mark A. Austin
Institute for Systems Research
University of Maryland
College Park, MD 20742
Copyright © 2008 by Institute for Systems Research. Published and used by INCOSE with permission.
Abstract. In this paper we develop a process modeling framework for the evaluation and formal
validation of Panama Canal system operations. Component- and architecture-level processes are
organized into a three level hierarchy and modeled in LTSA. Safety and progress requirements
are formally expressed as processes that can be evaluated through compositional and search
Problem Statement. The Panama Canal is one of the world's most important waterways.
Initially opened for operation in 1914, the canal is now in the midst of a US $5 billon upgrade