How to cite this paper
Toghyani, S & Harounabadi, A. (2015). Validation of enterprise architecture through colored Petri nets.Management Science Letters , 5(3), 311-320.
Refrences
Azgomi, M.A., Kamandi, A., Movaghar, A. (2004). Modelling and evaluation of software systems with object stochastic activity Nets. International conference on software engineering advances, 58-64.
C4ISR Architecture Working Group (AWG) (1997). C4ISR Architecture Framework Version 2.0, 72-74.
Emadi, S., & Shams, F. (2009). A new executable model for software architecture based on petri net. Indian Journal of Science and Technology, 2(9), 15-25.
Iacob, M. E., & Jonkers, H. (2006). Quantitative analysis of enterprise architectures. In Interoperability of Enterprise Software and Applications (pp. 239-252). Springer London.
Jensen, K. (1994). Coloured Petri Nets. Springer-Verlag.
Mozaffari, M., Harounabadi, A., & Mirabedini, S.J. (2011). A method for validating the behavior of enterprise architecture. World Applied Science Journal, 14(6), 831-841.
Rezai, R. (2006). Presenting a method to evaluate enterprise architecture. MS thesis, Science and research branch of Islamic Azad University.
Raouf, R. (2009). Assessment and analysis of enterprise architecture. Doctoral dissertation, Shiraz University.
Shin, M. E., Levis, A. H., & Wagenhals, L. W. (2003, October). Transformation of UML-based system model to design/CPN model for validating system behavior. In Proc. of the 6th Int. Conf. on the UML/Workshop on Compositional Verification of the UML Models.
Saldhana, J., & Shatz, S. M. (2000, July). Uml diagrams to object petri net models: An approach for modeling and analysis. In International Conference on Software Engineering and Knowledge Engineering (pp. 103-110).
Technical committee of IT architecture, (2009). Acquaintance with frameworks of enterprise architecture. Development and Application of ICT (TKFA) monthly magazine, 2(3), 83-88.
C4ISR Architecture Working Group (AWG) (1997). C4ISR Architecture Framework Version 2.0, 72-74.
Emadi, S., & Shams, F. (2009). A new executable model for software architecture based on petri net. Indian Journal of Science and Technology, 2(9), 15-25.
Iacob, M. E., & Jonkers, H. (2006). Quantitative analysis of enterprise architectures. In Interoperability of Enterprise Software and Applications (pp. 239-252). Springer London.
Jensen, K. (1994). Coloured Petri Nets. Springer-Verlag.
Mozaffari, M., Harounabadi, A., & Mirabedini, S.J. (2011). A method for validating the behavior of enterprise architecture. World Applied Science Journal, 14(6), 831-841.
Rezai, R. (2006). Presenting a method to evaluate enterprise architecture. MS thesis, Science and research branch of Islamic Azad University.
Raouf, R. (2009). Assessment and analysis of enterprise architecture. Doctoral dissertation, Shiraz University.
Shin, M. E., Levis, A. H., & Wagenhals, L. W. (2003, October). Transformation of UML-based system model to design/CPN model for validating system behavior. In Proc. of the 6th Int. Conf. on the UML/Workshop on Compositional Verification of the UML Models.
Saldhana, J., & Shatz, S. M. (2000, July). Uml diagrams to object petri net models: An approach for modeling and analysis. In International Conference on Software Engineering and Knowledge Engineering (pp. 103-110).
Technical committee of IT architecture, (2009). Acquaintance with frameworks of enterprise architecture. Development and Application of ICT (TKFA) monthly magazine, 2(3), 83-88.