Model checking publish/subscribe notification for thinkteam (Articolo in rivista)

Type
Label
  • Model checking publish/subscribe notification for thinkteam (Articolo in rivista) (literal)
Anno
  • 2005-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1016/j.entcs.2004.08.069 (literal)
Alternative label
  • Ter Beek M. H.; Massink M.; Latella D.; Gnesi S.; Forghieri A.; Sebastianis M. (2005)
    Model checking publish/subscribe notification for thinkteam
    in Electronic notes in theoretical computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ter Beek M. H.; Massink M.; Latella D.; Gnesi S.; Forghieri A.; Sebastianis M. (literal)
Pagina inizio
  • 275 (literal)
Pagina fine
  • 294 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 133 (literal)
Rivista
Note
  • Scopus (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Istituto Di Scienza E Tecnologie dell'Informazione, CNR, Area Della Ricerca Di Pisa, Via G. Moruzzi 1, 56124 Pisa, Italy think3, Inc. - European Headquarters, Via Ronzani 7/29, 40033 Bologna, Italy (literal)
Titolo
  • Model checking publish/subscribe notification for thinkteam (literal)
Abstract
  • This paper reports on the fruitful combination of academic experience with formal modelling techniques and industrial experience with requirements exploration. We study the addition of a publish/subscribe notification service to thinkteama, a ready-to-use Product Data Management application developed by think3. thinkteam allows enterprises to capture, organise, automate, and share engineering product information and it is an example of an asynchronous and dispersed group-ware system. We define an abstract specification (model) of the groupware protocol underlying thinkteam and augment it with a publish/subscribe notification service. Consequently, we show a number of important correctness properties of the thinkteam model, some of which are also relevant to groupware protocols in general. In particular, we show that by adding a publish/subscribe notification service to thinkteam, the user's awareness of the status of the development of the engineering product and the activities of the design team increases. (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
data.CNR.it