haku: @supervisor Janhunen, Tomi / yhteensä: 234
viite: 4 / 234
Tekijä:Wu, Weiming
Työn nimi:Design and Implementation of a Shared Task Queue Groupware
Julkaisutyyppi:Diplomityö
Julkaisuvuosi:2015
Sivut:vi + 74 s. + liitt. 14      Kieli:   eng
Koulu/Laitos/Osasto:Perustieteiden korkeakoulu
Oppiaine:Foundations of Advanced Computing   (SCI3014)
Valvoja:Janhunen, Tomi
Ohjaaja:Janhunen, Tomi
Elektroninen julkaisu: http://urn.fi/URN:NBN:fi:aalto-201511205214
Sijainti:P1 Ark Aalto  3507   | Arkisto
Avainsanat:computer supported cooperative work
groupware
concurrency control
distributed system
software
Tiivistelmä (eng):Cooperation between workers in the same company or several companies has become increasingly important nowadays.
The cooperation on some task usually involves sharing information about the following steps involved in the task as well as negotiation between workers who are considered to form a group.
There is already software for helping people to work together and program components that can support cooperation in a particular application.
Typically, they are either too specific for a certain task or too complex to configure.

In this thesis, we design groupware for handling task queues within and between companies.
The groupware offers a protocol for workers in the same company to work together and to handle tasks in the shared queue.
It also supports cooperation between workers in different companies.
The workers cooperate in an asynchronous way but see the updates of the task queue state in real time.
Information about the shared task queue is made consistent across all clients who may be physically distributed.

The thesis also compares different ways to design groupware that implements the shared task queue.
A concurrency control algorithm for the application is adopted from literature and implemented.
Finally, the correctness of concurrency control algorithm is assessed by developing a formal model in the Promela language and by examining the state space using the Spin model checker.
ED:2015-11-29
INSSI tietueen numero: 52554
+ lisää koriin
INSSI