FW: [gme-users] confused by semantic and syntax

Zoltan Molnar zolmol at isis.vanderbilt.edu
Thu Oct 19 14:30:46 CDT 2006


Are you familiar with this paper?
Hope it helps,
Zoli
 
 
http://www.isis.vanderbilt.edu/publications/archive/Chen_K_9_19_2005_Tow
ard_a_S.pdf
 
 
-----Original Message-----
From: gme-users-bounces at list.isis.vanderbilt.edu
[mailto:gme-users-bounces at list.isis.vanderbilt.edu] On Behalf Of Zhumei
Song
Sent: Saturday, October 07, 2006 9:58 AM
To: gme-users
Subject: [gme-users] confused by semantic and syntax 


Hi,
 
>From  Prof.  Karsai's  "Model-Integrated  Development  of  Embedded
Software",  I  get  the  follows  about  DSML.
--------------
Formally,  a  modeling  language  is  a  five-tuple  of  concrete
syntax,  abstract  syntax,  semantic  domain,  and semantic  and
syntactic  mappings.
The  concrete  syntax  defines  the  specific  (textual  or  graphical)
notation  used  to  express  models,  which  may be  graphical,
textual,  or  mixed.  
The  abstract  syntax  defines  the  concepts,  relationships,  and
integrity  constraints  available  in  the  language.
The  semantic  domain  is  usually  defined  by  means  of  some
mathematical  formalism  in  terms  of  which  the  meaning of  the
models  is  explained.
-----------
But,  it  is  difficult  to  understand  the "semantic  domain".  When
define  a  DSML,  how  to  define  its  "semantic domain"?  I  confused
"semantic  domain"  with  "syntax".  Any  one  can  illustrate  me  for
this?  For  example, an  SF  language.  Or,  is  there  any  doc  in
detail  for  this  problem.  
 
Any  help  is  appreciated.
 
Regards,
 
Zhumei
--
Zhumei  Song
Ph.D  Candidate
College  of  Mechanical  Engineering,  South  China  University  of
Technology,  Guangzhou,  China.
Phone:  +86-20-87114637
Email:  melody78 at 126.com
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://list.isis.vanderbilt.edu/pipermail/gme-users/attachments/20061019/e7552312/attachment.htm


More information about the gme-users mailing list