[stellation-res] The spec

["Mark C. Chu-Carroll" <mcc@xxxxxxxxxxxxxx>]

The latest version of the spec is up on the wiki. It's grown rather a 
lot - some
of the graphs that you get using Alloy's model visualization are 
positively
fascinating.

Anyway - it's rapidly approaching what I'll call completion. That means 
that not
every possible hole is filled (for example, I'm basically just 
asserting that there's never
more than one repository, so that I don't need to deal with 
inter-repository relationships).,
but that the features that need clarification will be well detailed and 
specified sufficiently
to allow us to see the implications of our design.

What's left to do is:
- Finish the merge operation. It's currently in progress, but it's 
where things
   get really messy.
- Fill in the boilerplate for fork, checkin and checkout. This is 
really easy, because those
  semantics are simple.
- Flesh out the connection between changesets and activities.
- Describe how changesets are generated, both from workspaces and
  from the repository; and how they can be transformed. (A changeset is
  initially generated from a particular baseline; but you can transform 
it
  to be relative to some earlier baseline. That transformation is
 both important and tricky.)

Right now, I'm working on finishing the workspace; the main job there is
finishing merge, and doing changeset transformationss.


	-Mark

Mark Craig Chu-Carroll,  IBM T.J. Watson Research Center
*** The Stellation project: Advanced SCM Research
***      http://stellation.eclipse.org
*** Work: mcc@xxxxxxxxxxxxxx/Home: markcc@xxxxxxx