Graphical animation of behavior models

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2000, Pages 499-508

  Magee, Jeff ^a   Pryce, Nat ^a   Giannakopoulou, Dimitra ^a   Kramer, Jeff ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION; AUTOMATA THEORY; COMPUTATIONAL GRAMMARS; COMPUTATIONAL LINGUISTICS; COMPUTER GRAPHICS; CONSTRAINT THEORY; JAVA PROGRAMMING LANGUAGE; REQUIREMENTS ENGINEERING;

EXTENDED MARKUP LANGUAGE; LABELED TRANSITION SYSTEM; TIMED AUTOMATA;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0033697176     PISSN: 02705257     EISSN: None     Source Type: None    
DOI: 10.1145/337180.337368     Document Type: Conference Paper

References (24)

1. J. Magee, J. Kramer, and D. Giannakopoulou, "Behaviour Analysis of Software Architectures," presented at 1st Working IFIP Conference on Software Architecture (WICSAI), San Antonio, TX, USA, 22-24 February 1999.
2. J. Magee, J. Kramer, and D. Giannakopoulou, "Analysing the Behaviour of Distributed Software Architectures: a Case Study," presented at 5th IEEE Workshop on Future Trends of Distributed Computing Systems, Tunis, Tunisia, October 1997.
3. S. C. Cheung and J. Kramer, "Checking Subsystem Safety Properties in Compositional Reachability Analysis," presented at 18th International Conference on Software Engineering (ICSE'l8), Berlin, Germany, March 1996.
4. D. Giannakopoulou, J. Magee, and J. Kramer, "Checking Progress with Action Priority: Is it Fair?," presented at 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSEP9), Toulouse, France, September 1999.
5. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sheman, A. Shtul-Trauring, and M. Trakhtenbrot, "STATEMATE A Working Environment for the Development of Complex Reactive Systems," IEEE Transactions on Software Engineering, vol. 16, pp. 403-414, April 1990.
6. J. Magee and J. Kramer, Concurrency - State Models & Java Programs. Chichester: John Wiley & Sons, 1999.
7. R. Alur and D. L. Dill, "A theory of timed automata.," Theoretical Computer Science, vol. 126, pp. 183-235, 1994.
8. D. Giannakopoulou, J. Kramer, and S. C. Cheung, "Analysing the Behaviour of Distributed Systems using Tracta," Journal of Automated Software Engineering, special issue on Automated Analysis of Software, vol. 6, pp. 7-35, January 1999.
9. A. Lotzberger and R. Muhfeld, "Task Description of a Flexible Cell with Real Time Properties," FZI, Karslruhe version 2.1, http://www.fzi.de/prost/projects/korsys/1996.
10. T. Bray, J. paoli, and C. M. Sperberg-McQueen, "Extensible Markup Language," World Wide Web Consortium http://www.w3.org/TRl998/REC-x1m9l98- 0210 1998.
11. G. J. Holzmann, "The Model Checker SPIN," IEEE Transactions on Software Engineering, vol. 23, pp. 279-295, May 1997.
12. R. Cleaveland, P. M. Lewis, S. A. Smolka, and O. Sokolsky, "The Concurrency Factory: A Development Environment for Concurrent Systems," presented at 8th International Conference on Computer-Aided Verification (CAV'96), New Brunswick, NJ, USA, July/August 1996.
13. R. Milner, Calculus of Communicating Systems, vol. 92: Springer-Verlag, 1980.
14. K. G. Larsen, P. Pettersson, and W. Yi, "UPPAAL in a Nutshell," Springer Intemational Journal on Software Tools for Technology Transfer, vol. 1, pp. 134- 152, 1997.
15. V. Roy and R. deSimone, "Auto/Autograph," in Computer-Aided Verification, R. Kurshan, Ed.: Kluwer Academic Publishers, 1993.
16. C. Heitmeyer, C. Kirby, and B. Labaw, "The SCR method for Formally Specifying, Verifying and Validating requirements: Tool Support.," presented at 19th International Conference on Software Engineering (ICSE'97), Boston, Massachussets, USA, May 1997.
17. R. Bharadwaj and C. Heitmeyer, "Verifying SCR Requirements Specifications Using State Exploration," presented at 1st ACM Sigplan Workshop on Automated Analysis of Software (AAS'97), Pans, France, January 1997.
18. J. Stasko, J. Domingue, M. H. Brown, and B. A. Price, Software Visualization. Cambridge, Massachusetts: MIT Press, 1998.
19. J. Stasko, "TANGO: A Framework and System for Algorithm Animation," IEEE Computer, vol. 23, pp. 27-39, 1990.
20. J. Stasko, "Animating Algorithms with XTango," SIGACT News, vol. 23, pp. 67-71, February 1992.
21. G. C. Roman and K. Cox, "A Taxonomy of Program Visualization Systems," IEEE Computer, vol. 26, pp. 11-24, December 1993.
22. G. C. Roman, K. Cox, C. Wilcox, and J. Plun, "Pavane: A System for Declarative Visualization of Concurrent Computations," Journal of Visual Languages and Computing, vol. 3, pp. 161-193, January 1992.
23. G. C. Roman and H. Cunningham, "Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency," IEEE Transactions on Software Engineering, vol. 16, pp. 1361-1373, December 1990.
24. C. Karamanolis, D. Giannakopoulou, J. Magee, and S. Wheater, "Modelling and Analysis of Workflow Processes," Imperial College, London TR 99/2, 1999.