An Equational Calculus for Alloy

Abstract

In this paper we show that, by translating Alloy formulas to formulas in the language of fork algebras, we obtain a complete, equational, and purely relational calculus for Alloy.

Authors

Frias MF; Pombo CGL; Aguirre NM

Series

Lecture Notes in Computer Science

Volume

3308

Pagination

pp. 162-175

Publisher

Springer Nature

Publication Date

January 1, 2004

DOI

10.1007/978-3-540-30482-1_19

Conference proceedings

Lecture Notes in Computer Science

ISSN

0302-9743

Associated Experts

Carlos Gustavo Lopez Pombo

Adjunct Associate Professor, Faculty of Engineering

Visit profile

Labels

Fields of Research (FoR)

46 Information and computing sciences

View published work (Non-McMaster Users)

Contact the Experts team

Get technical help

Provide website feedback