Title :
Modeling and formal specification of the personal communication service
Author :
Desbiens, D. ; Bochmann, G.V. ; Das, A. ; Dargham, J.
Author_Institution :
Dept. d´´IRO, Montreal Univ., Que., Canada
Abstract :
A model and a formal specification of the personal communication service obtained by the application of an object-oriented system design methodology is presented and described using the executable object-oriented specification language Mondel. The goal of developing a specification of PCS is primarily to introduce some structure and formalism in its description, which has so far been done informally, and also to provide a better understanding of its constituent elements and their interrelationships. As Mondel is an executable specification language, simulation is used to verify the basic functionality defined in this specification of PCs. Simulation using various scenarios also provides a means of presenting the different concepts of PCS
Keywords :
digital simulation; formal specification; personal communication networks; telecommunications computing; Mondel; PCS; formal specification; object-oriented specification language; object-oriented system design; personal communication service; simulation; Communication system control; Design methodology; Formal specifications; Object oriented modeling; Personal communication networks; Specification languages; Standardization; Telecommunication control; Telecommunication services; Tin;
Conference_Titel :
INFOCOM '93. Proceedings.Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies. Networking: Foundation for the Future, IEEE
Conference_Location :
San Francisco, CA
Print_ISBN :
0-8186-3580-0
DOI :
10.1109/INFCOM.1993.253294
