Design and Implementation of a Shared Task Queue Groupware

Loading...
Thumbnail Image

URL

Journal Title

Journal ISSN

Volume Title

Perustieteiden korkeakoulu | Master's thesis

Date

2015-10-19

Department

Major/Subject

Foundations of Advanced Computing

Mcode

SCI3014

Degree programme

Master’s Programme in Foundations of Advanced Computing (FAdCo)

Language

en

Pages

74 + 14

Series

Abstract

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.

Description

Supervisor

Janhunen, Tomi

Thesis advisor

Janhunen, Tomi

Keywords

computer supported cooperative work, groupware, concurrency control, distributed system, software

Other note

Citation