scholarly journals Abstract-Syntax-Driven Development of Oberon-0 Using YAJCo

2019 ◽  
Vol 43 (2) ◽  
pp. 145-162
Author(s):  
Sergej Chodarev ◽  
Michaela Bačíková

YAJCo is a tool for the development of software languages based on an annotated language model. The model is represented by Java classes with annotations defining their mapping to concrete syntax. This approach to language definition enables the abstract syntax to be central point of the development process, instead of concrete syntax. In this paper a case study of Oberon-0 programming language development is presented. The study is based on the LTDA Tool Challenge and showcases details of abstract and concrete syntax definition using YAJCo, as well as implementation of name resolution, type checking, model transformation and code generation. The language was implemented in modular fashion to demonstrate language extension mechanisms supported by YAJCo.

2011 ◽  
pp. 236-276 ◽  
Author(s):  
Juan Pavon ◽  
Jorge J. Gomez-Sanz ◽  
Rubén Fuentes

INGENIAS provides a notation for modeling multi-agent systems (MAS) and a well-defined collection of activities to guide the development process of an MAS in the tasks of analysis, design, verification, and code generation, supported by an integrated set of tools—the INGENIAS Development Kit (IDK). These tools, as well as the INGENIAS notation, are based on five meta-models that define the different views and concepts from which a multi-agent system can be described. Using meta-models has the advantage of flexibility for evolving the methodology and adopting changes to the notation. In fact, one of the purposes in the conception of this methodology is to integrate progressive advances in agent technology, towards a standard for agent-based systems modeling that could facilitate the adoption of the agent approach by the software industry. The chapter presents a summary of the INGENIAS notation, development process, and support tools. The use of INGENIAS is demonstrated in an e-business case study. This case study includes concerns about the development process, modeling with agent concepts, and implementation with automated code generation facilities.


2009 ◽  
Vol 9 (3) ◽  
pp. 375-402 ◽  
Author(s):  
Zef Hemel ◽  
Lennart C. L. Kats ◽  
Danny M. Groenewegen ◽  
Eelco Visser

2017 ◽  
Vol 14 (3) ◽  
pp. 939-958 ◽  
Author(s):  
Sergej Chodarev ◽  
Jaroslav Porubän

In spite of its popularity, XML provides poor user experience and a lot of domain-specific languages can be improved by introducing custom, more humanfriendly notation. This paper presents an approach for design and development of the custom notation for existing XML-based language together with a translator between the new notation and XML. The approach supports iterative design of the language concrete syntax, allowing its modification based on users feedback. The translator is developed using a model-driven approach. It is based on explicit representation of language abstract syntax (metamodel) that can be augmented with mappings to both XML and the custom notation. We provide recommendations for application of the approach and demonstrate them on a case study of a language for definition of graphs.


Author(s):  
Keith Duddy ◽  
Anna Gerber ◽  
Michael Lawley ◽  
Kerry Raymond

This chapter provides a context and motivation for a language to describe transformations of models within an object-oriented framework. The requirements for such a language are given, and then an object-oriented model of the language’s abstract syntax is provided that meets these requirements. A concrete syntax is introduced along with some example transformations. Finally, we discuss the tools required to use the language within a model-driven software engineering paradigm. The authors aim to demonstrate the principles of model transformation within an object-oriented framework, and show how this can be applied to the development of software systems.


2016 ◽  
Vol 13 (3) ◽  
pp. 707-729 ◽  
Author(s):  
Milan Nosál’ ◽  
Matús Sulír ◽  
Ján Juhár

In this paper we examine source code annotations from the viewpoint of formal languages - we discuss their abstract syntax, concrete syntax, and semantics, thus showing the correspondence between annotations and formal languages. We propose to consider a set of all annotations and their parameters processed by the same reference implementation (they belong to the same domain) to be called an annotation-based language. The performed analysis also pinpoints a specificity of annotations in comparison with formal languages in general - the binding between annotations and a host language. We elaborate this idea with an analysis of annotations? potential for language composition, in particular for pure embedding. We then show how pure embedding with annotations can be used for language unification, language referencing by extension, and language extension. This work provides a basis for further research in the field of source code annotations in the context of formal languages.


Author(s):  
Ling He ◽  
Qing Yang ◽  
Xingxing Liu ◽  
Lingmei Fu ◽  
Jinmei Wang

As the impact factors of the waste Not-In-My-Back Yard (NIMBY) crisis are complex, and the scenario evolution path of it is diverse. Once the crisis is not handled properly, it will bring adverse effects on the construction of waste NIMBY facilities, economic development and social stability. Consequently, based on ground theory, this paper takes the waste NIMBY crisis in China from 2006 to 2019 as typical cases, through coding analysis, scenario evolution factors of waste NIMBY crisis are established. Furtherly, three key scenarios were obtained, namely, external situation (E), situation state (S), emergency management (M), what is more, scenario evolution law of waste NIMBY crisis is revealed. Then, the dynamic Bayesian network theory is used to construct the dynamic scenario evolution network of waste NIMBY crisis. Finally, based on the above models, Xiantao waste NIMBY crisis is taken as a case study, and the dynamic process of scenario evolution network is visually displayed by using Netica. The simulation results show that the scenario evolution network of Xiantao waste NIMBY crisis is basically consistent with the actual incident development process, which confirms the effectiveness and feasibility of the model.


i-com ◽  
2021 ◽  
Vol 20 (1) ◽  
pp. 19-32
Author(s):  
Daniel Buschek ◽  
Charlotte Anlauff ◽  
Florian Lachner

Abstract This paper reflects on a case study of a user-centred concept development process for a Machine Learning (ML) based design tool, conducted at an industry partner. The resulting concept uses ML to match graphical user interface elements in sketches on paper to their digital counterparts to create consistent wireframes. A user study (N=20) with a working prototype shows that this concept is preferred by designers, compared to the previous manual procedure. Reflecting on our process and findings we discuss lessons learned for developing ML tools that respect practitioners’ needs and practices.


2021 ◽  
Vol 1 ◽  
pp. 3159-3168
Author(s):  
Sohail Ahmed Soomro ◽  
Yazan A M Barhoush ◽  
Zhengya Gong ◽  
Panos Kostakos ◽  
Georgi V. Georgiev

AbstractPrototyping is an essential activity in the early stages of product development. This activity can provide insight into the learning process that takes place during the implementation of an idea. It can also help to improve the design of a product. This information and the process are useful in design education as they can be used to enhance students' ability to prototype their ideas and develop creative solutions. To observe the activity of prototype development, we conducted a study on students participating in a 7-week course: Principles of Digital Fabrication. During the course, eight teams made prototypes and shared their weekly developments via internet blog posts. The posts contained prototype pictures, descriptions of their ideas, and reflections on activities. The blog documentation of the prototypes developed by the students was done without the researchers' intervention, providing essential data or research. Based on a review of other methods of capturing the prototype development process, we compare existing documentation tools with the method used in the case study and outline the practices and tools related to the effective documentation of prototyping activity.


2021 ◽  
Vol 1 ◽  
pp. 531-540
Author(s):  
Albert Albers ◽  
Miriam Wilmsen ◽  
Kilian Gericke

AbstractThe implementation of agile frameworks, such as SAFe, in large companies causes conflicts between the overall product development process with a rigid linkage to the calendar cycles and the continuous agile project planning. To resolve these conflicts, adaptive processes can be used to support the creation of realistic target-processes, i.e. project plans, while stabilizing process quality and simplifying process management. This enables the usage of standardisation methods and module sets for design processes.The objective of this contribution is to support project managers to create realistic target-processes through the usage of target-process module sets. These target-process module sets also aim to stabilize process quality and to simplify process management. This contribution provides an approach for the development and application of target-process module sets, in accordance to previously gathered requirements and evaluates the approach within a case study with project managers at AUDI AG (N=21) and an interview study with process authors (N=4) from three different companies.


Sign in / Sign up

Export Citation Format

Share Document