Formal validation of viewpoint specifications

被引：4

作者：

Ainsworth, M

Riddle, S

Wallis, PJL

机构：

[1] UNIV NEWCASTLE UPON TYNE,DEPT COMP SCI,CTR SOFTWARE RELIABIL,NEWCASTLE TYNE NE1 7RU,TYNE & WEAR,ENGLAND

[2] UNIV BATH,SCH MATH SCI,BATH BA2 7AY,AVON,ENGLAND

来源：

SOFTWARE ENGINEERING JOURNAL | 1996年 / 11卷 / 01期

关键词：

D O I：

10.1049/sej.1996.0006

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

How can we be sure that a set of viewpoints is valid, in the sense that it is possible to build a system consistent with each and every one of them? Our approach is based on the idea of amalgamating the individual viewpoints into a single coherent whole. A formal study of this process leads to a proposed approach for combining viewpoints that identifies conditions under which the resulting specification reflects all the propel-ties of the constituent viewpoints. These ideas are applied to the development of Z specifications, and it is shown how they might be used in other contexts.

引用

页码：58 / 66

页数：9