Michael Breen last updated 2004-8-5  Home/Search
Context
Related
| mbreen.com/breenStatecharts.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mbreen.com (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A critical analysis of statecharts is presented, motivated by difficulties observed in practice by the author and supported by examples. Particular attention is paid to the possible uses of hierarchy and their effects. Despite the notation's popularity, the observations indicate fundamental problems with using statecharts for specification. (Update)
Active bibliography (related documents): More All
0.3: Domain System Statecharts: - The Good The (Correct)
0.3: Extending a Graphic Modeling Language to - Support Partial And (Correct)
0.2: Generating Code from Hierarchical State-Based Requirements - Heimdahl, Keenan (1997) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ michael-statecharts,
author = "Michael Breen Michael",
title = "Statecharts: Some Critical Observations",
url = "citeseer.ist.psu.edu/740806.html" }
Citations (may not include all citations):1174 Statecharts: a visual formalism for complex systems - Harel - 1987
113 Requirements specification for process-control systems - Leveson, Heimdahl et al. - 1994
40 A comparison of statecharts variants (context) - von der Beeck - 1994
8 Designing specification languages for process-control system.. - Leveson, Heimdahl et al. - 1999
6 On statecharts with overlapping (context) - Harel, Kahana - 1992
4 Experiences using statecharts for a system requirements spec.. (context) - Leveson, Heimdahl et al. - 1991
3 Statecharts for requirements specification - as simple as po.. - Glinz - 2002
1 On abstraction in finite state machine models - Breen - 2003
Documents on the same site (http://mbreen.com):
Experience of Using a Lightweight Formal Specification Method for.. - Breen (2005) (Correct)
On Abstraction in Finite State Machine Models - Michael Breen September (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC