search query: @keyword distributed system / total: 17
reference: 4 / 17
| Author: | Wu, Weiming |
| Title: | Design and Implementation of a Shared Task Queue Groupware |
| Publication type: | Master's thesis |
| Publication year: | 2015 |
| Pages: | vi + 74 s. + liitt. 14 Language: eng |
| Department/School: | Perustieteiden korkeakoulu |
| Main subject: | Foundations of Advanced Computing (SCI3014) |
| Supervisor: | Janhunen, Tomi |
| Instructor: | Janhunen, Tomi |
| Electronic version URL: | http://urn.fi/URN:NBN:fi:aalto-201511205214 |
| Location: | P1 Ark Aalto 3507 | Archive |
| Keywords: | computer supported cooperative work groupware concurrency control distributed system software |
| Abstract (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 record number: 52554
+ add basket
INSSI