Page tree
Skip to end of metadata
Go to start of metadata

Monterey Phoenix System and Software Architecture and Workflow Modeling Language

Current Deployment: MP version 3.5

MP v3.5 Manual

MP v4 Manual




Best Paper Awards 

2017 Best Transition in Systems Engineering Research - Best Paper Award at 15th Annual Conference on Systems Engineering Research (CSER)

Giammarco, Kristin and Kathleen Giles. "Verification and validation of behavior models using lightweight formal methods." In Disciplinary convergence in systems engineering research, pp. 431-447. Springer, Cham, 2018.

Just Getting Started - Recommended Reading

MP Presentations & Invited Talks


Additional MP Literature

STEM Internship Projects


2015 Best Paper Award - Journal of Software and Systems Modeling

Song, Songzheng, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, and Tieming Chen. "Formalizing and verifying stochastic system architectures using Monterey Phoenix." Software & Systems Modeling 15, no. 2 (2016): 453-471.

Presentation Recordings


Recorded presentation for Verification and validation of behavior models using lightweight formal methods, 15th Annual Conference on Systems Engineering Research presentation, Redondo Beach, CA. March 23-25, 2017.


Recorded presentation for Kristin Giammarco, Monica Farah-Stapleton, Mikhail Auguston, “Behavioral Modeling of System Architectures”,presented at the INCOSE System of Systems Working Group Webinar on January 17, 2014.

Material contained herein is made available for the purpose of peer review and discussion and does not necessarily reflect the views of the Department of the Navy or the Department of Defense.

  • No labels