Specifying and Implementing Visual Process Modeling Languages with DiaGen
Mark Minas,Berthold Hoffmann +1 more
TL;DR: DiaGen can be applied to practically every visual language, and to visual process modeling languages in particular, and is demonstrated with an editor and animator for statecharts.
read more
About: This article is published in Electronic Notes in Theoretical Computer Science. The article was published on 01 Jul 2001. and is currently open access. The article focuses on the topics: Communication diagram & Class diagram.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Value-based requirements engineering: exploring innovative e-commerce ideas
Jaap Gordijn,J.M. Akkermans +1 more
TL;DR: The e3-value approach methodology shows how to model business requirements and improve business–IT alignment, in sophisticated multi-actor value constellations that are common in electronic commerce.
•Book
Simulation and Animation of Visual Languages based on Typed Algebraic Graph Transformation
Claudia Ermel
- 18 Oct 2006
TL;DR: The main objective of this thesis is to improve the validation process for visual behavioral models by providing a formal framework and tool support for simulation and animation based on graph transformation, and to use animation views for simulation instead of the notation of abstract diagrammatic languages.
25
Shapely hierarchical graph transformation
Berthold Hoffmann
- 05 Sep 2001
TL;DR: This paper studies extensions of graphs and graph transformation that are important for programming with graphs by extending graphs by a notion of hierarchy that supports value composition, and defining hierarchical graph transformation in an intuitive way that resembles term rewriting.
VisualDiaGen - A Tool for Visually Specifying and Generating Visual Editors
TL;DR: VisualDiaGen as mentioned in this paper is a tool for visually specifying visual languages and generating graphical editors from such specifications that are mainly based on graph transformation and graph grammars, which is an extension of DiaGen that has already allowed for specification and generation of visual editors; however, DiaGen's specifications have been based on a textual and therefore, a less user-friendly representation.
13
Virtual prototyping of PLC-based embedded system using object model of target and behavior model by converting RLL-to-statechart directly
TL;DR: A domain-specific virtual prototyping approach is proposed that can reduce the risks involved in programmable logic controllers (PLCs)-based embedded system programming, based on an object-oriented real-time modeling concept plus an algorithm is defined that can mechanically convert a PLC program, written in relay ladder logic (RLL), to a statechart model.
12
References
•Book
Compilers: Principles, Techniques, and Tools
Alfred V. Aho,Ravi Sethi,Jeffrey D. Ullman +2 more
- 01 Jan 1986
TL;DR: This book discusses the design of a Code Generator, the role of the Lexical Analyzer, and other topics related to code generation and optimization.
9.7K
Statecharts: A visual formalism for complex systems
TL;DR: It is intended to demonstrate here that statecharts counter many of the objections raised against conventional state diagrams, and thus appear to render specification by diagrams an attractive and plausible approach.
7.5K
The STATEMATE semantics of statecharts
David Harel,A. Naamad +1 more
TL;DR: The semantics of statecharts as implemented in the STATEMATE system is described, which was the first executable semantics defined for the language and has been in use for almost a decade.