Estimating the size of an Estelle specification for a communication protocol

Existing software size models estimate the size of an implementation of a software system usually in terms of the number of lines of code. The main drawback of these models is that there is a wide margin of uncertainty, as the actual size depends on the type of application and the software development method adopted. To address this drawback, we focus our work on the formal communication protocol development, and present a size model for estimating the size of an Estelle specification of a communication protocol from its informal specification.