A Language Description is More than a Metamodel
نویسنده
چکیده
Within the context of (software) language engineering, language descriptions are considered first class citizens. One of the ways to describe languages is by means of a metamodel, which represents the abstract syntax of the language. Unfortunately, in this process many language engineers forget the fact that a language also needs a concrete syntax and a semantics. In this paper I argue that neither of these can be discarded from a language description. In a good language description the abstract syntax is the central element, which functions as pivot between concrete syntax and semantics. Furthermore, both concrete syntax and semantics should be described in a well-defined formalism.
منابع مشابه
Precise and Formal Metamodeling with the Business Object Notation and PVS
A modeling language consists of both a notation and a metamodel, the latter of which captures the syntactic wellformedness constraints that all valid models must obey. We present two versions of a metamodel for an industrialstrength object-oriented modeling language, BON. The first version of the metamodel, written in BON itself, is intended to give a precise and understandable description of t...
متن کاملAn Improved N-dimensional NURBs-based Metamodel
Non Uniform Rational B-splines (NURBs) are proved to be very promising for metamodeling in engineering problems, because they have unique properties such as local modification scheme, strong convex hull property, and infinitely differentiability, etc. Since NURBs are defined by control points, knot vector, and weights associated with control points, the precision of NURBs is influenced by all o...
متن کاملTest Case Generation for Programming Language Metamodels
for Software Language Engineering 2010 Doctoral Symposium Hao Wu Supervisors: Rosemary Monahan and James F. Power Department of Computer Science, National University of Ireland, Maynooth {haowu,rosemary,jpower}@cs.nuim.ie 1 Problem Description and Motivation One of the central themes in software language engineering is the specification of programming languages, and domain-specific languages, u...
متن کاملIntegrating Information on the Semantic Web Using Partially
The semantic web is supposed to be a global, machine-readable information repository, but there is no agreement on a single common information metamodel. To prevent the fragmentation of this nascent semantic web, this thesis introduces the expressive and flexible Braque metamodel. Based on non-well-founded partially ordered multisets (hyper pomsets), augment with a powerful reflection mechanism...
متن کاملConnector Based Metamodel For Architecture Description Language
To provide hierarchical description from different software architectural viewpoints we need more than one abstraction hierarchy and connection mechanisms to support the interactions among components. Also, these mechanisms will support the refinement and traceability of architectural elements through the different levels of each hierarchy. Current methods and tools provide poor support for the...
متن کامل