Coalgebraic semantics for component systems

被引：0
|
作者：
Glesner, Sabine [1 ]
Blech, Jan Olaf [1 ]
机构：
[1] Tech Univ Berlin, Inst Software Engn & Theroet Comp Sci, Berlin, Germany
来源：
ARCHITECTING SYSTEMS WITH TRUSTWORTHY COMPONENTS | 2006年 / 3938卷
关键词：
components; component interaction; semantics; verification; coinduction; Isabelle/HOL;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We propose a novel approach for defining the semantics of component systems coinductively. In particular, we formalize a framework for component systems within the theorem prover Isabelle/HOL. Using this formalization, we are able to formally reason about and verify aspects of component composition and interaction, Furthermore, we discuss strategies for adaptor code generation from a given component system specification. We demonstrate the applicability of our approach by a case study.
引用
收藏
页码：245 / 261
页数：17
相关论文
共 50 条
  • [1] Towards a Coalgebraic Semantics of Behavioral Adaptation in Component-based Software Systems
    Sun, Meng
    [J]. 2015 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND MECHANICAL AUTOMATION (CSMA), 2015, : 41 - 44
  • [2] A Unifying Coalgebraic Semantics Framework for Quantum Systems
    Liu, Ai
    Sun, Meng
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2021, 31 (03) : 381 - 403
  • [3] Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
    Jacobs, Bart
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 203 (05) : 131 - 152
  • [4] A coalgebraic semantics of subtyping
    Poll, E
    [J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 2001, 35 (01): : 61 - 81
  • [5] COALGEBRAIC TRACE SEMANTICS FOR CONTINUOUS PROBABILISTIC TRANSITION SYSTEMS
    Kerstan, Henning
    Koenig, Barbara
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 9 (04)
  • [6] Coalgebraic Symbolic Semantics
    Bonchi, Filippo
    Montanari, Ugo
    [J]. ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2009, 5728 : 173 - 190
  • [7] Coalgebraic Semantics for Nominal Automata
    Frank, Florian
    Milius, Stefan
    Urbat, Henning
    [J]. COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS 2022), 2022, 13225 : 45 - 66
  • [8] Coalgebraic semantics for timed processes
    Kick, Marco
    Power, John
    Simpson, Alex
    [J]. INFORMATION AND COMPUTATION, 2006, 204 (04) : 588 - 609
  • [9] Towards a coalgebraic semantics of the ambient calculus
    Hausmann, D
    Mossakowski, T
    Schröder, L
    [J]. ALEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2005, 3629 : 232 - 246
  • [10] Coalgebraic semantics of modal logics: An overview
    Kupke, Clemens
    Pattinson, Dirk
    [J]. THEORETICAL COMPUTER SCIENCE, 2011, 412 (38) : 5070 - 5094
12345