UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification methods such as the Universal Modeling Language have been widely accepted. Teaching design students these formal methods is non-trivial because most of design students often have difficulties in programming the behaviors of complex produces and systems. Instead of programming, this paper presents a technique, namely “acting-out”, for design students to master the formal methods. The experience shows that acting-out not only worked out very well as a teaching technique, but also showed the potential for bridging the processes of industrial design and software engineering.
KeywordsFormal Method Industrial Design Master Student Design Student Message Sequence Chart
Unable to display preview. Download preview PDF.
- 1.Grudin, J., Pruitt, J.: Personas, participatory design and product development: An infrastructure for engagement. In: Proceedings PDC, pp. 144–161 (2002)Google Scholar
- 2.van Welie, M., van der Veer, G.: Structured methods and creativity - a happy dutch marriage. In: Co-Designing 2000, Coventry, England, pp. 11–13 (2000)Google Scholar
- 3.Hu, J., Feijs, L.: IPML: Structuring distributed multimedia presentations in ambient intelligent environments. International Journal of Cognitive Informatics and Natural Intelligence, Special Issue on Ambient Intelligence and Art (to appear, 2007)Google Scholar
- 4.Hu, J.: Design of a Distributed Architecture for Enriching Media Experience in Home Theaters. Technische Universiteit Eindhoven (2006), ISBN:90-386-2678-8Google Scholar
- 5.Feijs, L., Hu, J.: Component-wise mapping of media-needs to a distributed presentation environment. In (COMPSAC 2004). The 28th Annual International Computer Software and Applications Conference, Hong Kong, China, pp. 250–257. IEEE Computer Society, Los Alamitos (2004), doi:10.1109/CMPSAC.2004.1342840Google Scholar
- 7.Booch, G., Rumbaugh, J., Jacobson, I.: Unified Modeling Language for Object-Oriented Development (Version 0.9a Addendum). Rational Software Corporation (1996)Google Scholar
- 8.Taylor, D.A.: Object-Oriented Technology: A Manager’s Guide. Addison-Wesley, Reading (1990)Google Scholar
- 9.Martin, R.C.: Agile Software Development: Principles, Patterns, and Practices. Prentice-Hall, Englewood Cliffs (2002)Google Scholar
- 11.Burns, C., Dishman, E., Verplank, W., Lassiter, B.: Actors, hairdos & videotape-informance design. In: CHI, pp. 119–120. ACM Press, New York (1994)Google Scholar
- 13.Klooster, S., Overbeeke, C.: Designing products as an integral part of choreography of interaction: The product’s form as an integral part of movement. In: The 1st European workshop on Design and Semantics of Form and Movement, Newcastle, UK, pp. 23–55 (2005)Google Scholar