Parameterized Programming for Compositional System Specification

被引：1
|
作者：
Martin, Oscar [1 ]
Verdejo, Alberto [1 ]
Marti-Oliet, Narciso [1 ]
机构：
[1] Univ Complutense Madrid, Fac Informat, Madrid, Spain
来源：
REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2018 | 2018年 / 11152卷
关键词：
TEMPORAL LOGIC; MODEL;
D O I：
10.1007/978-3-319-99840-4_4
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Our overall goal is compositional specification and verification in rewriting logic. In previous work, we described a way to compose system specifications using the operation we call synchronous composition. In this paper, we propose the use of parameterized programming to encapsulate and handle specifications: theories represent interfaces; modules parameterized by such theories instruct on how to assemble the parameter systems using the synchronous composition operation; the implementation of the whole system is then obtained by instantiating the parameters with implementations for the components. We show, and illustrate with examples, how this setting facilitates compositionality.
引用
收藏
页码：59 / 75
页数：17
相关论文
共 50 条
  • [1] Parameterized specification and verification of the Chilean electronic invoices system
    Attali, I
    Barros, T
    Madelaine, E
    SCCC 2004: XXIV INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, 2004, : 14 - 25
  • [2] A visual system for compositional relational programming
    Paçaci, Görkem
    Hamfelt, Andreas
    Frontiers in Artificial Intelligence and Applications, 2014, 260 : 221 - 228
  • [3] PARAMETERIZED PROGRAMMING
    GOGUEN, JA
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (05) : 528 - 543
  • [4] Parameterized Compositional Model Checking
    Namjoshi, Kedar S.
    Trefler, Richard J.
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 589 - 606
  • [5] Compositional Programming
    Zhang, Weixin
    Sun, Yaozhu
    Oliveira, Bruno C. D. S.
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2021, 43 (03):
  • [6] Compositional analysis for verification of parameterized systems
    Basu, S
    Ramakrishnan, CR
    THEORETICAL COMPUTER SCIENCE, 2006, 354 (02) : 211 - 229
  • [7] Compositional analysis for verification of parameterized systems
    Basu, S
    Ramakrishnan, CR
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 315 - 330
  • [8] ON THE PARAMETERIZED ALGEBRAIC SPECIFICATION OF CONCURRENT SYSTEMS
    ASTESIANO, E
    MASCARI, GF
    REGGIO, G
    WIRSING, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 342 - 358
  • [9] PROGRAMMING AND SPECIFICATION
    WIRSING, M
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1987, 6 (06): : 515 - 516
  • [10] Compositional specification of behavioral semantics
    Chen, Kai
    Sztipanovits, Janos
    Neema, Sandeep
    2007 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2007, : 906 - +
12345