<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=gb2312">
<META content="MSHTML 6.00.2800.1561" name=GENERATOR></HEAD>
<BODY><FONT face=ËÎÌå size=2>
<DIV>Hi,</DIV>
<DIV> </DIV>
<DIV>From Prof. Karsai¡¯s ¡°<EM>Model-Integrated
Development of Embedded Software</EM>¡±,
I get the follows about
DSML.</DIV>
<DIV>--------------</DIV>
<DIV><EM>Formally, a modeling language is a
five-tuple of concrete syntax, abstract
syntax, semantic domain, and semantic and
syntactic mappings.</EM></DIV>
<DIV><EM>The concrete syntax defines the specific
(textual or graphical) notation used to
express models, which may be graphical,
textual, or mixed. </EM></DIV>
<DIV><EM>The abstract syntax defines the concepts,
relationships, and integrity constraints available
in the language.</EM></DIV>
<DIV><EM>The semantic domain is usually defined
by means of some mathematical formalism
in terms of which the meaning of
the models is explained.</EM></DIV>
<DIV>-----------</DIV>
<DIV>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.
</DIV>
<DIV> </DIV>
<DIV>Any help is appreciated.</DIV>
<DIV> </DIV>
<DIV>Regards,</DIV>
<DIV> </DIV>
<DIV>Zhumei</DIV>
<DIV>--</DIV>
<DIV>Zhumei Song</DIV>
<DIV>Ph.D Candidate</DIV>
<DIV>College of Mechanical Engineering, South
China University of Technology, Guangzhou,
China.</DIV>
<DIV>Phone: +86-20-87114637</DIV>
<DIV>Email: melody78@126.com</DIV>
<DIV> </DIV></FONT></BODY></HTML>