Summary

• Page properties (1 modified, 0 added, 0 removed)

Details

Page properties

Content

...	...	@@ -1,23 +1,15 @@
1		-A common task for evaluating the quality of a graph drawing algorithm is the time it takes to find a specific element (as well as tasks such as finding
	1	+A demonstrator for a larger embedded system that we maintain is the model railway [1, 2], where individual controllers can control up to eleven trains. We use this model railway for various projects, theses, and also for showing computer science to other people on the Girls' Day and the "Schnupperstudium". To provide easy access to the model railway, without the need to code low-level C, the (potential) students can define the train behavior using a high-level domain-specific language (DSL) called //RailSL// [3].
2	2
3		-the fastest route between two nodes and others). The traditional approach would be to optimize graph aesthetic criteria (such as the scale measure or the edge crossings) to improve the readability of the graph.
	3	+Visual representations of programs can help developers to understand the meaning of the program and to get an overview with a different representation. However, such representations can be automatically generated from the underlying textual source, thus enabling the use of the advantages of textual and graphical representations and their interaction, which we also define as //modeling pragmatics// [4].
4	4
5		-A much simpler solution would be to just have a search function inside a diagram.
	5	+Designing and implementing such a visualization with diagramming frameworks for the RailSL language enables us to utilize and evaluate the modeling pragmatics approach in a new domain and to better convey such programs.
6	6
7		-In our KIELER framework, one does not only have a diagram, but always the text it is synthesized from, which leaves multiple ways to implement a search function for diagrams.
8	8
9		-~1. Search in diagram
10		-
11		-2. Search in text and map text occurence in diagram
12		-
13		-3. Traditional good layout to improve readability
14		-
15		-4. More ideas you might have!!
16		-
17	17	= Goals =
18	18
19		-* Implement search strategies for diagrams
20		-* Evaluate the different strategies using standard graph tasks for general graphs or human made graph (on the example of SCCharts)
	10	+* Design a graphical representation for the RailSL language
	11	+* Implement diagram interaction for exploration and editing
	12	+* Evaluate the new user experience with students from the Girls' Day or "Schnupperstudium"
21	21
22	22	= Scope =
23	23
...	...	@@ -25,17 +25,24 @@
25	25
26	26	= Related Work/Literature =
27	27
28		-* TODO graph tasks
29		-* K. Sugiyama, S. Tagawa, and M. Toda. Methods for visual understanding of hierarchical system structures. IEEE Transactions on Systems, Man and Cybernetics, 11(2):109–125, February 1981.
	20	+[1] Nis Wechselberg, "Model Railway 4.0 – A Demonstrator for Interactive Timing Analysis," [[https:~~/~~/rtsys.informatik.uni-kiel.de/~~~~biblio/downloads/theses/nbw-mt.pdf>>https://rtsys.informatik.uni-kiel.de/~~biblio/downloads/theses/nbw-mt.pdf]]. Master's Thesis. Kiel University, Department of Computer Science, Mar. 2015.
30	30
	22	+[2] [[https:~~/~~/www.rtsys.informatik.uni-kiel.de/en/teaching/modelrailway1>>https://www.rtsys.informatik.uni-kiel.de/en/teaching/modelrailway1]]
	23	+
	24	+[3] Philip Eumann, "A Domain-Specific Language for Railway Control," [[https:~~/~~/rtsys.informatik.uni-kiel.de/~~~~biblio/downloads/theses/peu-bt.pdf>>https://rtsys.informatik.uni-kiel.de/~~biblio/downloads/theses/peu-bt.pdf]]. Bachelor's Thesis. Kiel University, Department of Computer Science, Sep. 2017.
	25	+
	26	+[4] H. Fuhrmann and R. von Hanxleden, “On the pragmatics of model-based design,” in Proceedings of the 15th Monterey Workshop 2008 on the Foundations of Computer Software. Future Trends and Techniques for Development, Revised Selected Papers, ser. LNCS, vol. 6028. Budapest, HR: Springer, 2010, pp. 116–140.
	27	+
31	31	= Involved Languages/Technologies =
32	32
33		-* Java / Xtend in SCCharts Synthesis
34		-* Typescript in klighd-vscode
35		-* Sprotty
	30	+* Java / Xtend and TypeScript
	31	+* Diagramming Frameworks such as [[KLighD>>https://github.com/kieler/klighd]] and [[Sprotty>>https://sprotty.org/]]
	32	+* Automatic Layout with [[ELK>>https://eclipse.dev/elk/]]
36	36
37	37	= Supervised by =
38	38
39		-Sören Domrös
	36	+Niklas Rentz
40	40
41		-sdo@informatik.uni-kiel.de
	38	+nre@informatik.uni-kiel.de
	39	+
	40	+