In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and behavior in a software system. Alloy provides a simple structural modeling tool based on first-order logic. Alloy is targeted at the creation of micro-models that can then be automatically checked for correctness. Alloy specifications can be checked using the Alloy Analyzer. The Alloy language and analyzer are developed by a team led by Daniel Jackson at the Massachusetts Institute of Technology in the United States.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Alloy (specification language) (en)
- Alloy (es)
|
| rdfs:comment
| - In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and behavior in a software system. Alloy provides a simple structural modeling tool based on first-order logic. Alloy is targeted at the creation of micro-models that can then be automatically checked for correctness. Alloy specifications can be checked using the Alloy Analyzer. The Alloy language and analyzer are developed by a team led by Daniel Jackson at the Massachusetts Institute of Technology in the United States. (en)
- 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. 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. (es)
|
| foaf:depiction
| |
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| thumbnail
| |
| has abstract
| - In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and behavior in a software system. Alloy provides a simple structural modeling tool based on first-order logic. Alloy is targeted at the creation of micro-models that can then be automatically checked for correctness. Alloy specifications can be checked using the Alloy Analyzer. Although Alloy is designed with automatic analysis in mind, Alloy differs from many specification languages designed for model-checking in that it permits the definition of infinite models. The Alloy Analyzer is designed to perform finite scope checks even on infinite models. The Alloy language and analyzer are developed by a team led by Daniel Jackson at the Massachusetts Institute of Technology in the United States. (en)
- 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. 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". 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. (es)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is Wikipage disambiguates
of | |
| is known for
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
