Summary

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

Details

Page properties

Content

...	...	@@ -1,15 +1,23 @@
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].
	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
2	2
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].
	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.
4	4
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.
	5	+A much simpler solution would be to just have a search function inside a diagram.
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.
7	7
	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	+
8	8	= Goals =
9	9
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"
	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)
13	13
14	14	= Scope =
15	15
...	...	@@ -17,24 +17,17 @@
17	17
18	18	= Related Work/Literature =
19	19
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.
	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.
21	21
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		-
28	28	= Involved Languages/Technologies =
29	29
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/]]
	33	+* Java / Xtend in SCCharts Synthesis
	34	+* Typescript in klighd-vscode
	35	+* Sprotty
33	33
34	34	= Supervised by =
35	35
36		-Niklas Rentz
	39	+Sören Domrös
37	37
38		-nre@informatik.uni-kiel.de
39		-
40		-
	41	+sdo@informatik.uni-kiel.de