C. Kant, T. Higashino, and G. Bochmann. Deriving protocol speci cations from service speci cations written in lotos. Distributed Computing, 10(1):29-47, 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Synthesizing Distributed Real-Time Systems Modeled by a Timed.. - Khoumsi (2001) (Correct)
....specici cation. a) Input (service) User 1 User 2 User n User 1 User 2 User n Entity n Communication Medium (b) Result (protocol entities) ###### ## ##### ### ###### ## ########## A synthesis method was developed in the past [1] and has subsequently been improved in several papers [9, 4, 7, 6, 8, 5, 10]. Temporal aspects are dealt with in [6, 8, 10] but with certain assumptions related to the transit time in the communication medium. In [6] the transit time is assumed negligible, and in [8] it is estimated by a maximum value. As for [10] the author assumed that the network can estimate with a ....
C. Kant, T. Higashino, and G. Bochmann. Deriving protocol speci cations from service speci cations written in lotos. Distributed Computing, 10(1):29-47, 1996.
Implementation of Service Specifications on Distributed.. - Yamaguchi (1998) (Correct)
....allocation, which speci es an allocation of SAP s and internal resources to protocol entities. Therefore, it can prevent the mistake and reduce the complexity for describing protocol speci cations. Several approaches of protocol synthesis based on some computational models such as FSM EFSM [23, 24, 25, 26], LOTOS [17, 18, 19, 20, 21, 22] and Petri nets [51, 53] have been proposed. In FSM EFSM based approaches, parallel synchronization cannot be speci ed in service speci cations essentially. It is a serious disadvantage point. In LOTOS based approaches, complex control ows can be speci ed in ....
Higashino, T., Okano, K., Imajo, H. and Taniguchi, K.: \Deriving Protocol Specications from Service Specications in Extended FSM Models," Proc. of 13th Int. Conf. on Distributed Computing Systems (ICDCS-13), pp. 141{ 148, 1993. 81
Implementation of Service Specifications on Distributed.. - Yamaguchi (1998) (Correct)
....speci es an allocation of SAP s and internal resources to protocol entities. Therefore, it can prevent the mistake and reduce the complexity for describing protocol speci cations. Several approaches of protocol synthesis based on some computational models such as FSM EFSM [23, 24, 25, 26] LOTOS [17, 18, 19, 20, 21, 22] and Petri nets [51, 53] have been proposed. In FSM EFSM based approaches, parallel synchronization cannot be speci ed in service speci cations essentially. It is a serious disadvantage point. In LOTOS based approaches, complex control ows can be speci ed in service speci cations using several ....
Kant, C., Higashino, T. and Bochmann, G.V.: \Deriving Protocol Speci- cations from Service Specications Written in LOTOS," Distributed Computing, Vol. 10, No. 1, pp. 29-47, 1996.
Protocol Re-synthesis Based on Extended Petri Nets - El-Fakih, Yamaguchi.. (2000) Self-citation (Higashino) (Correct)
....such as LOTOS, Petri nets, FSM EFSM and temporal logic. The second strategy, 20, 23, 19, 24, 22] aims at satisfying the timing constraints speci ed by a given service speci cation in the derived protocol speci cation. This strategy deals with real time distributed systems. The last strategy, [21, 25, 11, 15, 7, 16], deals with the management of distributed resources such as les and databases. The objective here, This work was partially funded by Communications and Information Technology Ontario (CITO) is to determine how the values of these distributed resources are updated or exchanged between PE s ....
T. Higashino, K. Okano, H. Imajo and K. Taniguchi, \Deriving Protocol Speci- cations from Service Specications in Extended FSM Models," Proc. of 13th Int. Conf. on Distributed Computing Systems (ICDCS-13), pp. 141-148, 1993.
Protocol Re-synthesis Based on Extended Petri Nets - El-Fakih, Yamaguchi.. (2000) Self-citation (Higashino Bochmann) (Correct)
....exchange between di erent physical locations. However, the protocol speci cation contains the speci cation of communications between protocol entities (PE s) at the di erent locations. A number of existing protocol synthesis strategies have been described in the literature. The rst strategy, [9, 3, 4, 8, 10, 12, 14, 17, 18], aims at implementing complex control ows using several computational models such as LOTOS, Petri nets, FSM EFSM and temporal logic. The second strategy, 20, 23, 19, 24, 22] aims at satisfying the timing constraints speci ed by a given service speci cation in the derived protocol speci ....
C. Kant, T. Higashino and G. v. Bochmann, \Deriving Protocol Specications from Service Specications Written in LOTOS," Distributed Computing, Vol. 10, No. 1, pp. 29-47, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC