análisis de las capacidades de un sistema empleando artefactos arquitecturales: un caso de un sistema de diseño de productos ortopédicos hechos a la medida

Abstract

La técnica de evaluación Model-Checking (MC) ha demostrado ser útil a la hora de evaluar el cumplimiento de requerimientos establecidos para los sistemas, ya que permite validar la lógica y el comportamiento de los sistemas que son modelados en lenguajes como UML, SysML y BPMN. Aunque esta técnica detecta fallas de manera temprana en el sistema, estas fallas están más relacionadas con las necesidades del cliente que con las metas de la organización. En este trabajo se aplica un modelo de detección de fallas asociadas a las metas de la organización. Este modelo se basa en la técnica model checking y en lugar de verificar el cumplimiento de requerimientos se hace un análisis del cumplimiento o no de las capacidades del sistema. El análisis de las capacidades se hizo a un sistema de diseño de productos ortopédicos hechos a la medida. El método de evaluación toma como base modelos de requerimientos, capacidades y comportamiento de la arquitectura del sistema de diseño de productos ortopédicos, que están desarrollados bajo el marco arquitectural DoDAF 2.0, a partir de estos modelos arquitecturales se construye un modelo de comportamiento formal y ejecutable que permite determinar el cumplimiento o no de las capacidades del sistema.