Techniques for Abstracting SDL Specifications (2002)
| Venue: | Proc. Third SAM (SDL And MSC) Workshop |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Boroday02techniquesfor,
author = {Sergiy Boroday and Roland Groz and Alex Petrenko and Yves-marie Quemener and France Telecom R},
title = {Techniques for Abstracting SDL Specifications},
booktitle = {Proc. Third SAM (SDL And MSC) Workshop},
year = {2002},
pages = {141--157}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstracting the behaviour of a specification is a key technique for dealing with the complexity of such tasks as reachability analysis and test generation. We adapted classical data-flow analysis techniques to abstract variables in SDL processes and addressed the problem of finding conservative state abstractions. Prototype tools have been developed to implement those techniques and applied to simple applications from the field of telecommunications.
