On the pragmatics of model-based design

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6028 LNCS, Issue , 2010, Pages 116-140

  Fuhrmann, Hauke ^a   Von Hanxleden, Reinhard ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPHICAL MODEL; INTERACTIVE BROWSING; MODEL-BASED DESIGN; ON THE FLIES; PRODUCTIVITY ENHANCEMENT; SYSTEM MODELS;

DESIGN;

COMPUTER SIMULATION;

EID: 78349292854     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-12566-9_7     Document Type: Conference Paper

References (44)

1. Gurr, C.A.: Effective diagrammatic communication: Syntactic, semantic and pragmatic issues. Journal of Visual Languages and Computing 10(4), 317-342 (1999)
2. Petre, M.: Why looking isn't always seeing: Readership skills and graphical programming. Communications of the ACM 38(6), 33-44 (1995)
3. Prochnow, S., von Hanxleden, R.: Statechart development beyond WYSIWYG. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 635-649. Springer, Heidelberg (2007)
4. Reenskaug, T.: Models - Views - Controllers. Technical report, Xerox PARC technical note (December 1979)
5. Kopetz, H.: The complexity challenge in embedded system design. Research Report 55/2007, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria (2007)
6. Estefan, J.: Survey of model-based systems engineering (MBSE) methodologies, Rev. B. Technical report, INCOSE MBSE Focus Group (May 2008)
7. Carloni, L., Passerone, R., Pinto, A., Sangiovanni-Vincentelli, A.: Languages and tools for hybrid systems design. Foundations and Trends in Design Automation 1(1), 1-204 (2006)
8. Prochnow, S., von Hanxleden, R.: Visualisierung komplexer reaktiver Systeme Annotierte Bibliographie. Technical Report 0406, Christian-Albrechts- Universität Kiel, Department of Computer Science, Kiel, Germany (June 2004)
9. Di Battista, G., Eades, P., Tamassia, R., Tollis, I.G.: Algorithms for drawing graphs: An annotated bibliography. Computational Geometry: Theory and Applications 4, 235-282 (1994)
10. Battista, G.D., Eades, P., Tamassia, R., Tollis, I.G.: Graph Drawing: Algorithms for the Visualization of Graphs. Prentice Hall, Englewood Cliffs (1999)
11. Coleman, M.K., Parker, D.S.: Aesthetics-based graph layout for human consumption. Software - Practice and Experience 26(12), 1415-1438 (1996)
12. Ware, C., Purchase, H., Colpoys, L., McGill, M.: Cognitive measurements of graph aesthetics. Information Visualization 1(2), 103-110 (2002)
13. Völcker, J.: A quantitative analysis of Statechart aesthetics and Statechart development methods. Diploma thesis, Christian-Albrechts- Universiẗat zu Kiel, Department of Computer Science (May 2008), http://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/jovo-dt.pdf
14. Green, T.R.G., Petre, M.: Usability analysis of visual programming environments: A 'cognitive dimensions' framework. J. Visual Languages and Computing 7(2), 131-174 (1996)
15. Gutwenger, C., Jünger, M., Klein, K., Kupke, J., Leipert, S., Mutzel, P.: A new approach for visualizing UML class diagrams. In: SoftVis 2003: Proceedings of the 2003 ACM Symposium on Software Visualization, pp. 179-188. ACM, New York (2003)
16. Lee, E.A., Neuendorfier, S., Wirthlin, M.J.: Actor-oriented design of embedded hardware and software systems. Journal of Circuits, Systems, and Computers 12, 231-260 (2003)
17. Eiglsperger, M., Fößmeier, U., Kaufmann, M.: Orthogonal graph drawing with constraints. In: SODA 2000: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 3-11. SIAM, Philadelphia (2000)
18. Card, S.K., Mackinlay, J., Shneiderman, B.: Readings in Information Visualization: Using Vision to Think. Morgan Kaufmann, San Francisco (1999)
19. Tiedje, M., Traulsen, C.: Designing a reactive processor with Esterel v7. In: Proceedings of the Workshop on Model-Driven High-Level Programming of Embedded Systems (SLA++P 2008), Budapest, Hungary (April 2008)
20. Leung, Y., Wilson, G.: WinFold: a folding editor for collaborative writing Communications. In: APCC/OECC 1999. Fifth Asia-Pacific Conference on Communications and Fourth Optoelectronics and Communications Conference, vol. 2, pp.1073-1078 (1999)
21. Dogrusöz, U., Kakoulis, K.G., Madden, B., Tollis, I.G.: On labeling in graph visualization. Inf. Sci. 177(12), 2459-2472 (2007)
22. van Dijk, S., van Kreveld, M., Strijk, T., Wolff, A.: Towards an evaluation of quality for names placement methods. International Journal of Geographical Information Systems (2002)
23. Kakoulis, K.G., Tollis, I.G.: On the edge label placement problem. In: North, S.C. (ed.) GD 1996. LNCS, vol. 1190, pp. 241-256. Springer, Heidelberg (1997)
24. Wong, P.C., Mackey, P., Perrine, K., Eagan, J., Foote, H., Thomas, J.: Dynamic visualization of graphs with extended labels. In: INFOVIS 2005: Proceedings of the 2005 IEEE Symposium on Information Visualization, Washington, DC, USA, p. 10. IEEE Computer Society, Los Alamitos (2005)
25. Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., ShtullTrauring, A., Trakhtenbrot, M.: Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering 16(4), 403-414 (1990)
26. Prochnow, S., Traulsen, C., von Hanxleden, R.: Synthesizing Safe State Machines from Esterel. In: Proceedings of ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2006), Ottawa, Canada (June 2006)
27. Köth, O., Minas, M.: Structure, Abstraction, and Direct Manipulation in Diagram Editors. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS (LNAI), vol. 2317, pp. 290-304. Springer, Heidelberg (2002)
28. Branke, J.: Dynamic graph drawing. In: Kaufmann, M., Wagner, D. (eds.) Drawing Graphs: Methods and Models. LNCS, vol. 2025, p. 228. Springer, Heidelberg (2001)
29. Musial, B., Jacobs, T.: Application of focus + context to UML. In: APVis 2003: Proceedings of the Asia-Pacific symposium on Information visualisation, Darlinghurst, Australia, pp. 75-80. Australian Computer Society, Inc. (2003)
30. Prochnow, S., von Hanxleden, R.: Comfortable modeling of complex reactive systems. In: Proceedings of Design, Automation and Test in Europe (DATE 2006), Munich, Germany (March 2006)
31. Schipper, A.: Layout and Visual Comparison of Statecharts. Diploma thesis, Christian-Albrechts-Universität zu Kiel (December 2008), http://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/ars-dt.pdf
32. Kosak, C., Marks, J., Shieber, S.: Automating the layout of network diagrams with specified visual organization. Transactions on Systems, Man and Cybernetics 24(3), 440-454 (1994)
33. Purchase, H.C.:Which aesthetic has the greatest effect on human understandingfi In: Di Battista, G. (ed.) GD 1997. LNCS, vol. 1353, pp. 248-261. Springer, Heidelberg (1997)
34. Castelló, R., Mili, R., Tollis, I.G.: A framework for the static and interactive visualization for statecharts. Journal of Graph Algorithms and Applications 6(3),313-351 (2002)
35. Biermann, E., Ehrig, K., Khler, C., Kuhns, G., Taentzer, G., Weiss, E.: Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 425-439. Springer, Heidelberg (2006)
36. Jouault, F., Bézivin, J., Kurtev, I.: TCS: a DSL for the specification of textual concrete syntaxes in model engineering. In: GPCE 2006: Proceedings of the 5th International Conference on Generative Programming and Component Engineering, pp. 249-254. ACM, New York (2006)
37. Efftinge, S., Voelter, M.: oAW xText: A framework for textual DSLs. In: Eclipse Summit Europe, Esslingen, Germany (October 2006)
38. Feng, T.H., Lee, E.A.: Scalable models using model transformation. In: 1st International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB) (September 2008)
39. Gamma, E., Helm, R., Johnson, R., Vlissides, J.M.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)
40. Douglass, B.P.: Real-time Design Patterns: Robust Scalable Architecture for Realtime Systems. Addison-Wesley, Reading (2003)
41. Peters, A.K.: Musterbasiertes Layout von Statecharts. Masters thesis, Universität Hamburg, Falkultät für Mathematik, Informatik und Naturwissenschaften, Department Informatik (June 2008)
42. Karsai, G., Agrawal, A., Shi, F., Sprinkle, J.: On the use of graph transformation in the formal specification of model interpreters. Journal of Universal Computer Science 9(11), 1296-1321 (2003)
43. Brooks, C., Cheng, C.H.P., Feng, T.H., Lee, E.A., von Hanxleden, R.: Model engineering using multimodeling. In: Proceedings of the 1st International Workshop on Model Co-Evolution and Consistency Management (MCCM 2008), a workshop at MODELS 2008, Toulouse (September 2008)
44. Zhou, Y., Lee, E.A.: Causality interfaces for actor networks. ACM Transactions on Embedded Computing Systems (TECS), 1-35 (April 2008)