Formal specification applied to multiuser distributed services: experiences in collaborative t-learning

  • Authors:

  • Martín López-Nores;José Pazos-Arias;Jorge García-Duque;Yolanda Blanco-Fernández;Manuel Ramos-Cabrer;Alberto Gil-Solla;Ana Fernández-Vilas;Rebeca Díaz-Redondo

  • Affiliations:

  • Department of Telematics Engineering, University of Vigo, Spain;Department of Telematics Engineering, University of Vigo, Spain;Department of Telematics Engineering, University of Vigo, Spain;Department of Telematics Engineering, University of Vigo, Spain;Department of Telematics Engineering, University of Vigo, Spain;Department of Telematics Engineering, University of Vigo, Spain;Department of Telematics Engineering, University of Vigo, Spain;Department of Telematics Engineering, University of Vigo, Spain

  • Venue:
  • Journal of Systems and Software
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

The development of multiuser and distributed software systems faces the difficulty to program the applications correctly, in a way that guarantees the desired interaction among the users. Motivated by experiences with collaborative t-learning services (i.e. multiuser educational services over Interactive TV), this paper presents a solution to that problem, based on supplementing visual development with formal specification techniques. As a contribution to the development of interactive systems, a software process is introduced that helps defining the separate and the conjoint behavior of different users, incrementally and using highly-accessible formalisms.