45
actions.
1
Thisinformation,whileitmaybestrictlyredundantinthesenseofversion-
completeness,canprovecriticalinpreservingusers’editingintentionswhenhistoriesare
modified.Operationslikemergeandselectiveundodependcriticallyontheactualopera-
tionsperformed,andareoneofthereasonsforadoptingchange-completeoperationmodels.
Inaversion-completesystem,theresultofmergingtwootherstatesisnotinitselfspe-
cial:anychangesetisacceptablethatcorrectlyproducesanacceptableresult:representing
thesavedstatesofthesharedstructurewhilemeetingthecomplexityandspacerequire-
mentsoftheapplication.Inatypicaloperation-completesystem,sucharesultstatewould
betheresultofsomekindofmergeoperationperformedontheoperationhistoriesthatcre-
atedthetworelevantversions,anditwouldreflectthecombinedeffectsoftheprimitive
operationsinthosehistories.
2.4 Limitsofthetaxonomy
Inthefollowing,Isummarizesomekeyaspectsofchangeinteractionbyenumerating
typesofinteractionandconflictresolution.Theglobalcontextofoperationtypes,potential
inter-operationinteractions,andpotentialconflictsprovidesaconceptualframeworkforun-
derstandingtheconflictsituationsinChapter3,andthedesigndecisionsinthePalimpsest
modelpresentedinChapter4.
InthistaxonomyIconsiderpropertiesofoperationsthatareindependentofthepolicy
issueswhichariseintheimplementationoffacilitieslikemergeandundo.Thesefacilities
createseriousissuesofchangeconflictthatwewilldiscussinChapter3,inthecontextofa

1
Thesearedistinct,inthatmostuser’smentalmodelsofeditingincludeoperationslike“move,”
buttheiractualactionsinmosteditorsareacombinationof“cut”and“paste”actions.Changerepre-
sentationsorientedtohumanneedsaremoreimportantthanapplication-orientedones,wherethe
distinctionispossible.
46
particulardatastructure.Evenatthisroughlevelofclassification,differentoperational
definitionshaveverydifferentpropertiesintermsofconflictsandresolutionstrategies.
Someoftheseissueswillbecomecleareveninthecurrentcoarseanalysis,butwewillhave
todelayexaminationofthepolicyquestionsuntilwehaveenoughconcreteinformationto
answerthem.
Theneedsofapplicationsthatrequireonlyversion-completenessarecompletelymetby
thesimplestclassesofoperationdefinitioninthistaxonomy,whiletheotherdefinitions
matchdifferentoperationalcompletenessconditions.BecausethegoalofPalimpsestisto
createusablefacilitiestomanagedivergentflexiblecollaboration,thesub-goalofopera-
tionalcompletenessbecomesveryimportantinitself.Itisworthnotingthatthesetech-
niquestoachieveoperationalcompletenesscanalsobeusedtoachieveadditionalgoalsofa
systemthatonlyrequiresversion-completeness.Forinstance,changehistoriesthatinclude
moveoperationscanbesmallerthananyhistorybuiltonlyfrominsertionanddeletionop-
erations.Ontheotherhand,simplytoachieveversion-completenessinitselfneverrequires
theuseofsuchoperations.
2.5 Dynamicandstaticoperations
Table2.1(page49)summarizesmytaxonomicdivisionofchangesintotypes,depending
onwhethertheyinteractwithotherchanges,andwhatformsofoperationtheyimplement.
Thistaxonomyplacessystemmodelsatdifferentpointsontwoorthogonalaxes.Themost
basicdistinctionbetweenoperationaldefinitionsdividesthesetintotwoclasses:
Staticoperationsdonotinteractwithotheroperationsinanyfundamentalway,sothat
theeffectofanoperationonarangeofdatadoesnotdependontheeffectsofotheropera-
tionsthataffectthatdata.Forinstance,aninsertionalwaysinsertsthesamedataregardless
ofwhatotheroperationsareperformed.Staticoperationdonotdependonthecontentsof
anyportionofasequencefortheireffect,butonlyfortheirlocation.
Previous Page Next Page