Moses - A tool suite for visual modeling of discrete-event systems

2001 IEEE Symposium on Human-Centric Computing

Volumn , Issue , 2001, Pages 272-279

  Esser, Robert ^a   Janneck, Jörn W ^b  

^a UNIVERSITY OF ADELAIDE   (Australia)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ENCODING (SYMBOLS); PROBLEM SOLVING; SEMANTICS; SOFTWARE ENGINEERING;

VISUAL LANGUAGES;

COMPUTER SIMULATION LANGUAGES;

EID: 0035791369     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. The Moses Project. Computer Engineering and Communications Laboratory, ETH Zurich (http://www.tik.ee.ethz.ch/∼moses).
2. J. Buck, S. Ha, E. Lee, and D. Messerschmitt. Ptolemy: A framework for simulating and prototyping heterogeneous systems. International Journal of Computer Simulations, 4:155-182, April 1995.
3. Robert M. Cubert and Paul A. Fishwick. MOOSE: An object-oriented multimodeling and simulation application fraework. Simulation, June 1997.
4. Martin Erwig. Abstract visual syntax. In 1997 International Workshop on Theory of Visual Languages, pages 15-25, 1997.
5. Robert Esser. An Object Oriented Petri Net Approach to Embedded System Design. PhD thesis, ETH Zurich, 1996.
6. J. Davis et al. Ptolemy II - heterogeneous concurrent modeling and design in JAVA. Memo, UCB/ERL, EECS UC Berkeley, CA 94720, September 2000.
7. J.M. Gooday and A.G. Cohn. Using spatial logic to describe visual languages. In Proc. International Workshop on Theory of Visual Languages, Gubbio, Italy, 1996.
8. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Börger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
9. R. Helm and Kim Marriott. A declarative specification and semantics for visual languages. Journal of Visual Languages and Computing, 2:311-331, 1991.
10. Manuel Hilty. Graphical definition of visual syntax. Term project report, Computer Engineering and Networks Lab, ETH Zurich, 2000.
11. Honeywell, Inc. Dome Guide, Version 5.2.2, 2000.
12. Institute for Software Integrated Systems, Vanderbilt University. GME User's Manual, Version 1.0, March 2000.
13. Jörn W. Janneck. Graph-type definition language (GTDL)-specification. Technical report, Computer Engineering and Networks Laboratory, ETH Zurich, 2000.
14. Jörn W. Janneck. Syntax and Semantics of Graphs-An approach to the specification of visual notations for discrete event systems. PhD thesis, ETH Zurich, Computer Engineering and Networks Laboratory, July 2000.
15. Jörn W. Janneck and Robert Esser. A predicate-based approach to defining visual language syntax. In Symposium on Visual Languages and Formal Methods, HCC'01, 2001.
16. B. Meyer K. Marriott and K. Wittenburg. A survey of visual language specification and recognition. In Marriott, K. and Meyer, B.(Eds), Visual Language Theory, Springer-Verlag, 1998.
17. Mark Minas. Diagram editing with hypergraph parser support. In Proc. 13th IEEE Symposium on Visual Languages, pages 230-237. IEEE Computer Society Press, 1997.
18. Wolfgang Reisig. Petri Nets: An Introduction. Springer-Verlag, 198.
19. J. Rekers and Andreas Schürr. Defining and parsing visual languages with layered graph grammars. JVLC, 8(1):27-55, 1997.