Extensions of Statecharts with Time of Transition, Time Delay of Message Transmitting, and Arrival Probability of Message

junqiao li,jun tang,shuang wan
DOI: https://doi.org/10.1007/978-81-322-1695-7_43
2014-01-01
Abstract:In this paper, we focus on new extensions to the current statecharts to support performance modeling of complex reactive systems. The extensions include time description of transition, time delay description of message transmitting, arrival probability (reliability) description of message. The new extensions not only need to extend the syntaxes of current statecharts, but also need to modify the current semantics to support the executability. We describe the new extended statecharts at syntactic level and discuss them at semantic level.
What problem does this paper attempt to address?