Bunches for object-oriented, concurrent, and real-time specification

被引：0
|
作者：
Paige, RF [1 ]
Hehner, ECR
机构：
[1] York Univ, Dept Comp Sci, N York, ON M3J 1P3, Canada
[2] Univ Toronto, Dept Comp Sci, Toronto, ON, Canada
来源：
FM'99-FORMAL METHODS | 1999年 / 1708卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We show how a collection of object-oriented concepts can be directly expressed in predicative programming [6]. We demonstrate how these features can be used in cooperation with the existing real-time and concurrency features of predicative programming in several examples, thus providing a simple integration of object-orientation, rear-time, and concurrency.
引用
收藏
页码：530 / 550
页数：21
相关论文
共 50 条
  • [1] A FORMALISM FOR REAL-TIME CONCURRENT OBJECT-ORIENTED COMPUTING
    SATOH, I
    TOKORO, M
    [J]. SIGPLAN NOTICES, 1992, 27 (10): : 315 - 326
  • [2] Formalism for real-time concurrent object-oriented computing
    Satoh, Ichiro
    Tokoro, Mario
    [J]. SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 1992, 27 (10):
  • [3] CONCURRENT OBJECT-ORIENTED REAL-TIME SYSTEMS RESEARCH
    KAFURA, D
    [J]. SIGPLAN NOTICES, 1989, 24 (04): : 203 - 205
  • [4] Concurrent object-oriented programming for distributed real-time systems
    Maruyama, K
    [J]. INFORMATION SCIENCES, 1996, 93 (1-2) : 87 - 106
  • [5] Real-time programming in the concurrent object-oriented language TAO
    Mitchell, SE
    Wellings, AJ
    [J]. SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 179 - 181
  • [6] CONCURRENT, OBJECT-ORIENTED PROGRAM DESIGN IN REAL-TIME SYSTEMS
    PLESSMANN, KW
    TASSAKOS, L
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 257 - 265
  • [7] Adding real-time filters to object-oriented specification of time critical systems
    Periyasamy, K
    Alagar, VS
    [J]. 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 28 - 39
  • [8] Object-oriented specification and design of embedded hard real-time systems
    Nebel, W
    Oppenheimer, F
    Schumacher, G
    Kabous, L
    Radetzki, M
    Putzke-Röming, W
    [J]. SYSTEM-ON-CHIP METHODOLOGIES & DESIGN LANGUAGES, 2001, : 285 - 296
  • [9] Metric framework for object-oriented real-time systems specification languages
    Nesi, P
    Campanai, M
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1996, 34 (01) : 43 - 65
  • [10] EXCEPTION HANDLING AND REAL-TIME FEATURES IN AN OBJECT-ORIENTED CONCURRENT LANGUAGE
    ICHISUGI, Y
    YONEZAWA, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 491 : 92 - 109
12345