Jörg Janneck, Robert Esser, Manuel Hilty  Home/Search
Context
Related
| berkeley.edu/~jann...allenge_Visual.pdf 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: berkeley.edu/~jann...Publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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