Formal semantic definition of SDL
Bo Ai · Journal of China Institute of Communications · 2000
With the ongoing work to improve SDL,and a new version called SDL 2000 to pass the standardization bodies soon,it has become apparent that a new formal semantic of SDL is to be defined In this paper a proposal for a complete formal semantic model for SDL is defined From an analysis of the current semantics some problems and shortcomings are identified The suitability of the proposed model to solve these problems along with its key elements is briefly shown