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 条
  • [1] ISOLATING INSTANCES IN CLOUD FORENSICS
    Delport, Waldo
    Olivier, Martin
    ADVANCES IN DIGITAL FORENSICS VIII, 2012, 383 : 187 - 200
  • [2] Comparison between instances to solve the CVRP
    Cossio Franco, Edgar Gonzalo
    Hernandez Aguilar, Jose Alberto
    Ochoa-Zezzatti, Alberto
    Ponce Gallegos, Julio Cesar
    INTERNATIONAL JOURNAL OF COMBINATORIAL OPTIMIZATION PROBLEMS AND INFORMATICS, 2018, 9 (02): : 41 - 54
  • [3] On Various Abstract Understandings of Abstract Interpretation
    Cousot, Patrick
    PROCEEDINGS 2015 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, 2015, : 2 - 3
  • [4] Learning concepts when instances never repeat
    Homa, Donald
    Blair, Mark
    McClure, Samuel M.
    Medema, John
    Stone, Gregory
    MEMORY & COGNITION, 2019, 47 (03) : 395 - 411
  • [5] Solving difficult SAT instances in the presence of symmetry
    Aloul, FA
    Ramani, A
    Markov, IL
    Sakallah, KA
    39TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2002, 2002, : 731 - 736
  • [6] Instances of Social Construction of Chronic Patients' Autonomy
    Sandu, A.
    TRADITION AND REFORM: SOCIAL RECONSTRUCTION OF EUROPE, 2013, : 341 - 344
  • [7] From imagos to instances: An aspect of the morphology of change
    Denis, P
    REVUE FRANCAISE DE PSYCHANALYSE, 1996, 60 (04): : 1171 - &
  • [8] How Abstract is Abstract? Layering meaning in physics.
    Podolefsky, Noah S.
    Finkelstein, Noah D.
    2008 PHYSICS EDUCATION RESEARCH CONFERENCE, 2008, 1064 : 167 - 170
  • [9] Abstract experience
    Goffey, Andrew
    THEORY CULTURE & SOCIETY, 2008, 25 (04) : 15 - 30
  • [10] Abstract Neural Networks
    Sotoudeh, Matthew
    Thakur, Aditya, V
    STATIC ANALYSIS (SAS 2020), 2020, 12389 : 65 - 88
12345