Abstract | ||
---|---|---|
Some methods for deriving protocol specifications from given service specifications with time constraints have been proposed. However, existing methods cannot treat the class of service specifications with both parallel synchronization and data values. They also assume that all clocks in the distributed system are synchronized. In this paper, we propose an algorithm to derive a correct protocol specification automatically from a given service specification described in an extended model of time Petri nets where the above restrictions are eliminated. Using our method, we will be free from considering the details of communication delays on the design of real-time distributed systems. |
Year | DOI | Venue |
---|---|---|
1997 | 10.1109/ICPADS.1997.652556 | ICPADS |
Keywords | Field | DocType |
extended model,service specification,correct protocol specification,protocol specification,protocol synthesis,time petri,parallel synchronization,communication delay,data value,time constraint,synchronisation,synchronization,real time systems,class of service,petri nets,automata,distributed processing,formal specification,distributed system,protocols | Synchronization,Petri net,Computer science,Protocol specification,Formal specification,Real-time computing,Process architecture,Class of service,Distributed computing | Conference |
ISBN | Citations | PageRank |
0-8186-8227-2 | 4 | 0.44 |
References | Authors | |
9 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hirozumi Yamaguchi | 1 | 371 | 60.93 |
Kozo Okano | 2 | 37 | 10.93 |
Teruo Higashino | 3 | 1086 | 119.60 |
kenichi taniguchi | 4 | 256 | 35.56 |