1. Mikhail Auguston, Department of Computer Science, GSOIS
   
2. Clifford Whitcomb, Department of Systems Engineering, GSEAS
   
3. Kristin Giammarco, Department of Systems Engineering, GSEAS

Dr. Auguston’s web site for Monterey Phoenix (contains comprehensive list of MP papers)

• 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

• view recording
  

1. Study the document MP-examples.pdf (this will help you get familiar with the MP grammar by example).
2. Copy the code from any one of the following text files into the Eagles 6 code editor at eagle6.com/modeling.  Use Chrome browser if you have trouble with other browsers.
• Example 1 - Car Race Scenario
• Example 2 - Simple Pipe Filter Architecture Pattern
• Example 3 - Data Items as Behaviors
• Example 7 - Withdraw Money from ATM
• Example 9 - Architecture Model for MP C++ Prototype Trace Generator
• Example 10 - Two Components Communicating via Unreliable Channel
• Example 13 - Multilayer Architecture
• Example 14 - Authentication Scenario
• Flight Scenario - Developed with Federal Aviation Administration (FAA) collaborators as an exploratory exercise
• Activity model from which the Flight Scenario model was derived
• Word file for flight scenario model
• Sample Eagle6 output of a draft MP model manually formatted to resemble original activity model
  
3. Parse the code, run the scenario generation, view the graphic displays to see the different use cases generated.   
4. Take a shot at writing your own MP model using the examples as a template or guide.  Start small, you can always use stepwise refinement to expand the detail on more abstract events.

Bibliography (bolded items are Monterey Phoenix-related works):

1. Aizier, B., Lizy-Destrez, S., Seidner, C., Chapurlat, V., Prun, D., Wippler, J., 2012, xFFBD: Towards a Formal Yet Functional Modeling Language for System Designers, in Proceedings of the 22nd INCOSE International Symposium, Rome, Italy, July 9-12, 2012.
2. Auguston, M., 2009, Software Architecture Built from Behavior Models, ACM SIGSOFT Software Engineering Notes, 34:5.
   
3. Auguston, M., Whitcomb, C. A., 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
4. 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
5. Booch, G., Jacobson, I., Rumbaugh, J., 2000, OMG Unified Modeling Language Specification,    http://www.omg.org/docs/formal/00-03-01.pdf 
   
6. Department of Defense, 2009,  DoD Architecture Framework, Version 2.0, Washington, DC: ASD(NII)/DoD CIO, 2009.
7. Farah-Stapleton, M., Auguston, M., Behavioral Modeling of Software Intensive System Architectures, Complex Adaptive Systems Conference, November 13 - 15, 2013, Baltimore, MD
8. Friedenthal, S., Moore, A., Steiner, R., 2006, OMG Systems Modeling Language (OMG SysML™) Tutorial, Presented at the 2006 INCOSE (International Council on Systems Engineering) International Symposium, Orlando, FL, July 11, 2006.
9. Giammarco, K., Auguston, M.,  Well, You Didn’t Say Not to! A Formal Systems Engineering Approach to Teaching an Unruly Architecture Good Behavior,  Complex Adaptive Systems Conference, November 13 - 15, 2013, Baltimore, MD
10. Jackson, D., 2006, Software Abstractions: Logic, Language and Analysis, Cambridge, Massachusetts: The MIT Press, 2006.
11. Liskov, B., Zilles, S., 1974, Programming with abstract data types, ACM SIGPLAN Notices, Vol 9 Issue 4, pp. 50 – 59
12. Long, D., Scott, Z., 2011, A Primer for Model-Based Systems Engineering, 2nd. Ed, lulu.com, October, 2011.
13. Long, J.E., 2000, Relationships between Common Graphical Representations Used in System Engineering, Proceedings of the SETE2000 Conference (Systems Engineering and Test and Evaluation), Brisbane, Queensland, November 15-17, 2000.
14. NASA, 2007, Systems Engineering Handbook, NASA/SP-2007-6105 Rev1.  Washington, D.C., December 2007.
15. Object Management Group, 2012, Systems Modeling Language Specification, version 1.3, http://www.omg.org/spec/SysML/1.3/PDF
16. Rivera, J., 2010, Software System Architecture Modeling Methodology for Naval Gun Weapon Systems, Doctoral Thesis, Naval Postgraduate School, December 2010.
17. Rivera Consulting Group, Eagle 6 Modeling, http://eagle6.com/modeling
    
18. 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.
    
19. Vaneman, W., Jaskot, R., 2013, A Criteria-Based Framework for Establishing System of Systems Governance, Proceedings of the 7th Annual International IEEE Systems Conference, pp. 491-496, Orlando, FL,  April 15-18, 2013.