Abstract Alloy Instances

被引：3
作者：
Ringert, Jan Oliver [1 ]
Sullivan, Allison [2 ]
机构：
[1] BauhausUnivers Weimar, Weimar, Germany
[2] Univ Texas Arlington, Arlington, TX 76019 USA
来源：
FORMAL METHODS, FM 2023 | 2023年 / 14000卷
关键词：
Alloy analyzer; Instances; Relational logic; Abstraction;
D O I：
10.1007/978-3-031-27481-7_21
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Alloy is a textual modeling language for structures and behaviors of software designs. One of the reasons for Alloy to become a popular light-weight formal method is its support for automated, bounded analyses, which is provided through the Analyzer toolset. The Analyzer provides the means to compute, visualize, and browse instances that either satisfy a model or violate an assertion. Understanding instances for the given analysis often requires much effort and there is no guarantee on the order or level of information of computed instances. To help address this, we introduce the concept of abstract Alloy instances, which abstract information common to all instances, while preserving information specific to the analysis. Our abstraction is based on introducing lower and upper bounds for elements that may appear in Alloy's instances. We evaluate computation times and sizes of abstract instances on a set of benchmark Alloy models.
引用
收藏
页码：364 / 382
页数：19
相关论文
共 50 条
[21]   Segmenting and tracking cell instances with cosine embeddings and recurrent hourglass networks [J].
Payer, Christian ;
Stern, Darko ;
Feiner, Marlies ;
Bischof, Horst ;
Urschler, Martin .
MEDICAL IMAGE ANALYSIS, 2019, 57 :106-119
[22]   Mechanisms and the problem of abstract models [J].
Natalia Carrillo ;
Tarja Knuuttila .
European Journal for Philosophy of Science, 2023, 13
[23]   THE INEVITABILITY OF INCONSISTENT ABSTRACT SPACES [J].
GIUNCHIGLIA, F ;
WALSH, T .
JOURNAL OF AUTOMATED REASONING, 1993, 11 (01) :23-41
[24]   'Animating' the narrative in abstract comics [J].
Davies, Paul Fisher .
STUDIES IN COMICS, 2013, 4 (02) :251-276
[25]   Abstract Mechanisms and Neural Computation [J].
Wajnerman Paz, Abel .
JOURNAL OF COGNITIVE SCIENCE, 2016, 17 (01) :1-26
[26]   Future Use Abstract Painting [J].
Key, Joan .
THIRD TEXT, 2009, 23 (05) :557-563
[27]   Mechanisms and the problem of abstract models [J].
Carrillo, Natalia ;
Knuuttila, Tarja .
EUROPEAN JOURNAL FOR PHILOSOPHY OF SCIENCE, 2023, 13 (03)
[28]   Complex abstract thinking in the classroom [J].
Yanes Guzman, Jaime Rafael .
SOPHIA-COLECCION DE FILOSOFIA DE LA EDUCACION, 2016, (21) :121-141
[29]   Prism: Revealing Hidden Functional Clusters from Massive Instances in Cloud Systems [J].
Liu, Jinyang ;
Jiang, Zhihan ;
Gu, Jiazhen ;
Huang, Junjie ;
Chen, Zhuangbin ;
Feng, Cong ;
Yang, Zengyin ;
Yang, Yongqiang ;
Lyu, Michael R. .
2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, :268-280
[30]   e-Learning Proposal Supported by Reasoning based on Instances of Learning Objects [J].
Maraza-Quispe, Benjamin ;
Melina Alejandro-Oviedo, Olga ;
Choquehuanca-Quispe, Walter ;
Hurtado-Mazeyra, Alejandra ;
Fernandez-Gambarini, Walter .
INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2019, 10 (10) :252-258
12345