Statecharts in the making: A personal account

Proceedings - Third ACM SIGPLAN History of Programming Languages Conference, HOPL-III

Volumn , Issue , 2007, Pages

  Harel, David ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER VISION; DATA ACQUISITION; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; REAL TIME SYSTEMS;

PERSONAL ACCOUNT; REAL-WORLD SYSTEMS; STATECHARTS; THEORETICIANS VENTURING;

ELECTRONIC COMMERCE;

EID: 35348832919     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1238844.1238849     Document Type: Conference Paper

References (61)

1. D. Barak, D. Harel and R. Marelly, "InterPlay: Horizontal Scale-Up and Transition to Design in Scenario Based Programming", Lectures on Concurrency and Petri Nets (J. Desel, W. Reisig and G. Rozenberg, eds.), Lecture Notes in Computer Science, Vol. 3098, Springer-Verlag, 2004, pp. 66-86.
2. A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic and R. de Simone, "The Synchronous Languages Twelve Years Later", Proc. of the IEEE 91 (2003), 64-83.
3. A. Benveniste and P. Le Guernic, "Hybrid Dynamical Systems Theory and the Signal Language", IEEE Trans. on Automatic Control, AC-35 (1990), 535-546.
4. G. Berry and G. Gonthier, "The Synchronous Programming Language ESTEREL: Design, Semantics, Implementation," Science of Computer Programming 19:2 (1992) 87-152.
5. G. Booch, Object-Oriented Analysis and Design with Applications, Benjamin/Cummings, California, 1994.
6. F. P. Brooks, "No Silver Bullet: Essence and Accidents of Software Engineering," IEEE Computer'20:4 (1987) 10-19.
7. P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice, "Lustre: A Declarative Language for Programming Synchronous Systems", Proc. 14th ACM Symp. on Principles of Programming Languages, ACM Press, 1987, pp. 178-188.
8. A.K Chandra, D.C. Kozen and L.J. Stockmeyer, "Alternation", Journal of the ACM 28:1 (1981), 114-133.
9. W. Damm and D. Harel, "LSCs: Breathing Life into Message Sequence Charts", Formal Methods in System Design 19:1 (2001), 45-80.
10. (Preliminary version in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS '99 ) (P. Ciancarini, A. Fantechi and R. Gorrieri, eds.), Kluwer Academic Publishers, 1999, pp. 293-312.)
11. D. Drusinsky and D. Harel, "On the Power of Cooperative Concurrency", Proc. Concurrency '88, Lecture Notes in Computer Science, Vol. 335, Springer-Verlag, New York, 1988, pp. 74-103.
12. D. Drusinsky and D. Harel, "On the Power of Bounded Concurrency I: Finite Automata", J. Assoc. Comput. Mach. 41 (1994), 517-539.
13. S. Efroni, D. Harel and I.R. Cohen, "Towards Rigorous Comprehension of Biological Complexity: Modeling, Execution and Visualization of Thymic T Cell Maturation", Genome Research 13 (2003), 2485-2497.
14. S. Efroni, D. Harel and I.R. Cohen, "Reactive Animation: Realistic Modeling of Complex Dynamic Systems", IEEE Computer 38:1 (2005), 38-47.
15. S. Efroni, D. Harel and I.R. Cohen, "Emergent Dynamics of Thymocyte Development and Lineage Determination", PLOS Computational Biology 3:1 (2007), 127-136.
16. M. Hamilton and S. Zeldin, "Higher Order Software: A Methodology for Defining Software", IEEE Transactions on Software Engineering SE-2:1 (1976), 9-36.
17. D. Harel, "And/Or Programs: A New Approach to Structured Programming", ACM Trans. on Programming Languages and Systems 2 (1980), 1-17.
18. (Also Proc. IEEE Specifications for Reliable Software Conf., pp. 80-90, Cambridge, Massachusetts, 1979.)
19. D. Harel, "Statecharts: A Visual Formalism for Complex Systems", Science of Computer Programming 8 (1987), 231-274. (Preliminary version: Technical Report CS8405, The Weizmann Institute of Science, Rehovot, Israel, February 1984.)
20. D. Harel, "On Visual Formalisms", Comm. Assoc. Comput. Mach 31:5 (1988), 514-530.
21. (Reprinted in Diagrammatic Reasoning (Chandrasekaran et al., eds.), AAAI Press and MIT Press, 1995, pp. 235-271,
22. and in High Integrity System Specification and Design (Bowen and Hinchey, eds.), Springer-Verlag, London, 1999, pp. 623-657.)
23. D. Harel, "Biting the Silver Bullet: Toward a Brighter Future for System Development", IEEE Computer 25:1 (1992), 8-20.
24. D. Harel and E. Gery, "Executable Object Modeling with Statecharts", IEEE Computer 30:7 (1997), 3142.
25. (Also in Proc. 18th Int. Conf. on Software Engineering, IEEE Press, 1996, pp. 246-257.)
26. D. Harel and H.-A. Kahana, "On Statecharts with Overlapping", ACM Trans. on Software Engineering Method. 1:4 (1992), 399-421.
27. D. Harel and H. Kugler, "The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML)", Integration of Software Specification Techniques for Applications in Engineering, (H. Ehrig et al., eds.), Lecture Notes in Computer Science, Vol. 3147, Springer-Verlag, 2004, pp. 325-354.
28. D. Harel, O. Kupferman and M.Y. Vardi, "On the Complexity of Verifying Concurrent Transition Systems", Information and Computation 173 (2002), 143-1611.
29. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtul-Trauring and M. Trakhtenbrot, "STATEMATE: A Working Environment for the Development of Complex Reactive Systems", IEEE Trans. on Software Engineering 16:4 (1990), 403-414.
30. (Early version in Proc. 10th Int. Conf. on Software Engineering, Singapore, April 1988, pp. 396-406.
31. Reprinted in Software State-of-the-Art: Selected Papers (DeMarco and Lister, eds.), Dorset House Publishing, New York, 1990, pp. 322-338,
32. and in Readings in Hardware/Software Co-design (De Micheli, Ernst and Wolf, eds.), Morgan Kaufmann, 2001, pp. 135-146.)
33. D. Harel and R. Marelly, Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine, Springer-Verlag, 2003.
34. D. Harel and A. Naamad, "The STATEMATE Semantics of Statecharts", ACM Trans. on Software Engineering Method. 5:4 (1996), 293-333. (Preliminary version appeared as Technical Report, I-Logix, Inc., 1989.)
35. D. Harel and A. Pnueli, "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, pp. 477-498.
36. D. Harel, A. Pnueli, J. Schmidt and R. Sherman, "On the Formal Semantics of Statecharts", Proc. 2nd IEEE Symp. on Logic in Computer Science, Ithaca, NY, 1987, pp. 54-64.
37. D. Harel and M. Politi, The Languages of STATEMATE, Technical Report, I-Logix, Inc., Andover, MA (250 pp.), 1991.
38. D. Harel and M. Politi, Modeling Reactive Systems with Statecharts: The STATEMATE Approach, McGraw-Hill, 1998. (This book is no longer in print, but it can be downloaded from my web page.)
39. D. Harel and B. Rumpe, "Meaningful Modeling: What's the Semantics of 'Semantics'?", IEEE Computer 37:10 (2004), 64-72.
40. D. Hatley and I. Pirbhai, Strategies for Real-Time System Specification, Dorset House, 1987.
41. K.L. Heninger, J.W. Kallander, J.E. Shore and D.L. Pamas, "Software Requirements for the A-7E Aircraft", NRL Report 3876, November 1978, 523 pgs.
42. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation, Addison-Wesley, 1979.
43. C. Huizing, R. Gerth and W.P. de Roever, "Modeling Statecharts Behaviour in a Fully Abstract Way", Proc. 13th Colloquium on Trees in Algebra and Programming (CAAP '88), Lecture Notes in Computer Science, Vol. 299, Springer-Verlag, 2004, pp. 271-294.
44. I-Logix, Inc. Products Web page, http://www.ilogix.com.
45. N. Kam, I.R. Cohen and D. Harel, "The Immune System as a Reactive System: Modeling T Cell Activation with Statecharts", Bull. Math. Bio.,
46. to appear. (Extended abstract in Proc. Visual Languages and Formal Methods (VLFMOl),
47. part of IEEE Symp. on Human-Centric Computing (HCC'0l), 2001, pp. 15-22.)
48. N. G. Leveson, M. P. E. Heimdahl, H. Hildreth, and J. D. Reese, "Requirements Specification for Process-Control Systems", IEEE Transactions on Software Engineering 20:9 (1994), 684-707.
49. J. Martin and C. McClure, Diagramming Techniques for Analysts and Programmers, Prentice-Hall, 1985.
50. K. Misue and K. Sugiyama, "Compound graphs as abstraction of card systems and their hierarchical drawing," Inform. Processing Soc., Japan, Research Report 88-GC-32-2, 1988, (in Japanese).
51. A. Pnueli and M. Shalev, "What Is in a Step: On the Semantics of Statecharts", Proc. Symp. on Theoret. Aspects of Computer Software, Lecture Notes in Computer Science, Vol. 526, Springer-Verlag, 1991, pp. 244-264.
52. W. Reisig, Petri Nets: An Introduction, Springer-Verlag, 1985.
53. J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, Addison-Wesley, 1999.
54. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object Oriented Modeling and Design, Prentice-Hall, New York, 1991.
55. Y. Setty, I.R. Cohen and D. Harel, in preparation, 2006.
56. K. Sugiyama and K. Misue, "Visualization of Structural Information: Automatic Drawing of Compound Digraphs", IEEE Trans. Systems, Man and Cybernetics 21:4 (1991), 876-892.
57. N. Swerdlin, I.R. Cohen and D. Harel, "Towards an in-silico Lymph Node: A Realistic Approach to Modeling Dynamic Behavior of Lymphocytes", submitted, 2006.
58. B. Selic, G. Gullekson, and P. Ward, Real-Time Object-Oriented Modeling, John Wiley & Sons, New York, 1994.
59. Documentation of the Unified Modeling Language (UML), available from the Object Management Group (OMG), http://www.omg.org.
60. M. von der Beeck, "A Comparison of Statecharts Variants", Proc. Formal Techniques in Real Time and Fault Tolerant Systems, Lecture Notes in Computer Science, Vol. 863, Springer-Verlag, 1994, pp. 128-148.
61. P. Ward and S. Mellor, Structured Development for Real-Time Systems, vols. 1-3, Yourdon Press, 1985.