Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff Export

@techreport{harel:2000:syntax-semantics, abstract = {The motivation for this paper, the first in a planned series of three parts, is the multitude of concepts surrounding the proper definition of complex modeling languages for systems and software, and the confusion that this often causes. Particularly relevant is the case of the recently standardized UML, which we refer to quite extensively as we proceed. Our intention is to discuss and clarify the notions involved in defining modeling languages. The main theme is the distinction between syntax and semantics, the nature and purpose of each, their usage and style, and the various means for defining and dealing with them. Underlying the exposition are the dichotomies of textual vs. visual languages, structural vs. behavioral specification, and requirements vs. system models. We hope that the paper will be useful to language designers, methodologists, tool vendors and educators.}, address = {Mathematics \& Computer Science, Weizmann Rehovot, Israel}, author = {Harel, D. and Rumpe, B.}, citeulike-article-id = {274433}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=903627}, citeulike-linkout-1 = {http://www.cise.ufl.edu/class/cop5555fa04/Literature/harel00modeling.pdf}, day = {22}, institution = {Mathematics \& Computer Science, Weizmann Institute Of Science}, keywords = {adjoint, adjoint-functors, semantics, syntax}, month = {August}, posted-at = {2006-11-24 10:05:31}, priority = {2}, publisher = {Weizmann Science Press of Israel}, title = {Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff}, url = {http://portal.acm.org/citation.cfm?id=903627}, year = {2000} }

TY - RPRT ID - harel:2000:syntax-semantics L3 - citeulike-article-id:274433 N2 - The motivation for this paper, the first in a planned series of three parts, is the multitude of concepts surrounding the proper definition of complex modeling languages for systems and software, and the confusion that this often causes. Particularly relevant is the case of the recently standardized UML, which we refer to quite extensively as we proceed. Our intention is to discuss and clarify the notions involved in defining modeling languages. The main theme is the distinction between syntax and semantics, the nature and purpose of each, their usage and style, and the various means for defining and dealing with them. Underlying the exposition are the dichotomies of textual vs. visual languages, structural vs. behavioral specification, and requirements vs. system models. We hope that the paper will be useful to language designers, methodologists, tool vendors and educators. AD - Mathematics & Computer Science, Weizmann Rehovot, Israel TI - Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff PB - Weizmann Science Press of Israel KW - adjoint KW - adjoint-functors KW - semantics KW - syntax AU - Harel, D AU - Rumpe, B PY - 2000/08/22/ UR - http://portal.acm.org/citation.cfm?id=903627 ER -