|
|
|
Projects
Documents from Penn
Related Work
- Merging
- Compositional specification and verification of distributed
systems, Bengt Jonsson, Uppsala University, 1994 [Link]
- MAS - an interactive synthesizer to support behavioral
modelling in UML, Erkki Makinen, University of Tampere, 2001 [Link]
- Synthesis of Behavioral Models from Scenarios, Uchitel, Kramer,
Magee, 2003, [Link]
- Generating Statechart Designs From Scenarios, Whittle,
Schumann, NASA Ames Research, 2000, [Link]
- GCSR
- [BeLe98]
A Graphical Language for Specifying and Analyzing Real-Time Systems, H. Ben-Abdallah and
I. Lee, Special Issue of Integrated Computer-Aided Engineering on Real-time Engineering Systems, Vol 5, No 4,
1998.
Abstract - Full Postscript File - PDF File
- [BLS97]
Operational Semantics for Visual Simulation in PARAGON, H. Ben-Abdallah, I. Lee and
O. Sokolsky, Proceedings of IEEE National Aerospace and Electronics Conference, Jul 1997.
Abstract - Full Postscript File - PDF
- Propbank
- Paramaterized Action Representations
(a frame-based representation for Jack)
- PaTNets (candidate graphical representation)
|
|
|