Dynamic Slicing Research of UML Statechart Specifications

摘要: This paper extends the well-known technique of dynamic slicing to Statechart specifications reactive systems. language state machines along hierarchy, concurrency and communication – resulting in a compact visual notation that allows engineers structure modularize system descriptions. Dynamic is well known domain sequential transformational programs has been found be useful understanding, analysis verification. The classical definition unsuitable for specifications. In this paper, we firstly formally define formal semantics model -- observable semantics, which very suitable slicing, because it only describes outside behavior conceals unobservable specifications, fully captures run-time dependence relation among transitions specification. Then propose new notion that, our opinion, more natural We notions criterion, slice minimal slice, also explain how produce valid criterion simple practical approximation algorithm generation using as an intermediate representation.