Proving Correctness of Transformation Functions in Real-Time Groupware

Simple item page
dc.contributor.authorImine, Abdessamad
dc.contributor.authorMolli, Pascal
dc.contributor.authorOster, Gérald
dc.contributor.authorRusinowitch, Michaël
dc.date.accessioned2017-04-15T11:48:25Z
dc.date.available2017-04-15T11:48:25Z
dc.date.issued2003
dc.description.abstractOperational transformation is an approach which allows to build real-time groupware tools. This approach requires correct transformation functions. Proving the correction of these transformation functions is very complex and error prone. In this paper, we show how a theorem prover can address this serious bottleneck. To validate our approach, we have verified the correctness of state-of-art transformation functions defined on Strings with surprising results. Counter-examples provided by the theorem prover have helped us to define new correct transformation functions for Strings.
dc.identifier.doi10.1007/978-94-010-0068-0_15
dc.identifier.isbn978-94-010-0068-0
dc.language.isoen
dc.publisherKluwer Academic Publishers, Dordrecht, The Netherlands
dc.relation.ispartofECSCW 2003: Proceedings of the Eighth European Conference on Computer Supported Cooperative Work
dc.relation.ispartofseriesECSCW
dc.titleProving Correctness of Transformation Functions in Real-Time Groupware
dc.typeText
gi.citation.endPage293
gi.citation.startPage277
gi.conference.date14–18 September 2003
gi.conference.locationHelsinki, Finland
gi.conference.sessiontitleFull Papers

Files

Original bundle
1 - 1 of 1
Thumbnail Image
Name:
00187.pdf
Size:
582.55 KB
Format:
Adobe Portable Document Format
Download
License bundle
1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
0 B
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

ECSCW 2003: Proceedings of the Eighth European Conference on Computer Supported Cooperative Work