In: Proceedings of the 2nd IEEE Workshop on Future Trends of Distributed Computing Systems: Future Trends 90; 1990, Cairo, Egypt, pages 458-464. Piscataway, NJ, USA: IEEE Service Center, 1990.
Abstract: A discussion is presented of the main formal techniques developed for designing hierarchies of protocols and services in distributed systems. Emphasis is on an approach which allows simultaneous handling of function-related and time-related requirements. As a consequence, a state-based methodology is presented which includes extended-time Petri nets and the formal description technique Estelle for behavioral and performance descriptions. It is shown how extended-time Petri net models can be combined with Estelle to describe dynamic structures and dynamic communication in hierarchies of processes.
Keywords: distributed system design; protocol hierarchy; extended-time net; Estelle; performance; dynamic communication.
Back to the Petri Nets Bibliography