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
相关论文
共 50 条
  • [1] A survey of concurrent object-oriented languages
    Philippsen, M
    [J]. CONCURRENCY-PRACTICE AND EXPERIENCE, 2000, 12 (10): : 917 - 980
  • [2] HIGHLY EFFICIENT AND ENCAPSULATED REUSE OF SYNCHRONIZATION CODE IN CONCURRENT OBJECT-ORIENTED LANGUAGES
    MATSUOKA, S
    TAURA, K
    YONEZAWA, A
    [J]. SIGPLAN NOTICES, 1993, 28 (10): : 109 - 126
  • [3] A survey of concurrent object-oriented languages (Cools)
    Department of Mathematics and Computer Science, Kuwait University, Kuwait
    不详
    [J]. Inf. Technol. J., 2006, 3 (601-611):
  • [4] Object-oriented concurrent programming languages and systems
    Tripathi, A
    Van Oosten, J
    Miller, R
    [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1999, 12 (07): : 22 - +
  • [5] Object-oriented concurrent programming languages and systems
    Tripathi, Anand
    Van, Oosten, James
    Miller, Robert
    [J]. JOOP - Journal of Object-Oriented Programming, 12 (07): : 22 - 55
  • [6] Design issues in concurrent object-oriented languages and observability
    Tran, Thi Mai Thuong
    Steffen, Martin
    [J]. Proceedings - 2011 3rd International Conference on Knowledge and Systems Engineering, KSE 2011, 2011, : 135 - 142
  • [7] Inheritance in actor based concurrent object-oriented languages
    [J]. Kafura, D.G., 1600, (32):
  • [8] INHERITANCE IN ACTOR BASED CONCURRENT OBJECT-ORIENTED LANGUAGES
    KAFURA, DG
    LEE, KH
    [J]. COMPUTER JOURNAL, 1989, 32 (04): : 297 - 304
  • [9] CONCURRENT LOGIC LANGUAGES ARE TRULY OBJECT-ORIENTED - RESPONSE
    不详
    [J]. IEEE SOFTWARE, 1993, 10 (02) : 11 - &
  • [10] An Object-Oriented Concurrent Language for Extensibility and Reuse of Synchronization Components
    Thomas, L.
    [J]. Computers and Artificial Intelligence, 15 (05):
12345