Abstract
This paper deals with deriving protocol specifications which provide a given service satisfying timing requirements. In previous work, we have developed an extension of a method proposed by Saleh and Probert, by considering timing requirements in a more general case than in other existing studies. In the present paper, we improve our method by several modifications and additions. First, the number of messages exchanged between the protocol entities is minimized. Second, a less restrictive strategy for choosing between several service primitives is proposed. Third, we consider applications where the choice between several primitives of a single site can be made by the user, and not only by the system. Fourth, conditions of existence of solutions are weaker. Fifth, the timing constraints of the synthesized protocols are weaker. Finally, two simple examples of applications are described.
Chapter PDF
Similar content being viewed by others
References
R. ALur and D.Dill, “Automata for Modeling Real-Time Systems,” in Proceedings of the 17th Intern. Coll. on Automata, Languages and Programming, Lecture Notes in Comp. Sci. 443, Ed. Springer-Verlag, Warwick, UK, 1990.
R.J. Deasington, “Protocoles X25 pour les réseaux à commutation de paquets,” Masson, 1987.
R. Gotzhein and G. v. Bochmann, “Deriving Protocol Specifications from Service Specifications Including parameters,” ACM Transactions on Computer Systems, Vol. 8, N° 4, pp. 255–283, 1990.
Y. Iraqi, “Synthèse du protocole X.25 simplifié avec contraintes de temps. Utilisation de l’outil de Khoumsi,” Report of a project realized at the University of Montreal, April, 1996.
C. Kant, T. Higashino and G.v. Bochmann, “Deriving Protocol Specifications from Service Specifications Written in LOTOS,” Distributed Computing, Vol. 10, N° 1, pp. 29–47, 1996.
M. Kapus Kolar, “Deriving protocol specifications from service specifications with heterogeneous timing requirements.” in Proceedings of the IEEE Int. Conf. on Software Engineering for real time systems, United-Kingdom, 1991.
M. Kapus Kolar and J. Rugelj, “Deriving protocol specifications from service specifications with simple relative timing requirements,” in Proceedings of ISMMInt. Workshop on parallel computing, Italy, 1991.
A. Khoumsi, G.v. Bochmann, and R. Dssouli, “Dérivation de spécifications de protocole à partir de spécifications de service avec des contraintes temps-réel,” Revue Réseaux et informatique répartie (RIR), Vol.4, N° 1, April 1994.
E. Madja, “Dérivation de protocoles pour applications temps réeel. Application au système d’assemblage,” Report of a project realized at the University of Montreal, April, 1996.
K.Saleh and R. Probert, “A service-based method for the synthesis of Communications protocols,” International Journal of Mini and Microcomputers, Vol. 12, N° 3, pages 97–103, December 1990.
H. Yamaguchi, K. Okano, T. Higashino and K. Taniguchi, “Synthesis of protocol entities specifications from service specifications in a Petri Net model with registers,”, in Proceedings of IEEE Parallel and Distributed Computing Systems, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Khoumsi, A., Dssouli, R., Bochmann, G.V. (1999). Protocol Synthesis for Real-Time Applications. In: Wu, J., Chanson, S.T., Gao, Q. (eds) Formal Methods for Protocol Engineering and Distributed Systems. PSTV FORTE 1999 1999. IFIP Advances in Information and Communication Technology, vol 28. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35578-8_24
Download citation
DOI: https://doi.org/10.1007/978-0-387-35578-8_24
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5270-0
Online ISBN: 978-0-387-35578-8
eBook Packages: Springer Book Archive