Hispanopedia WikiLa especificación basada en modelos es un enfoque de especificación formal en el que la especificación del sistema se expresa como un modelo de estado del sistema . Este modelo de estado se construye utilizando entidades matemáticas bien entendidas, como conjuntos y funciones . Las operaciones del sistema se especifican definiendo cómo afectan el estado del modelo del sistema.
Las notaciones más utilizadas para desarrollar especificaciones basadas en modelos son VDM [1] [2] y Z [3] [4] (se pronuncia Zed, no Zee). Estas notaciones se basan en la teoría de conjuntos tipificados . Por lo tanto, los sistemas se modelan utilizando conjuntos y relaciones entre conjuntos.
Otro enfoque bien conocido para la especificación formal es la especificación algebraica .
Véase también
Referencias
- ^ Cliff B. Jones (1980). Desarrollo de software: un enfoque riguroso . Prentice Hall International. ISBN 0-13-821884-6.
- ^ Cliff B. Jones (1986). Desarrollo sistemático de software mediante VDM . Prentice Hall International. ISBN 0-13-880717-5.
- ^ Ian J. Hayes (mayo de 1986). "Uso de las matemáticas para especificar software" (PDF) . Actas de la 1.ª Conferencia Australiana de Ingeniería de Software . ASWEC-86. págs. 67–71.
- ^ J. Michael Spivey (1992). La notación Z: un manual de referencia (2.ª ed.). Serie internacional de ciencias de la computación de Prentice Hall. ISBN 0-13-978529-9Archivado desde el original el 9 de octubre de 2008. Consultado el 24 de octubre de 2010 .
![{\displaystyle {\begin{array}{|rcl|}{\textbf {Especificación}}&&{\textbf {Implementación}}\\\hline {\text{Tipo de datos abstractos}}&\xrightarrow {\text{Reificación de datos}} &{\text{Estructura de datos}}\\{\text{Operaciones}}&{\xrightarrow[{\text{Descomposición de operaciones}}]{}}&{\text{Algoritmos}}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7cfd927beebe328e3bd51537dffb7316579b2b7)
