Increasing the Concurrency in Estelle
Jan Bredereke, Reinhard Gotzhein · 1993
In general, the potential parallelism expressed in a specification should be as high as possible in order to allow for most efficient implementations. We argue that there are currently important limitations of expressing concurrency in Estelle. Therefore, we propose a minor, fully compatible extension of Estelle, which allows a significantly higher degree of concurrency. The syntactical extension consists of additional module attributes, which allow to specify that child modules of active modules may behave asynchronously. We study the semantical implications of this extension, and present the required changes to the Estelle semantics. Keyword Codes: C.2.2; D.2.1; D.3.3 Keywords: Network Protocols; Requirements/Specifications; Language Constructs and Features 1. INTRODUCTION The software development process is usually modeled as a sequence of activities leading from the problem to a software solution. In the area of communication protocols and distributed systems, it is important to ...