University of Minnesota
Software Engineering Center

You are here

On the Effectiveness of Slicing Hierarchical State Machines: A Case Study

Date of Publication: 
February 1998
Associated Research Groups: 
Formal specifications can be hundreds of pages in length — a reflection of the size and complexity of the systems being specified. Lengthy documents are difficult to read, understand, and use. Program slicing was developed to address these issues for programs. In this paper, we apply similar techniques to formal specifications expressed as hierarchical state machines. We present a two tiered approach to slicing (or simpli.cation) of hierarchical state machines. We have applied our techniques to a large case study and present empirical data highlighting the reduction and simplification capabilities of our approach to large specifications.
IEEE Computer Society
Proceedings of the Twenty-fourth EUROMICRO Conference
@InProceedings{heimdahl98:slicing, author = {Mats P.E. Heimdahl and Jeffrey M. Thompson and Michael W. Whalen}, title = {On the Effectiveness of Slicing Hierarchical State Machines: A Case Study}, booktitle = {Proceedings of the Twenty-fourth EUROMICRO Conference}, pages = {435-444}, year = 1998, volume = 1 }