Monterey Phoenix System and Software Architecture and Workflow Modeling Language

Current Deployment: MP version 4

Just Getting Started - Recommended Reading

• Auguston, M. System and Software Architecture and Workflow Modeling Language Manual (Version 4). 2020.

• Giammarco, Kristin, and Len Troncale. "Modeling Isomorphic Systems Processes Using Monterey Phoenix." Systems 6, no. 2: 18. (2018).

• 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.

• Giammarco, K; Carlson, C., Blackburn, M. "Verification and Validation (V&V) of System Behavior Specifications." Final Technical Report SERC-2018-TR-116; Systems Engineering Research Center: Hoboken, NJ, USA, 2018.

• Auguston, Mikhail, Kristin Giammarco, W. Clifton Baldwin, Ji’on Crump, and Monica Farah-Stapleton. Modeling and verifying business processes with Monterey Phoenix. Procedia Computer Science 44 (2015): 345-353.

• Auguston, M., "Behavior models for software architecture," Technical Report NPS-CS-14-003, Monterey, CA, November 2014.

• Giammarco, Kristin, and Mikhail Auguston. Well, you didn’t say not to! A formal systems engineering approach to teaching an unruly architecture good behavior. Procedia Computer Science 20 (2013): 277-282.

Origins of MP

• Auguston, M., 2014. Behavior models for software architecture, NPS Technical Report NPSCS- 14-003, November 2014

• Auguston, M., Whitcomb, C., 2012. Behavior Models and Composition for Software and Systems Architecture, ICSSEA 2012, 24th International Conference on Software & Systems Engineering and their Applications, Telecom ParisTech, Paris, October 23-25, 2012
• Auguston, M.; Whitcomb, C.; Giammarco, K. 2010. “A New Approach to System and Software Architecture Specification Based on Behavior Models.” In Proceedings of the 3rd International Conference on Model-Based Systems Engineering (IC-MBSE 2010), Fairfax, VA, USA, September 27–28, 2010.
• Auguston, M., Whitcomb, C., 2010. System Architecture Specification Based on Behavior Models, in Proceedings of the 15th ICCRTS Conference (International Command and Control Research and Technology Symposium), Santa Monica, CA, June 22-24, 2010
• Auguston, M. 2009.  Software Architecture Built from Behavior Models, Naval Postgraduate School, 2009, Monterey, CA
• Auguston, M. 2009.  Software Architecture Built from Behavior Models, ACM SIGSOFT Software Engineering Notes, 34:5

• Auguston, M. 2009. Monterey Phoenix, or how to make software architecture executable, OOPSLA’09/Onward conference, OOPSLA Companion, October 2009, pp.1031-1038

• Auguston, M., Michael, B., Shing, M., 2006. Environment Behavior Models for Automation of Testing and Assessment of System Safety, Information and Software Technology, Elsevier, Vol. 48, Issue 10 , October 2006, pp. 971-980

• Auguston, M., Jeffrey, C., Underwood, S. 2002. A Framework for Automatic Debugging, in Proceedings of the 17th IEEE International Conference on Automated Software Engineering, September 23-27, 2002, Edinburgh, UK, IEEE Computer Society Press, pp.217-222.

• Auguston, M. 1995. Program Behavior Model Based on Event Grammar and its Application for Debugging Automation, in Proceedings of the 2nd International Workshop on Automated and Algorithmic Debugging, Saint-Malo, France, May 1995.

• Auguston, M. 1991. FORMAN - Program Formal Annotation Language, in Proceedings of 5th Israel Conference on Computer Systems and Software Engineering, Herclia, May 27-28, IEEE Computer Society Press, 1991, pp.149-154.

Quick Links

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.

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.

MP Presentations & Invited Talks

• Analysis of Emergence with MP for INCOSE North Texas Chapter, webinar, September 10, 2019
• SERC Sponsored Research Review, November 8, 2018
• MORS Symposium Presentation, June 20, 2018
• MORS Symposium Tutorial, June 18, 2018
• Practical Modeling Concepts for Engineering Emergence in Systems of Systems, SOSECIE webinar, March 20, 2018
• Behavior Model V&V with MP for INCOSE North Texas Chapter, webinar, February 13, 2018
• INCOSE SoS WG Research Roundtable Presentation, webinar, January 21, 2018
• SERC Sponsored Research Review, November 8, 2017
• Verification and Validation of Behavior Models using Lightweight Formal Methods, SOSECIE webinar, August 8, 2017
• Monterey Phoenix Overview for NAVSEA M&S Forum, webinar, May 9, 2017
• Verification and validation of behavior models using lightweight formal methods, 15^th Annual Conference on Systems Engineering Research presentation, Redondo Beach, CA. March 23-25, 2017.
• Mikhail Auguston, Kristin Giammarco, "Behavioral Models for Systems Architecture and Workflow Analysis." July 2015.
• 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.

Textbook Chapters

• Giammarco, Kristin. 2023. "Exposing and Controlling Emergent Behaviors Using Models with Human Reasoning," In Emergent Behavior in System of Systems Engineering, edited by Larry Rainey and O. Thomas Holland. pp. 23-61. Boca Raton, FL: CRC Press Taylor & Francis Group.
• Giammarco, Kristin and Mikhail Auguston. 2018.  “Monterey Phoenix — Behavior Modeling Approach for the Early Verification and Validation of System of Systems Emergent Behaviors,” In Engineering Emergence: A Modeling and Simulation Approach, edited by Larry Rainey and Mo Jamshidi.  pp. 357-388.  Boca Raton, FL: CRC Press Taylor & Francis Group.
• Quartuccio, John and Kristin Giammarco. 2018.   “A Model-Based Approach to Investigate Emergent Behaviors in Systems of Systems,” In Engineering Emergence: A Modeling and Simulation Approach, edited by Larry Rainey and Mo Jamshidi.  pp. 389-458.  Boca Raton, FL: CRC Press Taylor & Francis Group.
• Whitcomb, Clifford A., Mikhail Auguston, and Kristin Giammarco.  2015. “Composition of Behavior Modeling for Systems Architecture.” In Modeling and Simulation Support for System of Systems Engineering Applications, edited by Larry Rainey and Andreas Tolk. pp. 361-391. Hoboken, NJ: John Wiley & Sons.

Additional MP Literature

• Giammarco, Kristin. "Practical modeling concepts for engineering emergence in systems of systems." In System of Systems Engineering Conference (SoSE), 2017 12th, pp. 1-6. IEEE, 2017.

• Quartuccio, John, Kristin Giammarco, and Mikhail Auguston. "Identifying decision patterns using Monterey Phoenix." In System of Systems Engineering Conference (SoSE), 2017 12th, pp. 1-6. IEEE, 2017.

• Quartuccio, John, Kristin Giammarco, and Mikhail Auguston. "Deriving stochastic properties from behavior models defined by Monterey Phoenix." In System of Systems Engineering Conference (SoSE), 2017 12th, pp. 1-6. IEEE, 2017.

• Giammarco, Kristin, Kathleen Giles, and Clifford A. Whitcomb. "Comprehensive use case scenario generation: An approach for modeling system of systems behaviors." In System of Systems Engineering Conference (SoSE), 2017 12th, pp. 1-6. IEEE, 2017.

• Farah-Stapleton, Monica, Mikhail Auguston, and Kristin Giammarco. “Executable Behavioral Modeling of System and Software Architecture Specifications to Inform Resourcing Decisions.”  Procedia Computer Science 95 (2016): 345-353.

• Giammarco, Kristin, Mikhail Auguston, W. Clifton Baldwin, Ji’on Crump, and Monica Farah-Stapleton. Controlling design complexity with the Monterey Phoenix approach. Procedia Computer Science 36 (2014): 204-209.

• Song, Songzheng, Jiexin Zhang,  Yang Liu,  Mikhail Auguston,  Jun Sun,  Jin Song Dong,  Tieming Chen. Formalizing and verifying stochastic system architectures using Monterey Phoenix, Software & Systems Modeling, Springer Berlin Heidelberg,  April 2014, pp.1-19

• Farah-Stapleton, Monica and Mikhail Auguston.  Behavioral modeling of software intensive system architectures, Complex Adaptive Systems Conference, November 13-15, 2013, Baltimore, MD
• Auguston, M., Whitcomb, C. A., Behavior Models and Composition for Software and Systems Architecture,  ICSSEA 2012, 24th International Conference on SOFTWARE & SYSTEMS ENGINEERING and their APPLICATIONS, Telecom ParisTech, Paris, October 23-25, 2012

• Jiexin Zhang ;  Dong, Jin Song ;  Yang Liu ;  Auguston, Mikhail ;  Jun Sun,  Using Monterey Phoenix to Formalize and Verify System Architectures, 19th Asia-Pacific Software Engineering Conference APSEC 2012, December 4 – 7, 2012, Hong Kong

• Rivera, Joey; Auguston, Mikhail; Finkbine, Ronald, Applying Architecture Modeling Methodology to the Naval Gunship Software Safety Domain, Naval Postgraduate School, 2011, Monterey, CA.

• Google Scholar search on "Monterey Phoenix"

Master's Theses and Dissertations

• Ritter, Christopher S. "Graphical Representation Approach to Reasoning about Complex Systems Behavior for Broad Applications." Master's Thesis,  Naval Postgraduate School, September 2023.
• Beard, David A. "Examining Emergent Behavior in Support of Cyber Operational Preparation of the Environment." Master's Thesis,  Naval Postgraduate School, September 2023.
• Phillips, John. "Modeling Autonomous Performance of Unmanned Systems (UxS) to Lower Program Risk." Master's Thesis,  Naval Postgraduate School, September 2022.
• Hall, Joseph III, Kevin Le, Krunal V. Patel, and Michael A. Savacool. "Assessing Interoperability Between Behavior Diagrams Constructed with Systems Modeling Language (SysML) and Monterey Phoenix (MP)." Capstone Report,  Naval Postgraduate School, September 2022.
• McCauley, Peter F. "Identification of the Formal and Informal Networks of Naval Sea Systems Command Technical Authority to Achieve Organizational Transition to Model-Based Systems Engineering." Master's Thesis,  Naval Postgraduate School, September 2022.
• Mc-Clure, Landa R. "Analysis of Domain-Specific Nuclear Ontology Using Monterey Phoenix Behavior Modeling." Master's Thesis, Naval Postgraduate School, March 2022.
• Palmieri, Margaret. "Assessing and Visualizing Risk in Monterey Phoenix through a Supply Chain Cyber-Attack Use Case." Master's Thesis, Naval Postgraduate School, September 2021.
• Watson, Frank O., III. "Design Methodologies for 21st Century Entity Correlation." Master's Thesis, Naval Postgraduate School, September 2021.
• Desai, Rusita H. "Reusable Monterey Phoenix Code Libraries for Behavior Models and Model Segments." Master's Thesis, Naval Postgraduate School, September 2021.
• Beaver, Joshua. "Analyzing Emergent Behavior of Supply Chains for Personal Protective Equipment in Response to COVID-19." Master's Thesis, Naval Postgraduate School, September 2021.
• Rowton, Amanda.  "Using Behavior Modeling to Enable Emergency Responder Decision-making."  Master's Thesis,  Naval Postgraduate School, September 2020.
• Gramp, Timothy. "Assessing the Usability of the Monterey Phoenix Software." Master's Thesis,  Naval Postgraduate School, September 2019.
• Moebius, Richard. "Methods and Tool for Risk Analysis based on Behavior Models using Monterey Phoenix." Master's Thesis, Naval Postgraduate School, March 2019.
• Giles, Kathleen. "Mission-based Architecture for Swarm Composability." Doctoral Dissertation, Naval Postgraduate School, March 2018.
• Mathos, Stephan. "A Model Based Systems Engineering Analysis of Anti-Submarine Warfare Tactics for Crew-Based Aircraft." Master's Thesis,  Naval Postgraduate School, September 2017.
• Farah-Stapleton, Monica. "Executable behavioral modeling of system- and software- architecture specifications to inform resourcing decisions." Doctoral Dissertation, Naval Postgraduate School, September 2016.
• Revill, Michael B. "UAV swarm behavior modeling for early exposure of failure modes." Master's Thesis,  Naval Postgraduate School, September 2016.
• Christensen, Troy D. "Application of Monterey Phoenix to RQ-21A system architecture." Master's Thesis, Naval Postgraduate School, September 2016.
• Ruppel, Scott. "System behavior models: a survey of approaches." Master's Thesis, June 2016.
• Garcia, Jorge. "Un-building blocks: a model of reverse engineering and applicable heuristics." Doctoral Dissertation, Naval Postgraduate School, December 2015.
• Steward, Victoria. “Functional flow and event-driven methods for predicting system performance.”  Master's Thesis, Naval Postgraduate School, September 2015.

• Pilcher, Joanne D. “Generation of department of defense architecture framework (DODAF) models using the Monterey Phoenix behavior modeling approach.”  Master's Thesis, Naval Postgraduate School, September 2015.

• Hunt, Spencer S. “Model based systems engineering in the execution of search and rescue operations.”  Master's Thesis, Naval Postgraduate School, September 2015.

• Shields, Timothy L.  "Generating GraphML XML Files for Graph Visualization of Architectures and Event Traces for the Monterey Phoenix Program ." Master's Thesis, Naval Postgraduate School, September 2012. 

• Rivera, Joey. "Software System Architecture Modeling Methodology for Naval Gun Weapon Systems." Doctoral Dissertation, Naval Postgraduate School, December 2010.

STEM Internship Projects

• Thrutchley, Richard (2018).  "Applications of Monterey Phoenix for nuclear power stations," mentored by Kristin Giammarco (NPS) and Michael Glazoff (INL).

• Bryant, Jordan (2016).  "Using Monterey Phoenix to analyze an alternative process for administering Naloxone," mentored by Kristin Giammarco (NPS) and Rick Schlegel (EMT).
• Nilles, Hannah (2016).  "Analyzing Monterey Phoenix event traces for UAV flight patterns to assess the accuracy of probability calculations," mentored by Kristin Giammarco (NPS).

  To the Top