Abstract
One of the most important techniques for designing protocols is the compositional technique in which small and simple protocols are designed and verified first and then a large and complex protocol is composed of these small unit like protocols. We have proposed an approach in which service specifications and protocol specifications are simultaneously constructed by combining unit like service and protocol specifications specified in LOTOS. We design and implement a support system for constructing service and protocol specifications based on the approach. The system supports alternative, sequential and parallel composition of specifications. The composed service specification and protocol specifications are observationally equivalent.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
