How to cite this paper
Alishahi, M., Harounabadi, A & Mirabedini, S. (2012). A method for enterprise architecture validation with colored Petri Nets.Management Science Letters , 2(7), 2417-2424.
Refrences
Bai, X.H.(2008). Study of C4ISR architecture simulation validation with UML and object-based nets.IEEE 8th International Conference on Computer and Information Technology Workshops, in: Heilongjiang University, Harbin, Heilongjiang, China.
Bernardi, S., Donatelli, S., & Merseguer, J. (2002). From UML sequence diagrams and state charts to analysable Petri Net Models. WOSP & apos; 02 Proceedings of the 3rd International Workshop on Software and Performance, ACM New York, NY, USA, 35-45.
Bernardi, S., & Merseguer, J. (2007). Performance Evaluation of UML Design with Stochastic Well-Formed Nets. The Journal of Systems and Software, 80, 1843–1865.
Booch, G., Rumbaugh, J., & Jacobson, I. (1999). The Unified Modeling Language User Guide. Addison Wesley, Reading MA.
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.
Jensen, K. (1993). An introduction to the theoretical aspects of coloured Petri nets, in: J.W. de Bakker, W.-P. deRoever, G. Rozenberg (Eds.).A Decade of Concurrency, in: Lecture Notes in Computer Science, 803, Springer-Verlag, 230-272.
Khayami, R, (2011).Qualitative characteristics of enterprise architecture. Procedia Computer Science, 3, 1277–1282.
Locob, M.E., & Jonkers, H. (2005). Quantitative analysis of enterprise architectures. In the Proceedings of the First International Conference on Interoperability of Enterprise Software and Application (INTEROP-ESA’2005), Geneva, Switzerland, 234-248.
Mozafari, M., Harounabadi, A., & Mirabedini, S.J. (2011). A method for validating the behavior of enterprise architecture. World Applied Sciences, 14(6), 831-841.
Ostadzadeh, S.H., & Nekoui, M.A. (2009). A Petri-Nets based unified modeling approach for Zachman framework cells. In the Proceedings of ScSS’2009, 615-618.
Ourdani, A., Esteban, M., Paludetto, & Pascal, J.C. (2006). A Meta Modeling Approach for Sequence Diagram to Petri Nets Transformation within the Requirements Validation Process. Proceedings of the European Simulation and Modeling Conference, Toulouse, France, 345-349.
Khayami,R., Tawhidi, A., & Ziarati, K. (2011). Evaluation quality characteristic of enterprise architecture. In the Proceedings of World Conference on Information Technology, 3, 1277-1282.
Rezaei, R., & Shams, F. (2008). A methodology to create data architecture in Zachman framework. World Applied Science Journal, 3(2), 343-349.
Saldhana, J. A., & Shatz, M. (2000). UML diagrams to object Petri Net models: An approach for modeling and analysis, in: Department of Electrical Engineering and Computer Science University of Illinois at Chicago, USA.
Unified Modeling Language Specification Version 1.4.2, OMG.(2004).
Wagenhals, L.W., Haider, S., & Levis, A.H. (2003). Synthesizing executable models of object oriented architectures. Journal of Systems Engineering, 6(4), 266-300.
Bernardi, S., Donatelli, S., & Merseguer, J. (2002). From UML sequence diagrams and state charts to analysable Petri Net Models. WOSP & apos; 02 Proceedings of the 3rd International Workshop on Software and Performance, ACM New York, NY, USA, 35-45.
Bernardi, S., & Merseguer, J. (2007). Performance Evaluation of UML Design with Stochastic Well-Formed Nets. The Journal of Systems and Software, 80, 1843–1865.
Booch, G., Rumbaugh, J., & Jacobson, I. (1999). The Unified Modeling Language User Guide. Addison Wesley, Reading MA.
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.
Jensen, K. (1993). An introduction to the theoretical aspects of coloured Petri nets, in: J.W. de Bakker, W.-P. deRoever, G. Rozenberg (Eds.).A Decade of Concurrency, in: Lecture Notes in Computer Science, 803, Springer-Verlag, 230-272.
Khayami, R, (2011).Qualitative characteristics of enterprise architecture. Procedia Computer Science, 3, 1277–1282.
Locob, M.E., & Jonkers, H. (2005). Quantitative analysis of enterprise architectures. In the Proceedings of the First International Conference on Interoperability of Enterprise Software and Application (INTEROP-ESA’2005), Geneva, Switzerland, 234-248.
Mozafari, M., Harounabadi, A., & Mirabedini, S.J. (2011). A method for validating the behavior of enterprise architecture. World Applied Sciences, 14(6), 831-841.
Ostadzadeh, S.H., & Nekoui, M.A. (2009). A Petri-Nets based unified modeling approach for Zachman framework cells. In the Proceedings of ScSS’2009, 615-618.
Ourdani, A., Esteban, M., Paludetto, & Pascal, J.C. (2006). A Meta Modeling Approach for Sequence Diagram to Petri Nets Transformation within the Requirements Validation Process. Proceedings of the European Simulation and Modeling Conference, Toulouse, France, 345-349.
Khayami,R., Tawhidi, A., & Ziarati, K. (2011). Evaluation quality characteristic of enterprise architecture. In the Proceedings of World Conference on Information Technology, 3, 1277-1282.
Rezaei, R., & Shams, F. (2008). A methodology to create data architecture in Zachman framework. World Applied Science Journal, 3(2), 343-349.
Saldhana, J. A., & Shatz, M. (2000). UML diagrams to object Petri Net models: An approach for modeling and analysis, in: Department of Electrical Engineering and Computer Science University of Illinois at Chicago, USA.
Unified Modeling Language Specification Version 1.4.2, OMG.(2004).
Wagenhals, L.W., Haider, S., & Levis, A.H. (2003). Synthesizing executable models of object oriented architectures. Journal of Systems Engineering, 6(4), 266-300.