Formal Software Specification (UML Modelling)

TableOfContents

Module Description

Program Schedule

<project xmlns:pg="http://www.logilab.org/namespaces/pygantt_docbook" id="monprojet">
<label>Software modelling and specification</label>
<task id="lw">
  <label>Lectures and workshops</label>
  <task id="lecture1">
    <label>Objectives, expections and planning (all)</label>
    <duration>1</duration>
    <constraint type="begin-after-date">2005/03/14</constraint>
  </task> 
  <task id="lecture2">
    <label>Intro on software engineering (Loe)</label>
    <duration>1</duration>
    <constraint type="begin-after-date">2005/03/14</constraint>
  </task> 
  <task id="lecture3">
    <label>User requirements specification (Panos)</label>
    <duration>1</duration>
    <constraint type="begin-after-date">2005/03/14</constraint>
  </task>
  <task id="lecture4">
    <label>Class diagrams (Yuechen)</label>
    <duration>1</duration>
    <constraint type="begin-after-date">2005/03/15</constraint>
  </task>
  <task id="lecture5">
    <label>State diagrams and sequence diagrams (Yuechen)</label>
    <duration>1</duration>
    <constraint type="begin-after-date">2005/03/18</constraint>
  </task>
  <task id="lecture6">
    <label>Intro to the case study (Jun)</label>
    <duration>1</duration>
    <constraint type="begin-after-date">2005/03/18</constraint>
  </task>
  <task id="lecture7">
    <label>Intro to Java platform for the case study (Jun)</label>
    <duration>1</duration>
    <constraint type="begin-after-date">2005/03/22</constraint>
  </task>
</task>
<task id="case">
  <label>Case Study: Emotion-based instant messaging</label> 
  <task id="case1">
    <label>Case study specification</label>
    <duration>1</duration>
    <constraint type="begin-after-date">2005/03/21</constraint>
  </task>
  <task id="case2">
    <label>Implementation</label>
    <duration>6</duration>
    <constraint type="begin-after-date">2005/03/22</constraint>
  </task>
</task>
<task id="report">
  <label>Report session</label>
  <duration>1</duration>
  <constraint type="begin-after-date">2005/03/29</constraint>
</task>
</project>

• ./ProgramSchedule (to be updated)

Lectures and Workshops

Case study : Emotion-based Instant Messaging

All students work in a team to develop an extenstion to an existing instant messaging system that,

1. analyzes the messages and filters the emoticons in the message;
2. calculates current emotional state of the buddies based on the collected emoticons,.
3. keeps track of the emotional state history of the buddies.

The existing instant messaging system will be provided as a blackbox with the following interfaces:

1. sending messages.
2. notification of the messages received.
3. changing the user's status.
4. notification of the status change of the buddies.
5. file transfer.

The team should not work on:

1. network communication,
2. session management,
3. user profiles,
4. conversation management etc.

Resources

Software packages to start with

• [http://www.jabber.org Jabber]

• [http://www.jbother.org JBother - a Java Jabber client]

• [http://jivesoftware.org/smack Smack Jabber library for communications (Java)]

Modelling and programming tools

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

• [http://w3.tue.nl/en/services/dienst_ict/organisatie/groepen/wins/campus_software/borland_jbuilder/ Borland JBuilder 2005]

Download

Binaries

• attachment:TIM3.jar - the blackbox. A Jabber client based on JBother 0.8.5

• attachment:FileTransfer.jar - a plugin for TIM3 for exchanging files/photos.

• attachment:EmoticonCollector.jar - a plugin for TIM3 to collect emoticons from the conversations.

• attachment:PresenceWatcher.jar - a plugin for TIM3 to monitor/change the status of the user and the buddies.

  • please notice that these plugins does not work with the original JBother, use TIM3 instead.

Source code and documents

• attachment:AllInOne.zip

• [http://id00243.id.tue.nl/~jhu/TIM3/doc/ TIM3 JavaDoc]

• [http://id00243.id.tue.nl/~jhu/TIM3/plugins/FileTransfer/doc/ File Transfer Plugin JavaDoc]

• [http://id00243.id.tue.nl/~jhu/TIM3/plugins/EmoticonCollector/doc/ Emoticon Collector Plugin JavaDoc]

• [http://id00243.id.tue.nl/~jhu/TIM3/plugins/PresenceWatcher/doc/ File Presence Watcher JavaDoc]

Requirements

Java 2 JREE 1.4 or above.

Installation

TIM3

Copy attachment:TIM3.jar to anywhere you like. Double click on the icon to start the program.

plugins

Copy the plugin to <home>/.jbother/plugins. On Linux, <home> is your home directory. On Windhows, <home> is C:\Documents and Settings\<your windows login user name>. You can download these plugins in the plugin manager because these plugins are not part of the standard JBother.

In order to serve the files from your local computer when transferring files, port 8080 will be open for connection. Any other software occupying this port or any firewall security hiding this port will fail the FileTransfer plugin to work properly.

Screenshots

TIM3 in action

attachment:JBother.jpg

Plugins are loaded

attachment:PluginManager.jpg

File Transfer plugin in action

attachment:FileTransfer.jpg

Emoticon Collector plugin in action

attachment:EmoticonCollector.jpg

Presence Watcher Plugin in action

attachment:PresenceWatcher.jpg