Constructs, concepts and criteria for reuse in concurrent object-oriented languages

被引：0
作者：
Lechner, U [1 ]
机构：
[1] Univ St Gallen, Inst Media & Commun Management, CH-9000 St Gallen, Switzerland
来源：
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING | 1998年 / 1382卷
关键词：
reuse; object orientation; concurrency; rewriting; Maude; mu-calculus; abstract interpretation; inheritance anomaly;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
For reuse in concurrent object-oriented languages we present a set of reuse constructs. We give criteria for relations between classes that can be implemented by those reuse constructs, characterize the properties inherited via the constructs and explore that we have not only constructs but concepts for reuse. We demonstrate the concepts and constructs with the object-oriented concurrent language Maude. We employ the mu-calculus to reason about these specifications and (bi)simulation relations parameterized with Galois connections to model reuse.
引用
收藏
页码：171 / 187
页数：17
相关论文
共 26 条
  • [1] ABITEBOUL S, 1991, P ACM SIGMOD INT C M, P238
  • [2] ALBANO A, 1993, P 19 INT C VER LARG, P39
  • [3] AMERICA P, 1991, LECT NOTES COMPUT SC, V489, P60, DOI 10.1007/BFb0019440
  • [4] Booch Grady., 1998, UNIFIED MODELING LAN
  • [5] BRADFIELD JC, 1992, VERIFYING TEMPORAL P
  • [6] BRUNS G, 1993, LECT NOTES COMPUTER, V714, P37
  • [7] Cousot P., 1978, Proceedings of the IFIP Working Conference on Formal Descriptions of Programming Concepts, P237
  • [8] DENKER G, 1997, 9703 TU BRAUNSCHW
  • [9] FROLUND S, 1992, LECT NOTES COMPUT SC, V615, P185, DOI 10.1007/BFb0053037
  • [10] FUTATSUGI K, 1996, 1 CAFEOBJ WORKSH YOK
123