Browsing University of Waterloo by Subject "BoxTalk"
Now showing items 1-2 of 2
-
Fully Automated Translation of BoxTalk to Promela
(University of Waterloo, 2011-08-26)Telecommunication systems are structured to enable incremental growth, so that new telecommunication features can be added to the set of existing features. With the addition of more features, certain existing features may ... -
Mapping BoxTalk to Promela Model
(University of Waterloo, 2007-06-13)A telecommunication feature is an optional or incremental unit of functionality, such as call display (CD) and call forwarding (CF). A feature interaction occurs when, in the presence of other features, the actual behavior ...