Statecharts in the making: a personal account

ABSTRACT

How avionics work led to a graphical language for reactive systems where the diagrams themselves define the system's behavior.

REFERENCES

• 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: Werner Damm , David Harel, LSCs: Breathing Life into Message Sequence Charts, Formal Methods in System Design, v.19 n.1, p.45-80, July 2001 [doi>10.1023/A:1011227529550]
• 3: Doron Drusinsky , David Harel, On the power of bounded concurrency I: finite automata, Journal of the ACM (JACM), v.41 n.3, p.517-539, May 1994 [doi>10.1145/176584.176587]
• 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: David Harel, Can Programming Be Liberated, Period?, Computer, v.41 n.1, p.28-37, January 2008 [doi>10.1109/MC.2008.10]
• 6: David Harel, Statecharts in the making: a personal account, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.5-1-5-43, June 09-10, 2007, San Diego, California [doi>10.1145/1238844.1238849]
• 7: David Harel , Bernhard Rumpe, Meaningful Modeling: What's the Semantics of "Semantics"?, Computer, v.37 n.10, p.64-72, October 2004 [doi>10.1109/MC.2004.172]
• 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: David Harel , Rami Marelly, Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine, Springer-Verlag New York, Inc., Secaucus, NJ, 2003
• 10: David Harel , Michal Politi, Modeling Reactive Systems with Statecharts: The Statemate Approach, McGraw-Hill, Inc., New York, NY, 1998
• 11: David Harel , Eran Gery, Executable Object Modeling with Statecharts, Computer, v.30 n.7, p.31-42, July 1997 [doi>10.1109/2.596624]
• 12: David Harel , Amnon Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.4, p.293-333, Oct. 1996 [doi>10.1145/235321.235322]
• 13: David Harel , Amir Pnueli , Hagi Lachover , Amnon Naamad , Michal Politi , Rivi Sherman , Aharon Shtull-Trauring , Mark Trakhtenbrot, STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, v.16 n.4, p.403-414, April 1990 [doi>10.1109/32.54292]
• 14: David Harel, On visual formalisms, Communications of the ACM, v.31 n.5, p.514-530, May 1988 [doi>10.1145/42411.42414]
• 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: David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
• 17: D. Harel , A. Pnueli, On the development of reactive systems, Logics and models of concurrent systems, Springer-Verlag New York, Inc., New York, NY, 1989
• 18: David Harel, And/Or Programs: A New Approach to Structured Programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.1, p.1-17, Jan. 1980 [doi>10.1145/357084.357085]
• 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. Fourdimensional realistic modeling of 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: Michael von der Beeck, A Comparison of Statecharts Variants, Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems, p.128-148, September 19-23, 1994

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.0 General

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.1 Formal Definitions and Theory
      D.3.2 Language Classifications

  H. Information Systems
  H.1 MODELS AND PRINCIPLES
      H.1.2 User/Machine Systems

  J. Computer Applications
  J.2 PHYSICAL SCIENCES AND ENGINEERING
  J.6 COMPUTER-AIDED ENGINEERING
  J.7 COMPUTERS IN OTHER SYSTEMS

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.1 Project and People Management