文章基本信息

标题：Verifying BON models with Alloy
本地全文：下载
作者：R. A. Demasi ; P. D. Ponzio ; P. F. Castro 等
期刊名称：Journal of Computer Science and Technology
印刷版ISSN：1666-6046
电子版ISSN：1666-6038
出版年度：2005
卷号：5
期号：4
出版社：Iberoamerican Science & Technology Education Consortium
摘要：In this paper we describe a methodology to trans-late BON (architectural) designs to Alloy specifi-cations. The main virtue of this process is that itcan be implemented by means of software tools.The utilization of this methodology during thesoftware development allows designers to validatedi.erent kinds of properties over their BON mo d-els. Allowing, in this way, the finding of criti-cal bugs in earlier steps of system construction.Finally, we present a software which implementsthis translation from BON to Alloy
关键词：BON; Alloy; Formal Methods; Soft;ware Engineering; Ob ject Oriented Languages;Architectural Models