Alloy is a new modeling language for software design, while Unified Modeling Language (UML) is a standard modeling language widely used in industry. This paper analyzes the similarities and the differences between Alloy and UML. It focuses on the complexity differences, accuracy differences, and the expression differences between these two languages. Both Alloy and UML can be used to specify th...

We propose VAlloy, an extension to the first order, relational language Alloy. Alloy is suitable for modeling structural properties of object-oriented software. However, Alloy lacks support for dynamic dispatch, i.e., function invocation based on actual parameter types. VAlloy introduces virtual functions in Alloy, which enables intuitive modeling of inheritance. Models in VAlloy are automatica...

Nanosized precipitates in an Al–0.06Sc at.% alloy containing various microalloying additions were studied, with the goal of developing cost-effective aluminum alloys for high-temperature applications, using micro-hardness, electrical conductivity and atom-probe tomography measurements. Substituting 0.005 at.% Er for the more expensive Sc maintains high ambient-temperature strength, and dramatic...

Abstract We have developed a 2-D numerical meshless adaptive approach for phase-field modelling of dendritic solidification. The quadtree-based decomposes the computational domain into quadtree sub-domains different sizes. algorithm generates uniformly-distributed nodes in each sub-domain. apply radial basis function generated finite difference method and forward Euler scheme to discretise gove...

The neotype magnesium alloy, Mg-Nd-Zn-Zr (NZK) alloy, was implanted into the rabbit femur to investigate its in vivo degradation behavior and biocompatibility. Seventy-two New Zealand white rabbits were randomly divided into the NZK alloy group, titanium alloy group and sham-operated group. Then NZK alloy rods were embedded in the rabbit femur in the NZK alloy group, titanium alloy rods were em...

Plastic deformation in elemental BCC metals and dilute alloys is controlled by the slower of kink pair nucleation migration processes along screw dislocations. In facilitated inhibited, leading to a concentration- temperature-dependent transition from dominance dominance. Here, an analytical statistical model for stress-dependent barrier developed validated. The depends only on clearly-defined ...

We explore invariants as a linking mechanism between the business and technical service perspectives: From the business perspective, invariants can be used to model (business) requirements of an enterprise; from the technical perspective, invariants express the properties that must hold during the execution of a service. We propose an approach to enterprise service design that can be described ...

This article contains two main contributions. On the theoretical side, it presents a novel complete proof calculus for Alloy. On the applied side we present Dynamite, a tool that combines the semiautomatic theorem prover PVS with the Alloy Analyzer. Dynamite allows one to prove an Alloy assertion from an Alloy specification using PVS, while using the Alloy Analyzer for the automated analysis of...

In this paper we study the representation theory associated to dilute lattice models. Given a solvable lattice model then often there are dilute versions of the model which are also solvable. These dilute models are studied in [Roc92], [GP93], [Gri94] and [WN93]. In this paper we discuss the algebras generated by the single bond transfer matrices and their representation theory. Our motivation ...

This work investigated the microstructure and elevated-temperature (400-475C) tensile and tensile-creep deformation behavior of a powder metallurgy (PM) rolled Ti-6Al-4V-1B(wt.%) alloy. The PM rolled Ti-6Al-4V-1B alloy exhibited a duplex microstructure, and it did not exhibit a strong α-phase texture compared with the PM extruded Ti-6Al-4V-1B alloy. The PM rolled Ti6Al-4V-1B alloy exhibited gre...