[TCS] Type checking: KM3+TCS or ATL [message #610999] |
Wed, 05 December 2007 12:54 |
Gustavo Cabral Messages: 20 Registered: July 2009 |
Junior Member |
|
|
Hi everyone,
I am defining the metamodel and the syntax for CSP
(http://www.usingcsp.com/).
How should I implement "type checking"? Through restrictions at the
KM3+TCS definitions (1), or implementing a CSP->Problem ATL transformation
(2)?
(1) If I restrict the KM3+TCS models to accomplish type checking, I will
have lot of work to do in both metamodel and syntax! I even think that
it may not work in some situations. :p
(2) If I relax the KM3+TCS models, I will have to define the type
checking transformation (CSP->Problem) separately. In this case,
I do not have access to the type errors during CSP coding (TGE). I
will only get the errors after I run this transformation.
What is the recommended approach?
thank you,
Gustavo Cabral
|
|
|
Powered by
FUDForum. Page generated in 0.01688 seconds