Component-Based Specification of Distributed Systems

被引：2
|
作者：
Malcolm, Grant [1 ]
机构：
[1] Univ Liverpool, Dept Comp Sci, Liverpool, Merseyside, England
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2006年 / 160卷
关键词：
Component-based software; algebraic specification; hidden algebra; distributed systems; amalgamation;
D O I：
10.1016/j.entcs.2006.05.024
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We suggest that hidden algebra can provide a setting for component specification and composition that has the advantages of algebraic specification, without the disadvantages of object-oriented approaches where communication between components is mediated solely by method invocation. We propose a basic composition mechanism for hidden algebraic component specifications that is based on communication through shared subcomponents, and show that this composition mechanism on specifications extends naturally to allow models (or implementations) of the component specifications to be amalgamated into a model of the composite system.
引用
收藏
页码：211 / 224
页数：14
相关论文
共 50 条
  • [1] Specification and Verification of Component-based Systems (SAVCBS)
    Sharygina, Natasha
    [J]. IET SOFTWARE, 2008, 2 (06) : 475 - 476
  • [2] Monitoring Distributed Component-Based Systems
    Falcone, Ylies
    Nazarpour, Hosein
    Bensalem, Saddek
    Bozga, Marius
    [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2021), 2021, 13077 : 153 - 173
  • [3] Component-based specification, design and verification of adaptive systems
    Graics, Bence
    Molnar, Vince
    Majzik, Istvan
    [J]. SYSTEMS ENGINEERING, 2023, 26 (05) : 567 - 589
  • [4] A logical basis for the specification of reconfigurable component-based systems
    Aguirre, N
    Maibaum, T
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2621 : 37 - 51
  • [5] Improving Availability in Component-Based Distributed Systems
    Al-Wesabi, Fahd N.
    [J]. INTELLIGENT AUTOMATION AND SOFT COMPUTING, 2020, 26 (06): : 1345 - 1357
  • [6] Dependence management in component-based distributed systems
    Kon, F
    Campbell, RH
    [J]. IEEE CONCURRENCY, 2000, 8 (01): : 26 - 36
  • [7] Designing distributed component-based systems with DCL
    Bübl, F
    Leicher, A
    [J]. SEVENTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2001, : 144 - 154
  • [8] A component-based framework for distributed control systems
    Angelov, Christo
    Ke, Xu
    Sierszecki, Krzysztof
    [J]. 32ND EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) - PROCEEDINGS, 2006, : 20 - +
  • [9] Component specification to test component-based software
    Kansomkeat, S
    Rivepiboon, W
    [J]. COMPUTERS AND THEIR APPLICATIONS, 2004, : 282 - 285
  • [10] A formal approach for the specification and verification of trustworthy component-based systems
    Mohammad, Mubarak
    Alagar, Vangalur
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2011, 84 (01) : 77 - 104
12345