Hacia la validación de arquitecturas de software usando Alloy

Novaira, Maria Marta et al · SEDICI UNLP · 2005

Open-access full text

Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.

Author / responsible party

Novaira, Maria Marta et al

Publisher

SEDICI UNLP

Year

2005

Language

Spanish

Resource access

Open the content from the main option or choose another available source.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Main access

Open-access full text

Texto completo identificado como acceso abierto.

Open text

Summary

Descripción general del contenido del recurso.

En este trabajo, presentamos algunas líneas de trabajo que seguimos actualmente, con el objetivo principal de utilizar el lenguaje relacional Alloy para la validación de propiedades estáticas y dinámicas de arquitecturas de software. Allor es un lenguaje de especificaciones con una semántica formal clara, basada principalmente en la noción de relación, y que ha ganado importancia en el último tiempo. Presentamos aquí de qué forma pueden especificarse usando Alloy algunos conceptos asociados a las arquitecturas de software, como componentes o conectores y cómo podría, en principio, utilizar el Alloy Analyzer para validar propiedad estáticas de arquitecturas. Además, discutimos algunas de las limitaciones de Alloy para la especificación de arquitecturas de software, particularmente el modelado de propiedades de trazas de ejecución de sistemas basados en componentes. Eje: Ingeniería en Software Red de Universidades con Carreras en Informática (RedUNCI)

How to cite

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Novaira, M. M. E. A. (2005). Hacia la validación de arquitecturas de software usando Alloy. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/21120

MLA

Novaira, Maria Marta et al. Hacia la validación de arquitecturas de software usando Alloy. SEDICI UNLP, 2005. http://sedici.unlp.edu.ar/handle/10915/21120.

Chicago

Novaira, Maria Marta et al. 2005. Hacia la validación de arquitecturas de software usando Alloy. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/21120.

Harvard

Novaira, M. M. E. A. 2005, Hacia la validación de arquitecturas de software usando Alloy, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/21120 [Accessed 8 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title: Hacia la validación de arquitecturas de software usando Alloy

Author / contributors: Novaira, Maria Marta et al

Publisher: SEDICI UNLP

Publication year: 2005

Language: Spanish

Subjects

Explore related resources through these subjects.

Ciencias Informáticas; SOFTWARE ENGINEERING; Validación; arquitectura; Software; arquitectura de software