Name
Abstract | ||
|---|---|---|
Few tools are available to help with the difficult task of validating that a Z specification captures its intended meaning. One tool that has been proven to be useful for validating specifications is the Alloy Analyzer, an interactive tool for checking and visualising Alloy models. However, Z specifications need to be translated to Alloy notation to make use of the Alloy Analyzer. These translations have been performed manually so far, which is a cumbersome and error-prone activity. The aim of this paper is to explore to what extent this process can be automated. The paper identifies a subset of Z that can be straightforwardly translated to Alloy, and the translation for this subset is formalised. More complex constructs, like schemas, are harder to translate. The paper gives a brief overview of the problems, and discusses alternative translation approaches. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1007/978-3-642-11811-1_28 | ASM |
Keywords | Field | DocType |
z specification,brief overview,alloy notation,error-prone activity,visualising alloy model,discusses alternative translation approach,complex construct,difficult task,interactive tool,alloy analyzer | Notation,Programming language,Engineering drawing,Computer science,Alloy Analyzer,Alloy | Conference |
Volume | ISSN | ISBN |
5977 | 0302-9743 | 3-642-11810-0 |
Citations | PageRank | References |
6 | 0.49 | 13 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Petra Malik | 1 | 103 | 6.47 |
| Lindsay Groves | 2 | 388 | 26.10 |
| Clare Lenihan | 3 | 6 | 0.49 |