Re: comments on OCL



Date view Thread view Subject view Author view

Andy Evans (andye@cs.york.ac.uk)
Wed, 15 Dec 1999 12:37:33 -0000


Hi all, >>> Perhaps such a workshop would be a useful next step towards resolving these >>> type of issues? >>This sounds like good news. I made a similar proposal to the OMG (having >>a group of academic reserachers taking care of OCL and the UML >>well-formedness conditions.) I agree that pUML appears to be the right >>forum for this. >> >To be honest, I am not sure wether I support this position. The OMG is an >organisation dealing with industry standards and therefore usability within >the industry is the main priority. I think that academic researchers have >different priorities. The proposal above might move OCL and the UML >well-formedness conditions into the research area, where they shouldn't be. >UML and OCL must be _practical_, even when formally not completely >sound. (I know that this statement will hurt some of you deeply) > One strength of the pUML group is that it is not just a group of academics! It has many members from industry and core academic members who are involved in consultancy with companies such as Nortel Networks, Motorola and British Aerospace. Usability is therefore important issue. I personally have seen too many semantic efforts ignored due to their over emphasis on academic issues! >Having said this, I would love to have OCL and UML formally completely >correct. This is the other side to the coin - OCL must have a more precise definition. If it does not, it will be a big opportunity lost to the software engineering community. Already there are tools being developed for OCL based on different semantic interpretations. Also, without a precise semantics, it is difficult to develop more advanced development methods for UML. However, it is quite feasible to give OCL a precise semantics within the context of the UML meta-model. Separate work by Stuart Kent and Martin Gogolla has shown this already. >A workshop, as mentioned above is certainly useful. It will be most >effective if there is an agreed upon way in which workshop result can >end up in the OCL specofication. > >In general I am happy to work together with anyone who is willing and able >to contribute. The pUML group could play an important role here. > And are willing to do so, in a very open fashion. So, let's hold a workshop and build on/support Jos's excellent work. Andy


Date view Thread view Subject view Author view