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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
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
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
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
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
This report contains a formal specification of the Fractal component model using the Alloy specification language. The report… (More)
Is this relevant?
2007
2007
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 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
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
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 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?