Verifying BON models with alloy
Material type:
ArticlePublication details: ref_localidad@NULL : , 2005Description: 1 archivo (333,4 kB)Subject(s): Online resources: Summary: 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 it can be implemented by means of software tools. The utilization of this methodology during the software development allows designers to validate different kinds of properties over their BON mod- els. Allowing, in this way, the finding of criti- cal bugs in earlier steps of system construction. Finally, we present a software which implements this translation from BON to Alloy
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Capítulo de libro
|
Biblioteca Fac.Informática | A0607 (Browse shelf(Opens below)) | Available | DIF-A0607 |
Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
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 it can be implemented by means of software tools. The utilization of this methodology during the software development allows designers to validate different kinds of properties over their BON mod- els. Allowing, in this way, the finding of criti- cal bugs in earlier steps of system construction. Finally, we present a software which implements this translation from BON to Alloy
Journal of Computer Science & Technology, 5(4), pp. 292-298.
There are no comments on this title.