Architectural capability analysis using a model-checking technique

Authors

DOI:

https://doi.org/10.17533/udea.redin.n83a12

Keywords:

Capability analysis, Enterprise architectures, DoDAF, Model-checking, Requirements, TOGAF

Abstract


This paper describes a mathematical approach based on a model-checking technique to analyze capabilities in enterprise architectures developed by using DoDAF and TOGAF architecture frameworks. Such approach base is the requirements’ validation related to the enterprise capabilities by employing operational or business artifacts associated with the dynamic behavior processes. We show how this approach can be used to quantitatively verify if the operational models in an enterprise architecture can achieve the enterprise capabilities by using a case study connected to a capability integration problem.

|Abstract
= 155 veces | PDF
= 182 veces|

Downloads

Download data is not yet available.

Author Biographies

Darío José Delgado-Quintero, Industrial University of Santander

School of Electrical, Electronic and Telecommunications Engineering, Faculty of Physicomechanical Engineering.

Jormary Noguera-Muñoz, Industrial University of Santander

School of Systems Engineering, Faculty of Physicomechanical Engineering.

Gerson Alonso Flores-Rojas, Industrial University of Santander

School of Systems Engineering, Faculty of Physicomechanical Engineering.

Clara Isabel López-Gualdron, Industrial University of Santander

Professor, Researcher. School of Industrial Design, Faculty of Physicomechanical Engineering.

Ricardo Llamosa-Villalba, Industrial University of Santander

Director of the Center for Innovation and Development for Research in Software Engineering - CIDLIS, School of Industrial Design, Faculty of Physicomechanical Engineering. Professor at the School of Electrical, Electronic and Telecommunications Engineering.

References

C. Baier and J. P. Katoen, Principles of model checking. Cambridge, USA: MIT Press, 2008.

E. Karch, The Software Crisis: A Brief Look at How Rework Shaped the Evolution of Software Methodologies, 2011. [Online]. Available: https://blogs.msdn.microsoft.com/karchworld_identity/2011/04/04/the-software-crisis-a-brief-look-at-how-rework-shaped-the-evolution-of-software-methodolgies. Accessed on: May 25, 2017.

V. Lima et al., “Formal verification and validation of UML 2.0 sequence diagrams using source and destination of messages,” Electron. Notes Theor. Comput. Sci., vol. 254, pp. 143–160, 2009.

M. E. Beato, M. Barrio, C. E. Cuesta, and P. de la Fuente, “UML automatic verification tool with formal methods,” Electron. Notes Theor. Comput. Sci., vol. 127, no. 4, pp. 3–16, 2005.

S. Anwer and N. Ikram, “Goal oriented requirement engineering: A critical study of techniques,” in 13th Asia Pacific. Software Engineering Conference (APSEC), Bangalore, India, 2006, pp. 121–130.

IEEE, Systems and software engineering -- Vocabulary, IEEE Standard 24765, 2010.

F. Dandashi, R. Siegers, J. Jones, and T. Blevins, The Open Group Architecture Framework (TOGAF) and the US Department of Defense Architecture Framework (DoDAF), 2006. [Online]. Available: https://www.mitre.org/sites/default/files/pdf/06_0987.pdf. Accessed on: May 25, 2017.

K. Griendling and D. N. Mavris, “Development of a dodaf-based executable architecting approach to analyze system-of-systems alternatives,” in IEEE Aerospace Conference, Big Sky, MT, USA, 2011, pp. 1-15.

S. Sharma, J. Conduit, and S. R. Hill, “Organisational capabilities for customer participation in health care service innovation,” Australas. Mark. J., vol. 22, no. 3, pp. 179–188, 2014.

G. P. Castro, “Evaluación de un modelo de integración de herramientas software dirigido al sector biomédico-ortopédico,” Undergraduate thesis, Univ. Industrial de Santander, Bucaramanga Colombia, 2014.

A. Josey et al., TOGAF Version 9.1 - A Pocket Guide. 1st ed. Van Haren Publishing, 2011.

Z. G. Tao, Y. F. Luo, C. X. Chen, and M. Z. Wang, and F. Ni, “Enterprise application architecture development based on DoDAF and TOGAF,” Enterprise Information Systems, vol. 11, no. 5, pp. 627-651, 2017.

E. A. Emerson and E. M. Clarke, “Using branching time temporal logic to synthesize synchronization skeletons,” Science of Computer Programming, vol. 2, no. 3, pp. 241-266, 1982.

J. P. Queille and J. Sifakis, “Specification and verification of concurrent systems in CESAR,” in International Symposium on Programming, Turin, Italy, 1982, pp. 337–351.

D. Giannakopoulou, “Model checking for concurrent software architectures,” Ph.D. dissertation, Imperial College of Science, London, UK, 1999.

T. J. Blevins, J. Spencer, and F. Waskiewicz, TOGAF ADM and MDA® The Power of Synergy, The Open Group, 2004. [Online]. Available: http://www.opengroup.org/cio/MDA-ADM/. Accessed on: May 25, 2017.

S. Friedenthal, A. Moore, and R. Steiner, “OMG Systems Modeling Language (OMG SysMLTM) Tutorial,” INCOSE International Symposium, vol. 18, no. 1, pp. 1731–1862, 2008.

M. Y. Vardi and P. Wolper, “An automata-theoretic approach to automatic program verification,” in 1st Symposium on Logic in Computer Science (LICS), Cambridge, MA, USA, 1986, pp. 322–331.

J. Magee, J. Kramer, R. Chatley, S. Uchitel, and H. Foster, LTSA - Labelled Transition System. [Online]. Available: http://www.doc.ic.ac.uk/ltsa. Accessed on: Jan. 1, 2017.

D. Pandey, U. Suman, and A. K. Ramani, “An effective requirement engineering process model for software development and requirements management,” in 2nd International Conference on Advances in Recent Technologies in Communication and Computing (ARTCom), Kottayam, India, 2010, pp. 287–291.

G. A. Ricardo and J. Borbinha, Blog Post: Requirements and Capabilities, 2013. [Online]. Available: http://www.timbusproject.net/portal/blogs-news-items-etc/timbus-blogs/196-requirements-and-capabilities/. Accessed on: May 16, 2017.

K. A. Griendling, “Architect: the architecture-based technology evaluation and capability tradeoff method,” Ph.D. dissertation, Georgia Institute of Technology, Atlanta, USA, 2011.

Downloads

Published

2017-06-26

How to Cite

Delgado-Quintero, D. J., Noguera-Muñoz, J., Flores-Rojas, G. A., López-Gualdron, C. I., & Llamosa-Villalba, R. (2017). Architectural capability analysis using a model-checking technique. Revista Facultad De Ingeniería Universidad De Antioquia, (83), 92–101. https://doi.org/10.17533/udea.redin.n83a12