Validation of enterprise architecture through colored Petri nets

Toghyani, S.; Harounabadi, A.

Abstract: Enterprise architecture procedure contains some instructions for conversion of enterprise architecture from the current state to the desirable state. This procedure generally contains 3 phases each of which is the basis and prerequisite of the next phase. These phases are: Strategic information technology planning, enterprise architecture planning and enterprise architecture execution. As each phase is a prerequisite of the next one, any fault in each phase causes bigger faults in final results. Therefore, each phase should be double checked to make sure no fault has occurred. The second phase can greatly influence the final results. Therefore the preparation of an executable enterprise architecture model and checking it with functional and non-functional requirements can prevent many faults and lead to execution of a perfect model of the enterprise. The primary objective of this research is to check the accuracy of EA behavior in achieving an appropriate architecture. In this research, official models have been used to propose a solution to transform the products of C4ISR framework to executable Petri nets. Finally, a method is proposed to check the accuracy of the mentioned model. The proposed solution makes the EA semi-automatically check the correctness of the enterprise architecture behavior and increase its accuracy.

How to cite this paper

        APA: Toghyani, S & Harounabadi, A. (2015). Validation of enterprise architecture through colored Petri nets. Management Science Letters, 5(3), 311-320.
    

        Chicago/Turabian: Toghyani, S & Harounabadi, A. 2015. "Validation of enterprise architecture through colored Petri nets." Management Science Letters 5, no. 3 (2015): 311-320.
    

        AMA: Toghyani, S & Harounabadi, A. Validation of enterprise architecture through colored Petri nets. Management Science Letters. 2015;5(3):311-320.
    

References

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.

⭐ Highly Cited Articles

Journals

MSL Volumes

🔑 Keywords

✍️ Authors

🌍 Countries

Validation of enterprise architecture through colored Petri nets Pages 311-320 Download PDF

📝 Ready to share your research?