iState: A Statechart Translator

Sekerinski, Emil; Zurob, Rafik

doi:10.1007/3-540-45441-1_28

Cited by 16 publications

(17 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [13] and [9], Sekerinski translates state charts into Abstract Machine Notation(AMN) and presents iState Tool. In [14], he normalizes statecharts and verifies the specifications.…”

Section: The Effect Of Triggering a Transitionmentioning

confidence: 99%

See 1 more Smart Citation

Generating class contracts from UML protocol statemachines

Porres

Rauf

2009

Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation

View full text Add to dashboard Cite

We present an approach to generate behavioral class interfaces in the form of class contracts from UML 2.0 protocol state machines. A generated class contract defines a pre-and post-condition for each operation that triggers a transition in the state machine. We consider the following protocol SM elements: state and state invariants, simple transitions, compound transitions, high-level transitions, complete transitions, self transitions also deal with the case of firing priorities. The generated contracts can be used as a behavioral interface, for documentation, run-time checking and test case generation.

show abstract

“…In [13] and [9], Sekerinski translates state charts into Abstract Machine Notation(AMN) and presents iState Tool. In [14], he normalizes statecharts and verifies the specifications.…”

Section: The Effect Of Triggering a Transitionmentioning

confidence: 99%

“…In [4], Leitner In terms of model based testing, state charts have been used to study, verify and test the dynamic behavior of a system [5,8,9,14]. In [16], Testing Flow Graph is presented that identifies the flows of UML statechart diagrams and generates test cases.…”

Section: The Effect Of Triggering a Transitionmentioning

confidence: 99%

Generating class contracts from UML protocol statemachines

Porres

Rauf

2009

Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation

View full text Add to dashboard Cite

show abstract

“…The event-based approach to reactive systems is contrasted with the state-based approach. The elements of statecharts are first illustrated and then defined in terms of guarded commands, following [9,10], see Fig. 11.…”

Section: Lecture 11: Reactive Programsmentioning

confidence: 99%

Teaching the unifying mathematics of software design

Sekerinski

2009

Proceedings of the 14th Western Canadian Conference on Computing Education

Self Cite

View full text Add to dashboard Cite

We report on our experience on teaching the mathematics of reliable software design as a unifying force for various elements of software design, rather than as an additional element of software design. This is in line with the use of mathematics in traditional engineering disciplines, but in contrast to teaching a "formal method" optionally after an "informal" exposition to software design or teaching a formal method only with specific applications in mind.

show abstract

“…One is to generate executable code directly from the statecharts, and language of the code can be C/C++ [6][7][8][9], Java [10,11], SP [12]. The other is to convert the statecharts to the third-party executable models such as QNM [13], GSPNs [13,14], DESS [15], Esterel [16], ASMs [17,18], AMN [19,20] and SMV [21]. The first approach is based on the traditional statecharts, and aims at the logical behavior verification instead of performance analysis.…”

Section: Introductionmentioning

confidence: 99%

Performance evaluation from stochastic statecharts representation of flexible reactive systems: A simulation approach

Tang

Wan

et al. 2014

J. of Syst. Eng. Electron.

View full text Add to dashboard Cite

This paper focuses on the performance analysis of flexible reactive systems. The performance analysis consists of two phases: first system modeling, second performance evaluation. The paper models the flexible reactive system by the stochastic statecharts method, and uses the simulation method to evaluate the performance. To make use of the feature of event-triggered state transitions in the statecharts, a new method of simulation is proposed based on the techniques of the discrete-event system simulation. The new method solves the problem of computer implementation of stochastic events, probabilistic transition, concurrent states, parallel actions, and broadcast communication mechanism in the stochastic statecharts. An example of a flexible manufacturing system is presented. The simulation result of the example is consistent with the analytical result, which shows the feasibility of the proposed new simulation method.

show abstract

iState: A Statechart Translator

Cited by 16 publications

References 8 publications

Generating class contracts from UML protocol statemachines

Generating class contracts from UML protocol statemachines

Teaching the unifying mathematics of software design

Performance evaluation from stochastic statecharts representation of flexible reactive systems: A simulation approach

Contact Info

Product

Resources

About