VAlloy - Virtual Functions Meet a Relational Language
نویسندگان
چکیده
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 automatically translated into Alloy and can be automatically checked using the existing Alloy Analyzer. We illustrate the use of VAlloy by modeling object equality, such as in Java. We also give specifications for a part of the Java Collections Framework.
منابع مشابه
The equational theory of Kleene lattices
Languages and families of binary relations are standard interpretations of Kleene algebras. It is known that the equational theories of these interpretations coincide and that the free Kleene algebra is representable both as a relational and as a language algebra. We investigate the identities valid in these interpretations when we expand the signature of Kleene algebras with the meet operation...
متن کاملDatabase Programming with Delayed Updatesy
\You cannot step twice into the same river; for fresh waters are ever owing in upon you." Heraclitus, circa. 500 B.C. Abstract There are a variety of advanced database features which require the ability to manipulate \virtual" database states along with the actual stored state; examples of this include rule-based triggers in active databases, support for hypothetical reasoning, and some concurr...
متن کاملMeshSQL: the query language for simulation mesh data
Mesh data has been a common form of data produced and searched in scientific simulations, and has been growing rapidly in the size thanks to the increasing computing power. Today, there are visualization tools that assist scientists to explore and examine the data, but their query capabilities are limited to a small set of fixed visualization operations, which is far too short to meet the needs...
متن کاملLanguage and Identity in the Iranian Context: The Impact of Identity Aspects on EFL Learners' Achievement
Identity orientations refer to the relative importance that individuals place on various identity attributes or characteristics such as race, religion, culture and language when constructing their self-definitions (Chew, 2007; Cheek, 1989). Accordingly, the present study aims at identifying the impact of identity aspects on the Iranian learners' English language achievements at Shiraz Universit...
متن کامل