Page tree

Versions Compared


  • These lines were added. This word was added.
  • These lines were removed. This word was removed.
  • Formatting was changed.

Image ModifiedImage Removed

Children Display
pageMonterey Phoenix Home

Monterey Phoenix System and Software Architecture and Workflow Modeling Language

Current Deployment: MP version 3.5

UI Button
titleMP v3.5 Manual

UI Button
titleMP 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.

Jwplayer nps
PlayerSourceFileMP Presentation CSER 2017-05.mp4


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.

Jwplayer nps
PlayerSourceFileMP Overview.mp4

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.