Re: cross-referencing constraints in conceptual model and formal model

On 08/22/2011 01:46 PM, James Cheney wrote:
>
> On Aug 22, 2011, at 1:38 PM, Luc Moreau wrote:
>
>> Hi James,
>>
>> I like it, I wanted to do it (in fact started doing it, with the 
>> class inference, as you have seen).
>
> I see.  Do you want to just use "inference" for everything?  I added 
> "constraint" since there were some things that seem like interesting 
> constraints that aren't necessarily inferences.  But it would probably 
> be best to just have one such annotation.
>

I am happy with "constraint". Will replace the two instances of 
inference by constraint.

>
>>
>> It would be nice to be able to labelled each of these, with a human 
>> readable label, e.g.
>>   process execution insertion rule.
>
>> Is there an html/css guru who can help with this?
>>
>
> I don't know how one can do this short of just writing extra HTML; I 
> think CSS is not able to define macros in this way.  I'd also like to 
> macro-ize things so that the ids are automatically generated, and 
> don't appear in multiple places, etc.  Right now it is fragile.
>
> I know it could be done with XSLT but suspect this would not interact 
> well with the ReSpec tool.

I now think this has to be programmed in Javascript. The whole point of 
this javascript tool is that there is no "compilation".
Any expert?

Luc

>
>> Regards,
>> Luc
>>
>>
>> On 08/18/2011 04:10 PM, James Cheney wrote:
>>> Hi,
>>>
>>> I am missing the first 30-40 minutes of the teleconference 
>>> (supervising an exam), but might be able to join later.
>>>
>>> I had an action item to add cross-references between the conceptual 
>>> model and formal model.
>>>
>>> I have added <a name="PIL:XXXX"> tags and cross-reference links to:
>>>
>>> http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html
>>>
>>> and
>>>
>>> http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html
>>>
>>> I haven't tagged all of the things that seem like they should be 
>>> tagged (my list of constraints is a week or two out of date).
>>>
>>> Basically, the idea is that wherever we have a formal-sounding 
>>> constraint or inference in the conceptual model, we should have 
>>> links to/from the corresponding part of the formal model (or 
>>> semantics, if there are constraints we can't or don't want to 
>>> specify using OWL).
>>>
>>> Right now these are maintained by hand, which could be painful over 
>>> time.  We may want to add some automation to make it easier to keep 
>>> these consistent.
>>>
>>> If there is time I would appreciate if people could have a look at 
>>> what I did and indicate whether it seems reasonable (or if there is 
>>> a known better way to do this kind of thing).
>>>
>>> If this looks OK, then going forward we should be careful to keep 
>>> these consistent.
>>>
>>> --James
>>>
>>>
>>> The University of Edinburgh is a charitable body, registered in
>>> Scotland, with registration number SC005336.
>>>    
>>
>> -- 
>> Professor Luc Moreau
>> Electronics and Computer Science   tel:   +44 23 8059 4487
>> University of Southampton          fax:   +44 23 8059 2865
>> Southampton SO17 1BJ               email:l.moreau@ecs.soton.ac.uk
>> United Kingdomhttp://www.ecs.soton.ac.uk/~lavm
>>      
>
>
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.
>    

-- 
Professor Luc Moreau
Electronics and Computer Science   tel:   +44 23 8059 4487
University of Southampton          fax:   +44 23 8059 2865
Southampton SO17 1BJ               email: l.moreau@ecs.soton.ac.uk
United Kingdom                     http://www.ecs.soton.ac.uk/~lavm