See this document in CiteSeerX!

The Definition Of Hierarchical Finite State Machines in VisualGTDL (2001)  (Make Corrections)  
Jörg Janneck, Robert Esser, Manuel Hilty



  Home/Search   Context   Related

 
View or download:
berkeley.edu/~jann...allenge_Visual.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  berkeley.edu/~jann...Publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: iscuss the individual kinds of constructors ([3] discusses the concepts of VisualGTDL in greater detail), but just remark that besides simple and obvious set operations (union, intersection) set constructors can also be used over quantified variables, and quantification is expressed by labeling an incoming arc with a variable name. Finally, red octagons denote conditions on one or more sets in the picture (connected to them by arcs, which are directed in case the condition is not sym- metric,... (Update)

Active bibliography (related documents):   More   All
0.0:   Enhancing Behavior Protocols with Exceptions - Holub Charles University (2005)   (Correct)
0.0:   On the Compositional Properties of UML Statechart Diagrams - Simons (2000)   (Correct)
0.0:   Specification and Verification of Controlled Systems - Sipma, Manna (1994)   (Correct)

Similar documents based on text:   More   All
1.4:   The Definition of Hierarchical Finite State Machines in GTDL - Esser, Janneck (2001)   (Correct)
0.3:   A Framework for Defining Domain-Specific Visual Languages - Esser, Janneck (2001)   (Correct)
0.3:   A Predicate-Based Approach To Defining Visual Language Syntax - Janneck, Esser (2001)   (Correct)

BibTeX entry:   (Update)

@misc{ janneck-definition,
  author = "Jörg Janneck and Robert Esser and Manuel Hilty",
  title = "The Definition Of Hierarchical Finite State Machines in VisualGTDL",
  url = "citeseer.ist.psu.edu/janneck01definition.html" }
Citations (may not include all citations):
1174   Statecharts: A visual formalism for complex systems - Harel - 1987
1   Graphical definition of visual syn- tax (context) - Hilty - 2000
www.tik.ee.ethz.ch/

Documents on the same site (http://ptolemy.eecs.berkeley.edu/~janneck/Publications.html):   More
A Predicate-Based Approach To Defining Visual Language Syntax - Janneck, Esser (2001)   (Correct)
CAL: Cal Actor Language - Eker, Janneck (2002)   (Correct)
A Framework for Defining Domain-Specific Visual Languages - Esser, Janneck (2001)   (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