Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model

Susan Even; David Spelt

doi:10.1007/3-540-46589-8_12

Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model

Susan Even
, David Spelt

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Downloads (Pure)

Original language	English
Title of host publication	Object-Oriented Technology. ECOOP'99 Workshop Reader
Subtitle of host publication	ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings
Editors	Ana Moreira
Place of Publication	Lisboa, Portugal
Publisher	Springer
Pages	216-217
ISBN (Electronic)	978-3-540-46589-8
ISBN (Print)	978-3-540-66954-8
DOIs	https://doi.org/10.1007/3-540-46589-8_12
Publication status	Published - 15 Jun 1999

Keywords

n/a OA procedure

Access to Document

10.1007/3-540-46589-8_12

Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model
Spelt, D. & Even, S., Aug 2001, In: Concurrency and computation. 13, 11, p. 1013-1032 20 p.
Research output: Contribution to journal › Article › Academic › peer-review
137 Downloads (Pure)
Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model
Even, S. & Spelt, D., Jun 1999. 12 p.
Research output: Contribution to conference › Paper › peer-review

Open Access
File

Cite this

Even, S., & Spelt, D. (1999). Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model. In A. Moreira (Ed.), Object-Oriented Technology. ECOOP'99 Workshop Reader: ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings (pp. 216-217). Springer. https://doi.org/10.1007/3-540-46589-8_12

Even, Susan ; Spelt, David. / Compensation methods to support generic graph editing : A case study in automated verification of schema requirements for an advanced transaction model. Object-Oriented Technology. ECOOP'99 Workshop Reader: ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings. editor / Ana Moreira. Lisboa, Portugal : Springer, 1999. pp. 216-217

@inproceedings{7919b73c5198456088724c34b8eb7bed,

title = "Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model",

keywords = "n/a OA procedure",

author = "Susan Even and David Spelt",

year = "1999",

month = jun,

day = "15",

doi = "10.1007/3-540-46589-8\_12",

language = "English",

isbn = "978-3-540-66954-8",

pages = "216--217",

editor = "Ana Moreira",

booktitle = "Object-Oriented Technology. ECOOP'99 Workshop Reader",

publisher = "Springer",

address = "Germany",

}

Even, S & Spelt, D 1999, Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model. in A Moreira (ed.), Object-Oriented Technology. ECOOP'99 Workshop Reader: ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings. Springer, Lisboa, Portugal, pp. 216-217. https://doi.org/10.1007/3-540-46589-8_12

Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model. / Even, Susan; Spelt, David.
Object-Oriented Technology. ECOOP'99 Workshop Reader: ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings. ed. / Ana Moreira. Lisboa, Portugal: Springer, 1999. p. 216-217.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Compensation methods to support generic graph editing

T2 - A case study in automated verification of schema requirements for an advanced transaction model

AU - Even, Susan

AU - Spelt, David

PY - 1999/6/15

Y1 - 1999/6/15

KW - n/a OA procedure

U2 - 10.1007/3-540-46589-8_12

DO - 10.1007/3-540-46589-8_12

M3 - Conference contribution

SN - 978-3-540-66954-8

SP - 216

EP - 217

BT - Object-Oriented Technology. ECOOP'99 Workshop Reader

A2 - Moreira, Ana

PB - Springer

CY - Lisboa, Portugal

ER -

Even S, Spelt D. Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model. In Moreira A, editor, Object-Oriented Technology. ECOOP'99 Workshop Reader: ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings. Lisboa, Portugal: Springer. 1999. p. 216-217 doi: 10.1007/3-540-46589-8_12

Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model

Keywords

Access to Document

Research output

Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model

Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model

Cite this