En ciencia de los computadores e ingeniería informática, Alloy es un lenguaje de especificación declarativo para expresar complejas estructuras de control y comportamiento en un sistema software. Alloy aporta una herramienta de modelaje estructural sencilla basada en lógica de primer orden. Los soportes matemáticos del lenguaje fueron fuertemente influenciados por la notación Z, aunque la sintaxis de Alloy debe más a lenguajes tales como el lenguaje de control de objetos.[1] Alloy está orientado a la creación de micro-modelos que pueden ser automáticamente comprobados para su correctitud. Las especificaciones de Alloy pueden ser comprobadas empleando el Analizador de Alloy.
La primera version del lenguaje Alloy apareció en 1997. Era más bien un limitado lenguaje de modelado de objetos. Las sucesivas iteraciones del lenguaje "añadieron cuantificadores, mayores relaciones de aridad, polimorfismo, composición y firmas".[2] Aunque Alloy está diseñado con un análisis automático en mente, Alloy difiere de muchos lenguajes de especificación por la comprobación de modelo en la que permite la definición de modelos infinitos. El analizador de Alloy está diseñado para realizar comprobaciones de alcance finito incluso en modelos infinitos.
Estructura de modelo
Los modelos de Alloy son naturalmente relacionales, y están compuesto de vastos tipos diferentes de estamentos:[1]
Firmas. Definen el vocabulario del modelo creando nuevos conjuntos.
Hechos. Son <<constraints>> que se asume siempre conservarán.
Predicados. Son <<constraints>> parametrizados, y pueden ser empleados para representar operaciones.
Funciones. Son expresiones que devuelven resultados.
Aserciones. Son conjeturas sobre el modelo que pueden ser verificadas asando el analizador de Alloy.
Ya que Alloy es un lenguaje declarativo el significado de un modelo no se ve afectado por el orden de los estamentos.
. Mit.edu(en inglés). Archivado desde el original el 7 de junio de 2007. Consultado el 12 de junio de 2017.
Datos:Q4733254
Agosto 17, 2021
alloy, ciencia, computadores, ingeniería, informática, lenguaje, especificación, declarativo, para, expresar, complejas, estructuras, control, comportamiento, sistema, software, aporta, herramienta, modelaje, estructural, sencilla, basada, lógica, primer, orde. En ciencia de los computadores e ingenieria informatica Alloy es un lenguaje de especificacion declarativo para expresar complejas estructuras de control y comportamiento en un sistema software Alloy aporta una herramienta de modelaje estructural sencilla basada en logica de primer orden Los soportes matematicos del lenguaje fueron fuertemente influenciados por la notacion Z aunque la sintaxis de Alloy debe mas a lenguajes tales como el lenguaje de control de objetos 1 Alloy esta orientado a la creacion de micro modelos que pueden ser automaticamente comprobados para su correctitud Las especificaciones de Alloy pueden ser comprobadas empleando el Analizador de Alloy La primera version del lenguaje Alloy aparecio en 1997 Era mas bien un limitado lenguaje de modelado de objetos Las sucesivas iteraciones del lenguaje anadieron cuantificadores mayores relaciones de aridad polimorfismo composicion y firmas 2 Aunque Alloy esta disenado con un analisis automatico en mente Alloy difiere de muchos lenguajes de especificacion por la comprobacion de modelo en la que permite la definicion de modelos infinitos El analizador de Alloy esta disenado para realizar comprobaciones de alcance finito incluso en modelos infinitos Estructura de modelo EditarLos modelos de Alloy son naturalmente relacionales y estan compuesto de vastos tipos diferentes de estamentos 1 Firmas Definen el vocabulario del modelo creando nuevos conjuntos Hechos Son lt lt constraints gt gt que se asume siempre conservaran Predicados Son lt lt constraints gt gt parametrizados y pueden ser empleados para representar operaciones Funciones Son expresiones que devuelven resultados Aserciones Son conjeturas sobre el modelo que pueden ser verificadas asando el analizador de Alloy Ya que Alloy es un lenguaje declarativo el significado de un modelo no se ve afectado por el orden de los estamentos Referencias Editar a b Jackson Daniel 2006 Software Abstractions Logis Language and Analysis MIT Press ISBN 978 0 262 10114 1 Alloy Faq Mit edu en ingles Archivado desde el original el 7 de junio de 2007 Consultado el 12 de junio de 2017 Datos Q4733254Obtenido de https es wikipedia org w index php title Alloy amp oldid 118115726, wikipedia, wiki, leyendo, leer, libro, biblioteca,
