Statecharts are widely used in system modelling and specification. They might also be used for performance analysis at early stages of system developing. In order to find performance metrices analytically, it is often assumed that models possess Markovian properties. The paper introduces a notion of Markovian statecharts that enables analytical evaluation of system performance. Our Markovian statecharts are driven by UML statecharts. The Markovian statecharts can model delays caused by: activities, which may be performed within system's states, activities initiated during passing between states. We define semantics of Markovian statecharts following an algebraic approach based on the Statecharts Process Algebra. Next, we present how Markovian processes ca be derived from Markovian statecharts.
PL
Mapy stanów stosuje się powszechnie w specyfikacji i modelowaniu systemów informatycznych. Można je wykorzystywać we wczesnych fazach tworzenia systemów do analizy ich wydajności. Często, w celu analitycznego wyliczania metryk wydajnościowych, zakłada się, że badany model posiada markowowskie własności. Artykuł wprowadza pojęcie markowowskich map stanów wzorowanych na mapach stanów z języka UML (United Modelling Language). Wprowadzone Markowowskie mapy stanów modelują dwa mechanizmy map stanów UML: opóźnienia powodowane przez aktywności wykonywane w czasie przebywania w stanie oraz opóźnienia powodowane przez aktywności inicjowane podczas przechodzenia pomiędzy stanami. W pierwszej części, w oparciu o algebrę procesów, artykuł przedstawia formalną operacyjną semantykę markowowskich map stanów. W drugiej części artykuł przedstawia transformację markowowskich map stanów procesy Markova.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.