- From: Anthony Finkelstein <anthony@systemwire.com>
- Date: Sat, 9 Jul 2005 17:10:20 +0100
- To: ewallace@cme.nist.gov, public-rule-workshop-discuss@w3.org
I did not say we needed a "new rule language"! Quite the contrary, and vociferously, in many mails. I merely give the example as as a use case of where constraints are needed as an important class of rules. Now a more specific response to the technical point. OCL is used to express constraints across MOF compliant resources. Most web resources are not MOF compliant. EJB deployment descriptors (say) are XML. So might be project plans, quality assurance schedules, staffing lists - all of which constrain UML models but are out of scope for OCL. Some further discussion of this point see: C. Nentwich, W. Emmerich, A. Finkelstein and E. Ellmer, "Flexible Consistency Checking," ACM Transactions on Software Engineering and Methology, vol. 12, pp. 28-63, 2003. http://www.cs.ucl.ac.uk/staff/A.Finkelstein/papers/flexible.pdf I leave the issue of whether OCL is in scope as a 'rule language' which we need to interoperate with as an exercise for the reader! Anthony > > >Helen and Xavier are software engineers. They wish to ensure that the >>instances in their UML collaboration diagram correspond to valid >>classes in their class diagram. They also want to ensure that the >>class diagram corresponds the code base and the deployment >>information. >> >>Each of these imply constraints across the information. These > >constraints must be checked to see if they hold. > >With respect to the last example: Why do you think we need a new rule >language to express constraints on UML models given that UML includes >the Object Constraint Language (OCL) [1]? > >-Evan >Evan K. Wallace >Manufacturing Systems Integration Division >NIST > >[1] http://www.omg.org/docs/formal/03-03-31.pdf -- _________________________________________________________________________ Anthony Finkelstein Systemwire Director of Strategy TEL: +44 (0)20 7679 7293 (Direct Dial) MOB: +44 (0)7771 813981 EMAIL: anthony@systemwire.com WEB: http://www.systemwire.com _________________________________________________________________________
Received on Saturday, 9 July 2005 16:10:32 UTC