Alloy (specification language)

Known as: Alloy (disambiguation) 
In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and… (More)
Wikipedia

Related topics

Related topics

16 relations
APCBAlloy AnalyzerComputer scienceCorrectness (computer science)
(More)

Broader (1)

Z notation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Titanium: efficient analysis of evolving alloy specifications
The Alloy specification language, and the corresponding Alloy Analyzer, have received much attention in the last two decades with… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2008
Highly Cited
2008
On challenges of model transformation from UML to Alloy
The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Finding Minimal Unsatisfiable Cores of Declarative Specifications
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained… (More)
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Analysis of Model Transformations via Alloy
The concept of model transformations is central to the domain of Model Driven Engineering (MDE). A model transformation automates… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2007
2007
A formal specification of the Fractal component model in Alloy
This report contains a formal specification of the Fractal component model using the Alloy specification language. The report… (More)
Is this relevant?
2007
2007
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications
This article contains two main contributions. On the theoretical side, it presents a novel complete calculus for Alloy. On the… (More)
  • figure 1
  • table 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
TestEra: Specification-Based Testing of Java Programs Using SAT
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in… (More)
  • figure 1
  • figure 6
  • figure 7
  • table I
Is this relevant?
2004
2004
Refactoring Alloy Specifications
This paper proposes modeling laws for Alloy, a formal objectoriented modeling language. These laws are important not only to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2002
Highly Cited
2002
A lightweight approach to specification and analysis of role-based access control extensions
Role-based access control is a powerful and policy-neutral concept for enforcing access control. Many extensions have been… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Alcoa: the alloy constraint analyzer
Alcoa is a tool for analyzing object models. It has a range of uses. At one end, it can act as a support tool for object model… (More)
Is this relevant?