**1. Introduction**

This cross-cutting research lies at the intersection of systems science, systems engineering (SE), and software engineering. Systems Processes Theory (SPT) [1–9] is both a candidate general systems theory and systems science. This article describes the use of the SPT as a foundation to build a formal model of cycle behavior using Monterey Phoenix (MP) [10–28], an approach and language implemented for systems and software behavior modeling, verification and validation. This preliminary research is a first test of concept of the potential for the application of MP software to enable SPT basic research and enhance the foundations of SE by identifying and incorporating a better understanding of complex systems from the system sciences and general systems theory.
