The Concrete Syntax of Documents: Purpose and Variety

2017 ◽  
Author(s):  
Mary Holstege
Keyword(s):  
Language Development ◽  
Abstract Syntax ◽  
Development Environment ◽  
Concrete Syntax ◽  
Structured Documents ◽  
Syntax Parsing

In the mid-eighties a group at Stanford built the MUIR language-development environment as a system for notation design with rendering and layout from the abstract syntax, parsing from concrete syntax, and semi-automated transformation between language variants. We developed models for representing documents at all levels and understanding how the levels relate to one another. Presentation widgets have a purpose: to convey specific abstract syntax relationships. Having an account of what kinds of widgets there are, what kinds of abstract relationships there are, and how the two connect allows for an analysis of how the notation works as a whole. The concept of "notation" taken here is a broad one, encompassing programming or technical notations as well as the form of structured documents of various kinds. Notation designers can apply such an analysis to improve their designs so that the structure is more clearly conveyed by the concrete syntax or so that humans can more readily use the notation without confusion. Software can render or parse instances of notations using rules that capture the concrete syntax, the abstract syntax, and the rules between them in a declarative.

scholarly journals Transformations and Abstract Presentations in a Language Development Environment

1987 ◽  
Vol 16 (222) ◽  
Author(s):  
Kurt Nørmark
Keyword(s):  
Language Development ◽  
Programming Languages ◽  
Abstract Syntax ◽  
Transformation Technique ◽  
Development Environment ◽  
New Formalism ◽  
Artificial Languages ◽  
Abstract Syntax Trees ◽  
Context Free ◽  
Abstract Presentation

A syntax-directed editing environment intended for development of artificial languages, e.g. programming languages, specification languages, and grammar definition languages, is presented. Various applications of a simple, syntactic transformation facility is central to the work. There is a description of how most syntax-directed editing operations can be implemented and understood as transformations. It is furthermore demonstrated how documents, which are represented as abstract syntax trees, can be kept consistent with a grammar that is under development. A multi-formalism transformation technique is also described. Abstract presentation of documents on a screen is another central topic. Two simple presentation formalisms that allow documents to be shown as trees and graphs are proposed. As a basis for the whole work, a new formalism for description of context-free languages has been worked out. The formalism is based on generalization/specialization hierarchies of syntax domains.

Design of Multimedia Courseware Sports Theory Based on Visual Basic

2010 ◽  
Vol 39 ◽  
pp. 267-270
Author(s):  
Zhong Bin Yin ◽  
Yue Ren ◽  
Gui Fang Yan
Keyword(s):  
Educational Technology ◽  
Language Development ◽  
Physical Theory ◽  
Educational Practice ◽  
Visual Basic ◽  
Teaching Quality ◽  
Development Environment ◽  
Key Techniques

With the development of modern educational technology, multimedia courseware has become the new trend of educational technology. Multimedia courseware, in educational practice, has been the key to promoting multimedia-aided teaching. By means of using VB to write the physical theory, multimedia courseware can undoubtedly enrich and improve teaching quality. This paper, based on the VB language development environment, focuses on how to design physical multimedia courseware and discusses some key techniques in the process of courseware implementation.

scholarly journals The Asf+Sdf Meta-environment: A Component-Based Language Development Environment

2001 ◽  
pp. 365-370 ◽  
Author(s):  
M. G. J. van den Brand ◽  
A. van Deursen ◽  
J. Heering ◽  
H. A. de Jong ◽  
M. de Jonge ◽  
...  
Keyword(s):  
Language Development ◽  
Development Environment

scholarly journals A GRL-compliant iStar extension for collaborative cyber-physical systems

2021 ◽  
Author(s):  
Marian Daun ◽  
Jennifer Brings ◽  
Lisa Krajinski ◽  
Viktoria Stenkova ◽  
Torsten Bandyszak
Keyword(s):  
Case Studies ◽  
Cyber Physical Systems ◽  
Modeling Language ◽  
Abstract Syntax ◽  
Goal Modeling ◽  
Physical Systems ◽  
Modeling Approaches ◽  
Concrete Syntax ◽  
The Individual ◽  
Do So

AbstractCollaborative cyber-physical systems are capable of forming networks at runtime to achieve goals that are unachievable for individual systems. They do so by connecting to each other and exchanging information that helps them coordinate their behaviors to achieve shared goals. Their highly complex dependencies, however, are difficult to document using traditional goal modeling approaches. To help developers of collaborative cyber-physical systems leverage the advantages of goal modeling approaches, we developed a GRL-compliant extension to the popular iStar goal modeling language that takes the particularities of collaborative cyber-physical systems and their developers’ needs into account. In particular, our extension provides support for explicitly distinguishing between the goals of the individual collaborative cyber-physical systems and the network and for documenting various dependencies not only among the individual collaborative cyber-physical systems but also between the individual systems and the network. We provide abstract syntax, concrete syntax, and well-formedness rules for the extension. To illustrate the benefits of our extension for goal modeling of collaborative cyber-physical systems, we report on two case studies conducted in different industry domains.

Extending XML with SHORTREFs specified in RELAX NG

2012 ◽  
Author(s):  
Mario Blažević
Keyword(s):  
Abstract Syntax ◽  
Xml Document ◽  
Concrete Syntax ◽  
Novel Method ◽  
The Given

We present a novel method for specifying concrete syntax, based on and compatible with the RELAX NG schema standard. A parsing method is described for a well-formed XML document conforming to the given concrete syntax specification. The output of the parser is another XML document conforming to the abstract syntax described by the base RELAX NG schema.

scholarly journals Spider Diagrams

2005 ◽  
Vol 8 ◽  
pp. 145-194 ◽  
Author(s):  
John Howse ◽  
Gem Stapleton ◽  
John Taylor
Keyword(s):  
Diagrammatic Reasoning ◽  
Abstract Syntax ◽  
Topological Properties ◽  
Formal Reasoning ◽  
First Order ◽  
Transformation Rules ◽  
Reasoning System ◽  
Concrete Syntax ◽  
Monadic Logic ◽  
Spider Diagrams

AbstractThe use of diagrams in mathematics has traditionally been restricted to guiding intuition and communication. With rare exceptions such as Peirce's alpha and beta systems, purely diagrammatic formal reasoning has not been in the mathematician's or logician's toolkit. This paper develops a purely diagrammatic reasoning system of “spider diagrams” that builds on Euler, Venn and Peirce diagrams. The system is known to be expressively equivalent to first-order monadic logic with equality. Two levels of diagrammatic syntax have been developed: an ‘abstract’ syntax that captures the structure of diagrams, and a ‘concrete’ syntax that captures topological properties of drawn diagrams. A number of simple diagrammatic transformation rules are given, and the resulting reasoning system is shown to be sound and complete.

Sign in / Sign up

Export Citation Format

Share Document