A Practical Study of Semi-automatic OSI Protocol Implementation