Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » GMT (Generative Modeling Technologies) » [TCS] Type checking: KM3+TCS or ATL
[TCS] Type checking: KM3+TCS or ATL [message #610999] Wed, 05 December 2007 12:54
Gustavo Cabral is currently offline Gustavo CabralFriend
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
Previous Topic:Bug or me ??
Next Topic:Bug or me ??
Goto Forum:
  


Current Time: Sat Nov 22 10:45:42 GMT 2014

Powered by FUDForum. Page generated in 0.03147 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software