Diagrams (e.g., flowcharts, trees for hierarchical structures, or graphs finite state machines) are often needed as part of visual language systems and advanced user interfaces, frequently application specific. The implementation editors diagrams should be supported by a tool based on formal model. This paper gives an overview DiaGen, generator diagram editors. An editor certain kind is generated from specification, which includes hypergraph grammar to describe the structure diagrams. does...

Most visual languages as of today (e.g., UML) are specified using a model in meta-model-based approach. Editors for such have supported structured editing the only mode so far. Free-hand that leaves user more freedom during was not by any editor or framework since parsing has yet been considered specifications. This paper describes diagram generator DiaMeta makes use language specifications and supports free-hand well editing. For analyzing freely drawn diagrams, parses graph representation...

Diagrams are always used when communicating complex situations. Diagram editors support the user editing diagrams on a computer. However creating diagram is expensive and time consuming. Frameworks that can be customized for specific classes considerably reduce these costs. In previous work, framework DiaGen using an internal hypergraph model offering syntax directed had been introduced. The paper presents incremental parser extension of allows like in drawing tool. detects correct (sub)...

In this contribution, we present a graphical programming approach for Programmable Logic Controllers (PLCs) based on special type of Petri net, the Signal Interpreted Net (SIPN). We give an introduction to PLCs and overview languages used program them. From overview, conclude that language is missing capable simple description sequential concurrent behavior. SIPN such language. some corresponding analysis methods. Furthermore, report experiments done in university course, show method indeed...

Graphs are known to be well-suited as an intermediate data structure in diagram editors. The syntax of a particular visual language can defined by means graph grammar. In recent work we have proposed approaches completion: given possibly ldquoincompleterdquo graph, this is modified such way that the resulting member grammarpsilas language. paper describe how completion used realize completion, important requirement for realization content assist With our approach, advantages free-hand and...

The precise specification of software models is a major concern in model-driven design object-oriented software. Metamodelling and graph grammars are apparent choices for such specifications. has several advantages: it easy to use, provides procedures that check automatically whether model valid or not. However, less suited proving properties models, generating large sets example models. Graph grammars, contrast, offer natural procedure - the derivation process they support proofs because...

In model-driven software engineering, class diagrams are used to define the structure of object-oriented and valid object configurations, i.e., what objects may occur in a program how they related. Object configurations essentially graphs, so that graph languages. Class declarative, it is quite easy check whether an instance diagram. Graph grammars, on other hand, language by derivation thus well suited for constructing graphs. This paper describes diagram can be translated into grammar...

Editing diagrams conveniently requires edit operations and automatic layout tailored to the type of diagram. This necessitates a syntax-directed editor for diagrams, called diagram editor. We describe basics generator interactive editors that offers number significant advantages over previous approaches. The foundation is new incremental algorithm constraint evaluation. Constraints can be specified not only by equations, as in earlier work, but also linear inequalities. opens door...