Alloy: A lightweight object modelling notation

被引：577

作者：

Jackson, D ^{[1
]}

机构：

[1] MIT, Comp Sci Lab, Cambridge, MA 02139 USA

来源：

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY | 2002年 / 11卷 / 02期

关键词：

design; documentation; languages; object models; Z specification language; first-order logic;

D O I：

10.1145/505145.505149

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Alloy is a little language for describing structural properties, It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful enough to express complex constraints and yet amenable to a fully automatic semantic analysis. Its meaning is given by translation to an even smaller (formally defined) kernel, This paper presents the language in its entirety, and explains its motivation, contributions and deficiencies.

引用

页码：256 / 290

页数：35

共 63 条

[1] IFO - A FORMAL SEMANTIC DATABASE MODEL [J].

ABITEBOUL, S ;

HULL, R .

ACM TRANSACTIONS ON DATABASE SYSTEMS, 1987, 12 (04) :525-565

[2]

ABRIAL JR, 1974, DATA BASE MANAGEMENT

[3]

[Anonymous], DATABASE SYSTEMS, DOI DOI 10.1145/320434.320440

[4]

[Anonymous], 1998, OBJECTS COMPONENTS F

[5]

Arthan R., 1996, CADE 13 WORKSH MECH

[6]

BICKFORD M, 1998, TM980036 OD RES ASS

[7]

BOTTING R, 1992, JOINT M SO CAL CHAPT

[8]

BOURDEAU RH, 1995, IEEE T SOFTW ENG OCT

[9]

BUNKENBURG A, 2001, ACTA INFORM, V37, P8

[10]

Coleman D., 1994, Object-Oriented Development: The Fusion Method

← 1 2 3 4 5 6 7 →