Object-oriented support for specification of distributed protocols

被引：0
|
作者：
Sturman, DC [1 ]
机构：
[1] IBM CORP,TJ WATSON RES CTR,HAWTHORNE,NY 10532
来源：
PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON OBJECT-ORIENTATION IN OPERATING SYSTEMS | 1996年
关键词：
D O I：
10.1109/IWOOOS.1996.557903
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：133 / 137
页数：5
相关论文
共 50 条
  • [1] Object-oriented specification of protocols for reusability
    Prinz, A
    Schwarz, M
    [J]. TELECOMMUNICATIONS AND BEYOND: THE BROADER APPLICABILITY OF SDL AND MSC, 2003, 2599 : 90 - 102
  • [2] Object-oriented specification and open distributed systems
    Johnsen, EB
    Owe, O
    [J]. FROM OBJECT-ORIENTATION TO FORMAL METHODS: ESSAYS IN MEMORY OF OLE-JOHAN DAHL, 2004, 2635 : 137 - 164
  • [3] Modular object-oriented design of distributed protocols
    Singh, G
    Wu, J
    [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS - TOOLS 34, PROCEEDINGS, 2000, : 329 - 338
  • [4] A formal specification framework for object-oriented distributed systems
    Buchs, D
    Guelfi, N
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (07) : 635 - 652
  • [5] AN OBJECT-ORIENTED SPECIFICATION FOR COMPILER
    WU, PC
    WANG, FJ
    [J]. SIGPLAN NOTICES, 1992, 27 (01): : 85 - 94
  • [6] Object-oriented network protocols
    Bocking, S
    [J]. IEEE INFOCOM '97 - THE CONFERENCE ON COMPUTER COMMUNICATIONS, PROCEEDINGS, VOLS 1-3: SIXTEENTH ANNUAL JOINT CONFERENCE OF THE IEEE COMPUTER AND COMMUNICATIONS SOCIETIES - DRIVING THE INFORMATION REVOLUTION, 1997, : 1245 - 1252
  • [7] OPERATING SYSTEM SUPPORT FOR OBJECT-ORIENTED DISTRIBUTED SYSTEMS
    SHRIVASTAVA, S
    MCCUE, D
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 563 : 256 - 257
  • [8] Specification of distributed systems with actors using object-oriented Petri nets
    Mikolajczak, B
    Ottlik, A
    [J]. SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3134 - 3140
  • [9] OBJECT-ORIENTED SPECIFICATION IN LOTOS AND Z, OR MY CAT REALLY IS OBJECT-ORIENTED
    CUSACK, E
    LAI, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 489 : 179 - 202
  • [10] AN OBJECT-ORIENTED REQUIREMENTS SPECIFICATION METHOD
    BAILIN, SC
    [J]. COMMUNICATIONS OF THE ACM, 1989, 32 (05) : 608 - 623
12345