Adding Records to Alloy

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2023

Autores

Brunel, J (Autor) Outra; Chemouil, D (Autor) Outra; Cunha, A (Autor) Outra; Macedo, N (Autor) FEUP

Ata de Conferência Internacional

Título: RIGOROUS STATE-BASED METHODS, ABZ 2023

Páginas: 212-219

9th International Conference on Rigorous State-Based Methods (ABZ)

Nancy, FRANCE, MAY 30-JUN 02, 2023

Indexação

ISI Web of Knowledge - 1 Citação

Scopus

Outras Informações

ID Authenticus: P-00Y-CCN

DOI: 10.1007/978-3-031-33163-3_16

Abstract (EN): Records are a composite data type available in most programming and specification languages, but they are not natively supported by Alloy. As a consequence, users often find themselves having to simulate records in ad hoc ways, a strategy that is error prone and often encumbers the analysis procedures. This paper proposes a conservative extension to the Alloy language to support record signatures. Uniqueness and completeness is imposed on the atoms of such signatures, while still supporting Alloy's flexible signature hierarchy. The Analyzer has been extended to internally expand such record signatures as partial knowledge for the solving procedure. Evaluation shows that the proposed approach is more efficient than commonly used idioms.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 8