MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Modeling Languages: Syntax, Semantics and all that Stuff (or, What's the Semantics of "Semantics"?) (2004) [43 citations — 1 self]

by David Harel ,  Bernhard Rumpe ,  Technische Universität Braunschweig
Add To MetaCart

Abstract:

Motivated by the confusion surrounding the proper definition of complex modeling languages, especially the UML, we discuss the distinction between syntax and true semantics, and the nature and purpose of each.

Citations

2751 Communicating sequential processes – Hoare - 1978
1751 Statecharts: A visual formalism for complex systems – Harel - 1987
1539 Object-Oriented Modeling and Design – Rumbaugh, Blaha, et al. - 1991
506 Introduction to Metamathematics – KLEENE - 1952
478 On Visual Formalisms – Harel - 1988
459 On the Formal Semantics of Statecharts – Harel, Pnueli, et al. - 1987
410 Real-time object-oriented modelling – Selic, Gullekson, et al. - 1994
398 No silver bullet -- the essence and accidents of software engineering – Brooks - 1987
376 An Introduction to Input/Output Automata – LYNCH, TUTTLE - 1988
145 Introduction to the algebraic theory of graph grammars – Ehrig - 1979
96 The Object Constraint Language – Warmer, Kleppe - 2003
93 The design of distributed systems - an introduction to focus – Broy, Dederich, et al. - 1992
93 Trace theory – Mazurkiewicz - 1987
76 Creating Abstract Superclasses by Refactoring – Opdyke, Johnson - 1993
44 Understanding Z – Spivey - 1988
33 Structured Analysis and System Speci cation – DeMarco - 1979
28 Formale Methodik des Entwurfs verteilter objektorientierter Systeme – Rumpe - 1996
19 A minimal transition system semantics for lightweight class– and behavior diagrams – Wieringa, Broersen - 1998
16 A lattice-theoretical xpoint theorem and its applications – Tarski - 1955
15 On Statecharts with Overlapping – Harel - 1992
11 The Requirement and Design Speci cation Language Spectrum, An Informal Introduction, Version 1.0 – Broy, Facchi, et al. - 1993
9 Component Software: Beyond Object-Oriented Programming – Szypersky - 1998
9 Algebraic Speci cation – Wirsing - 1990
9 The Rhapsody semantics of statecharts (or, on the executable core of the UML) - preliminary version – Harel, Kugler - 2004
7 Unified modelling language, version 2.0 – OMG - 2004
6 Logical Semantics of CafeOBJ – Diaconescu, Futatsugi - 1996
4 Towards a formalization of the uni ed modeling language – Breu, Hinkel, et al. - 1997
4 Towards a rigorous object-oriented analysis and design method – France, Bruel, et al. - 1997
4 Semantics of concurrent processes: the search for structure and abstraction – Olderog - 1986
4 Re nement of information ow architectures – Philipps, Rumpe - 1997
4 Automata with output as description of object behavior – Rumpe, Klein - 1996
2 Objects, associations and subsystems: A heirarchical approach to encapsulation – Bicarregui, Lano, et al. - 1997
2 On the Economy of doing Mathematics – Dijkstra - 1993
2 Diagramming Techniques for Analysis and Programmers – Martin, McClure - 1985
1 Formal De nition and Re nement of UML's Module/Package Concept – Schurr, Winter - 1997
1 Uni ed modeling language. Version 1.3 – UML - 1998
View or Download | Add to My Collection | Correct Errors