Component-oriented programming with sharing: Containment is not ownership

被引:0
|
作者
Hirschkoff, D
Hirschowitz, T
Pous, D
Schmitt, A
Stefani, JB
机构
[1] LIP ENS Lyon, F-69364 Lyon, France
[2] INRIA Rhone Alpes, F-38334 Saint Ismier, France
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Component-oriented programming yields a tension between higher-order features (deployment, reconfiguration, passivation), encapsulation, and component sharing. We propose a discipline for component-oriented programming to address this issue, and we define a process calculus whose operational semantics embodies this programming discipline. We present several examples that illustrate how the calculus supports component sharing, while allowing strong encapsulation and higher-order primitives.
引用
收藏
页码:389 / 404
页数:16
相关论文
共 50 条
  • [21] A component-oriented process model
    Altunel, Y
    IEEE SOFTWARE, 2003, 20 (04) : 10 - 10
  • [22] Stand-alone messages -: A step towards component-oriented programming languages
    Fröhlich, PH
    Franz, M
    MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, 2001, 1897 : 90 - 103
  • [23] Component-Oriented Architecture for SCADA System
    Anh, Phan Duy
    Chau, Truong Dinh
    2009 7TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1 AND 2, 2009, : 422 - 427
  • [24] COMPONENT-ORIENTED SOFTWARE-DEVELOPMENT
    NIERSTRASZ, O
    GIBBS, S
    TSICHRITZIS, D
    COMMUNICATIONS OF THE ACM, 1992, 35 (09) : 160 - 165
  • [25] Mathematics with component-oriented exploratory software
    Kynigos C.
    Koutlis M.
    Hadzilacos T.
    International Journal of Computers for Mathematical Learning, 1997, 2 (3): : 229 - 250
  • [26] Patterns and component-oriented system development
    Hutchinson, J
    Kotonya, G
    EUROMICRO-SEAA 2005: 31st EUROMICRO Conference on Software Engineering and Advanced Applications, Proceedings, 2005, : 126 - 133
  • [27] Component-oriented digital signal processors
    Chang, C
    Wang, TC
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 1263 - 1269
  • [28] Systematic Component-Oriented Language Reuse
    Pfeiffer, Jerome
    2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C, 2023, : 166 - 171
  • [29] A Component-Oriented Framework for Autonomous Agents
    Kappe, Tobias
    Arbab, Farhad
    Talcott, Carolyn
    FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), 2017, 10487 : 20 - 38
  • [30] Mathematics with component-oriented exploratory software
    Kynigos, Chronis
    Koutlis, Manolis
    Hadzilacos, Thanasis
    International Journal of Computers for Mathematical Learning, 1997, 2 (03): : 229 - 250