Formal Software Specification (UML Modelling) (0605)

TableOfContents

1. Module Description

A product with sensors, actuators and network connections can offer an interesting, useful, or playful behaviour to its users and to the other products, systems and services to which it is connected. The ID Master takes responsibility for the creation of this behaviour. If the product isn’t stand-alone, neither is the designer. Whenever product behaviour is realised through computer software and protocols, the designer takes advantage of being an excellent communicator in these matters. In present-day software engineering, the Universal Modelling Language UML has become widely accepted. It contains “activity diagrams”, “use case diagrams”, “class diagrams”, “state charts” and “message sequence charts”. The knowledge and skills that students get by participating in this module will help them to express the structure and behaviour of the software components in their design in a way that is understood by third parties. Starting from elementary programming skills, which are a prerequisite, the student will develop an understanding and appreciation of what it means to master complexity. The scope is widened from small programs to real complex software systems. Although developing and maintaining such systems usually involves computer scientists as well, the ID Master will be well equipped to use UML and thus specify system structure and desired behaviour.

Jun Hu, Yuechen Qian, and Loe Feijs will work together to provide background information, explain UML and create a learning experience in which reading UML, writing UML, and creating software come together.

2. Schedule

• All morning sessions start at 9:30AM.

29 May, morning

• Think Different: Object orientation and Use cases by Jun, (beamer needed)

29 May, afternoon

• Introduction to the Project: Zoo of Tamagotchi animals by Jun, (beamer needed)

• Use cases of the Zoo of Tamagotchi animals.

30 May, morning

• OO Modeling in UML by Yuechen, (beamer needed)

30 May, afternoon

• OO Modeling of the Zoo of Tamagotchi animals, coached by Jun

31 May, morning

• FMS in UML by Yuechen, (beamer needed)

31 May, afternoon

• FMS of the Zoo of Tamagotchi animals, coached by Jun

1 June, morning
• Finalizing the specification, coached by Jun
1 June, afternoon

• 1:00pm: Software engineering by Loe, (beamer needed)

• 2:00pm: Specification Handover
• Read the specification from another team

• Implementing the specification by acting, coached by Jun

2 June, morning

• Implementing the specification by acting, coached by Jun

2 June, afternoon: The show
• Format:

  • Every team perform the specification received from another team

  • The specification team comment on the performance.

  • Comments and discussions
• Time:
  • 12:00pm-14:30pm: Performances and discussions
  • Every team gets 20 minutes at least, 30 minutes maximum.
  • 14:30pm-15:00pm: wrap up.

3. Project

3.1. Format

Students are divided into teams. Every team gets the same task: Designing a system called Zoo of Tamagochi Animals:

• The first half of the project would be the teams making and specifying the OO design of the system;
• At the end of the first half of the project, the teams swap their specifications for implementation;
• The second half of the project would be implementing the specifications received.

Don't worry. No Java. No C++. No programming at all.

We are not going to do real software implementations. We will implement the system by acting the specification out to show how the system should work according to the specification. Students can play the objects, showing their behaviors and the communication in between. Stage tools can also be used to represent objects, interfaces, and events etc. We will need some imagination and creativity.

3.2. Zoo of Tamagotchi animals

4. Modelling tools

• [http://w3.tue.nl/en/services/dienst_ict/organisatie/groepen/wins/campus_software/ms_visio/ Microsoft Visio 2003]

  • [http://www.phruby.com/stencildownload.html UML 2.0 stencils] from Pavel Hruby