| enhancements for EMF- dynamical aspects of UML! [message #178808] |
Tue, 07 November 2006 16:34 |
Eclipse User |
|
|
|
Originally posted by: vincent_kwinsey.yahoo.com
Hi,
I am writing my MS Thesis about formalization of behavioral and
collaboration UML diagrams. There can be also some real-world applications
as well - e.g. model checking for consistency (and also together with
class diagrams), code generation (it is already possible using statecharts
in some UML designer, ArgoUML e.g.) So - and - it would be really nice to
make from this a some real contribution for Eclipse.
There can be some ideas:
1) There are OWL, RDF reasoners, and - as I understand - they can be used
not only for ontologies but also for reasoning about class diagrams (at
least - they can ber the very first candidates for tailoring to such use).
But this contribute only to analysis of static design and is using
description logics. But there is huge amount of research about temporal
logics, about temporal description logics - so - it could be great
innovation for Eclipse if there could be some reasoner for temporal logics
in Eclipse (at least - for some very simple logics). Can someone give
comments on this? If anyone from the Eclipse geeks could give me some
guidance - I could do all the research and also - coding for this;
2) What about adding extra custom annotations (e.g. to assign some
numerical, real world values to message calls e.g. duration (even assign
some statistics)) to UML diagrams, especiialy - on statcharts or
sequences. There is large body of research that sugest employment of such
an annotation for performace modelling of design! Even to so
transformation to class diagrams (better saying - encode statecharts as
class diagrams and then do reasoning using the tools for class diagrams).
Can this process be added to EMF?
3) There can also be some ideas for use of EMF in Eclipse BPEL supporting
toolset...
OK - it would be really nice to participate in Eclipse development
processes regarding the issues mentioned above (or similar one), so - can
someone suggest what to try to do further?
|
|
|
Powered by
FUDForum. Page generated in 0.08372 seconds
] 
Search
Help
Register
Login
Home
