EXAMPLES OF PROTOCOL SYNTHESIS FROM SERVICE SPECIFICATION

被引：0

|

作者：

KARPOV, JG

机构：

来源：

AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA | 1989年 / 06期

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：3 / 14

页数：12

相关论文

共 50 条

[1] SYNTHESIS OF PROTOCOL SPECIFICATION FROM SERVICE SPECIFICATION
KARPOV, YG
[J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1989, (04): : 3 - 12
[2] FROM SERVICE SPECIFICATION TO PROTOCOL ENTITY IMPLEMENTATION - AN EXERCISE IN FORMAL PROTOCOL DEVELOPMENT
DENDORFER, C
WEBER, R
[J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 8 : 163 - 177
[3] SERVICE SPECIFICATION AND ITS PROTOCOL SPECIFICATIONS IN LOTOS - A SURVEY FOR SYNTHESIS AND EXECUTION
HIGASHINO, T
[J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1992, E75A (03) : 330 - 338
[4] Automatic modification of a protocol specification based on changes of a service specification
Go, K
Takahashi, K
Kaminaga, H
Shiratori, N
[J]. 1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1996, : 129 - 134
[5] A formal service specification for the Internet open trading protocol
Ouyang, C
Kristensen, LM
Billington, J
[J]. APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 352 - 373
[6] Synthesizing Distributed Protocol Specifications from a UML State Machine Modeled Service Specification
Al Dallal, Jehad
Saleh, Kassem A.
[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2012, 27 (06) : 1150 - 1168
[7] Synthesizing Distributed Protocol Specifications from a UML State Machine Modeled Service Specification
Jehad Al Dallal
Kassem A. Saleh
[J]. Journal of Computer Science and Technology, 2012, 27 : 1150 - 1168
[8] Synthesizing Distributed Protocol Specifications from a UML State Machine Modeled Service Specification
Jehad Al Dallal
Kassem A.Saleh
[J]. Journal of Computer Science & Technology, 2012, 27 (06) : 1150 - 1168
[9] Communication service and protocol specification using object oriented analysis
Cena, G
Demartini, C
Durante, L
[J]. ISIE'96 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1 AND 2, 1996, : 1043 - 1048
[10] CONNECTION MANAGEMENT FOR THE TRANSPORT LAYER - SERVICE SPECIFICATION AND PROTOCOL VERIFICATION
MURPHY, SL
SHANKAR, AU
[J]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1991, 39 (12) : 1762 - 1775

← 1 2 3 4 5 →