Meaningful modeling: What's the semantics of "semantics"?

Computer

Volumn 37, Issue 10, 2004, Pages 64-72

  Harel, David ^a   Rumpe, Bernhard ^b  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^b TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GRAMMARS; DATA FLOW ANALYSIS; SEMANTICS; SYNTACTICS;

METAMODELING; SEMANTIC DOMAIN; SEMANTIC MAPPING; UNIFIED MODELING LANGUAGE (UML);

COMPUTER PROGRAMMING LANGUAGES;

EID: 7244261750     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2004.172     Document Type: Article

References (11)

1. D. Harel, "On Visual Formalisms," Comm. ACM, vol. 31, no. 5, 1988, pp. 514-530.
2. E. Dijkstra, "On the Economy of Doing Mathematics," The Mathematics of Program Construction, J. Woodcook, C. Morgan, and R. Bird, eds., Springer-Verlag, 1993.
3. F.P. Brooks Jr., "No Silver Bullet: Essence and Accidents of Software Engineering," Computer, May 1987, pp. 10-19.
4. E-R. Olderog, "Semantics of Concurrent Processes: The Search for Structure and Abstraction," Parts I and II, Bull. EATCS, 1986, no. 28, pp. 73-97, and no. 29, pp. 96-117.
5. B. Rumpe, Formal Method for Development of Distributed Object-Oriented Systems, Herbert Utz Verlag Wissenschaft, Munich Univ. of Technology (in German), 1996.
6. H. Ehrig, "Introduction to the Algebraic Theory of Graph Grammars," Proc. Int'l Workshop Graph-Grammars and Their Application to Computer Science and Biology, V. Claus, H. Ehrig, and G. Rozenberg, eds., LNCS 73, Springer-Verlag, 1979.
7. D. Harel and A. Naamad, "The STATEMATE Semantics of Statecharts," ACM Trans. Software Eng. Methodologies, vol. 5, no. 4, 1996, pp. 293-333.
8. D. Harel and H. Kugler, "The Rhapsody Semantics of Statecharts (or On the Executable Core of the UML)," Proc. 3rd Int'l Workshop Integration of Software Specification Techniques for Applications in Engineering, H. Ehrig et al., eds., LNCS 3147, Springer-Verlag, 2004, pp. 325-354.
9. D. Harel, "Statecharts: A Visual Formalism for Complex Systems," Scientific Computer Programming, vol. 8, 1987, pp. 231-274.
10. D. Harel and H.A. Kahana, "On Statecharts with Overlapping," ACM Trans. Software Eng. Methodologies, vol. 1, no. 4, 1992, pp. 399-421.
11. W.F. Opdyke and R.E. Johnson, Creating Abstract Superclasses by Refactoring, tech. report, Computer Science Dept., Univ. of Illinois and AT&T Bell Laboratories, 1993.