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 processes, respectively.
展开▼