Statecharts in the making: A personal account

Communications of the ACM

Volumn 52, Issue 3, 2009, Pages 67-75

  Harel, David ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT; GRAPHIC METHODS; HELIUM; LINGUISTICS; PROBLEM ORIENTED LANGUAGES; QUERY LANGUAGES; TEMPORAL LOGIC;

GRAPHICAL LANGUAGES; ISRAEL AIRCRAFT INDUSTRIES; PROGRAMMING LANGUAGES; REACTIVE SYSTEMS; SPECIFIC PROBLEMS; STATE-BASED; STATECHARTS;

AVIONICS;

EID: 61849144827     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/1467247.1467274     Document Type: Article

References (22)

1. Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., and de Simone, R. The synchronous languages 12 years later. Proceedings of the IEEE 91 (2003),64-83.
2. Damm, W. and Harel, D. LSCs: Breathing life into message sequence charts. Formal Methods In System Design19,1 (2001), 45-80.
3. Drusinsky. D. and Harel. D. On the power of bounded concurrency I: Finite automata. J. ACM 41 1994), 517-539.
4. Efroni, S., Harel, D., and Cohen, I.R. Towards rigorous comprehension of biological complexity: Modeling, execution, and visualization of thymic T cell maturation. Genome Research 13 (2003), 2485-2497.
5. Harel, D. Can programming be liberated, period? IEEE Computer 41, 1 (Jan. 2008), 28-37.
6. Harel, D. Statecharts in the making: A personal account. In Proceedings of the Third ACM SIGPLAN Conference on History of Programming Languages (San Diego, CA, June 9-10). ACM Press, New York, 2007.
7. Harel, D. and Rumpe, B. Meaningful modeling: What's the semantics of 'semantics'? IEEE Computer 37,10 (2004), 64-72.
8. Harel, D. and Kugler, H. The Rhapsody semantics of statecharts (or, on the executable core of the UML). In Integrations of Software Specification Techniques for Applications in Engineering. LNCS. Vol. 3147, H. Ehrig et al., Eds. Springer-Verlag. New York. 2004, 325-354.
9. Harel, D. and Marelly, R. Come. Let's Play: Scenario-Based Programming, using LSCs and the Play-Engine. Springer-Verlag, New York, 2003.
10. Harel, D. and Politi, M. Modeling Reactive Systems with Statecharts: The Statemate Approach. McGraw-Hill, New York, 1998.
11. Harel, D. and Gery, E. Executable object modeling with statecharts. IEEE Computer 30, 7 (1997), 31-42.
12. Harel, D. and Naamad, A. The statemate semantics of statecharts. ACM Transactions on Software Engineering Methods 5, 4 (Oct. 1996). 293-333.
13. Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtul-Trauring, A., and Trakhtenbrot, M. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering 16, 4 (1990), 403-414.
14. Harel, D. On visual formalisms. Commmn. ACM 31. 5 (May 1988), 514-530.
15. Harel, D., Pnueli, A., Schmidt, J., and Sherman, R. On the formal semantics of statecharts. In Proceedings of the Second IEEE Symposium on Logic in Computer Science (Ithaca, NY, 1987), 54-64.
16. Harel, D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 3 (June 1987), 231-274.
17. Harel. D. and Pnueli, A. On the development of reactive systems. In Logics and Models of Concurrent Systems, K.R. Apt. Ed. NATO ASI Series, Vol. F-13, Springer-Verlag, New York, 1985, 477-498.
18. Harel, D. And/Or programs: A new approach to structured programming. ACM Transactions on Programming Languages and Systems 2,1 (Jan. 1980), 1-17.
19. Heninger, K.L., Kallander, J.W., Shore, J.E., and Parnas, D.L. Software Requirements for the A-7E Aircraft, NRL Report 3876. Washington, D.C., Nov. 1978.
20. Setty, Y., Cohen, I.R., Dor, Y., and Harel, D. Four-dimensional realistic modeling oi pancreatic organogenesis. In Proceedings of the National Academy of Science 105, 51 (2008). 20374-20379.
21. Swerdlin, N., Cohen, I.R., and Harel, D, Toward an in-silico lymph node: A realistic approach to modeling dynamic behavior of lymphocytes. In Proceedings of the IEEE. Special Issue on Computational System Biology 96, 8 (2008) 1421-1443.
22. von der Beeck, M. A comparison of statecharts variants. In Proceedings of Formal Techniques in Real Time and Fault Tolerant Systems. LNCS, Vol. 863. Springer-Verlag, New York, 1994, 128-148.