Análisis de capacidades en arquitecturas utilizando técnicas de evaluación de modelos

Autores/as

DOI:

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

Palabras clave:

análisis de capacidades, arquitecturas empresariales, DoDAF, evaluación de modelos, requerimientos, TOGAF

Resumen

Este trabajo describe un enfoque matemático basado en una técnica de validación de modelos para analizar capacidades en arquitecturas empresariales construidas utilizando los marcos arquitecturales DoDAF y TOGAF. La base de este enfoque es la validación de requerimientos relacionados con las capacidades empresariales empleando artefactos arquitecturales operacionales o de negocio asociados con el comportamiento dinámico de los procesos. Se muestra cómo este enfoque puede ser utilizado para verificar, de forma cuantitativa, si los modelos operacionales en una arquitectura empresarial pueden satisfacer las capacidades empresariales. Para ello, se utiliza un estudio de caso relacionado con un problema de integración de capacidades.

|Resumen
= 367 veces | PDF (ENGLISH)
= 264 veces|

Descargas

Los datos de descargas todavía no están disponibles.

Biografía del autor/a

Darío José Delgado-Quintero, Universidad Industrial de Santander

Escuela de Ingeniería Eléctrica, Electrónica y de Telecomunicaciones, Facultad de Ingenierías Físicomecánicas.

Jormary Noguera-Muños, Universidad Industrial de Santander

Escuela de Ingeniería de Sistemas, Facultad de Ingenierías Físicomecánicas.

Gerson Alonso Flores-Rojas, Universidad Industrial de Santander

Escuela de Ingeniería de Sistemas, Facultad de Ingenierías Físicomecánicas.

Clara Isabel López-Gualdron, Universidad Industrial de Santander

Profesora, Investigadora. Escuela de Diseño Industrial, Facultad de Ingenierías Físicomecánicas.

Ricardo Llamosa-Villalba, Universidad Industrial de Santander

Director del Centro de Innovación y Desarrollo para la Investigación en Ingeniería de Software - CIDLIS, Escuela de Diseño Industrial, Facultad de Ingenierías Físicomecánicas. Profesor de la Escuela de Ingeniería Eléctrica, Electrónica y de Telecomunicaciones

Citas

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.

Descargas

Publicado

2017-06-26

Cómo citar

Delgado-Quintero, D. J., Noguera-Muños, J., Flores-Rojas, G. A., López-Gualdron, C. I., & Llamosa-Villalba, R. (2017). Análisis de capacidades en arquitecturas utilizando técnicas de evaluación de modelos. Revista Facultad De Ingeniería Universidad De Antioquia, (83), 92–101. https://doi.org/10.17533/udea.redin.n83a12

Artículos similares

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 > >> 

También puede {advancedSearchLink} para este artículo.