Modeling and Verifying Business Processes with Monterey Phoenix-Reference-Cited by-同舟云学术

Modeling and Verifying Business Processes with Monterey Phoenix

Published:2015 Issue: Volume:44 Page:345-353
ISSN:1877-0509
Container-title:Procedia Computer Science
language:en
Short-container-title:Procedia Computer Science

Author:

Auguston Mikhail,Giammarco Kristin,Baldwin W. Clifton,Crump Ji’on,Farah-Stapleton Monica

Publisher

Elsevier BV

Subject

General Engineering

Reference22 articles.

1. Rozanski, N., Woods, E., 2012. Software Systems Architecture, 2nd Edition, Addison-Wesley.

2. National Institute of Standards and Technology, Draft Federal Information Processing Standards Publication 183:Integration Definition for Function Modeling (IDEF0). Gaithersburg, MD, December 21, 1993.

3. NASA, 2007, Systems Engineering Handbook, NASA/SP-2007-6105 Rev1. Washington, D.C., December 2007.

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

5. Booch, G., Jacobson, I., Rumbaugh, J., 2000, OMG Unified Modeling Language Specification,http://www.omg.org/docs/formal/00-03-01.pdf.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. System Behavior Specification Verification and Validation (V&V);Systems Engineering for the Digital Age;2023-09-29

2. Designing And Managing Businesses In The Digital Age;The European Proceedings of Social and Behavioural Sciences;2019-01-28

3. Modeling Isomorphic Systems Processes Using Monterey Phoenix;Systems;2018-05-28

4. Verification and Validation of Behavior Models Using Lightweight Formal Methods;Disciplinary Convergence in Systems Engineering Research;2017-11-26

5. A comparison framework for runtime monitoring approaches;Journal of Systems and Software;2017-03