We describe the semantics of statecharts as implemented in the STATEMATE system. This was the first executable semantics defined for the language and has been in use for almost a decade. In terms of the controversy around whether changes made in a given step should take effect in the current step or in the next one, this semantics adopts the latter approach.
This paper provides a brief overview of the STATEMATE system, constructed over the past three years by i-Logix Inc., and Ad Cad Ltd. STATEMATE is a graphical working environment, intended for the specification, analysis, design and documentation of large and complex reactive systems, such as real-time embedded systems, control and communication systems, and… (More)
An O(EVlog<supscrpt>2</supscrpt>V) algorithm for finding the maximal flow in networks is described. It is asymptotically better than the other known algorithms if E &equil; O(V<supscrpt>2−ε</supscrpt>) for some ε>0. The analysis of the running time exploits the discovery of a phenomenon similar to (but more general than) path compression,… (More)
Recent new technologies and paradigm shifts in the IT business make the role of performance engineers significantly more challenging than any other time in the past. Flash technology, virtualization, and Cloud computing provide new options for performance optimization; however, materializing the potential of these technologies in a predictable and cost… (More)