147 search results - page 6 / 30 » Unfolding semantics of graph transformation |
BXML
2003
14 years 8 days ago
2003
: The Web service architecture promises to be highly dynamic. The idea is that a service requester can discover a needed service at runtime. Due to the fact that this discovery pro...
ICALP
2000
Springer
14 years 2 months ago
2000
Springer
The Unified Modeling Language UML is a rich language so that it seem not feasible to give a single semantics for the complete language in one ste In order to define the semantics,...
EUROMICRO
1996
IEEE
14 years 3 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
FMOODS
2006
14 years 8 days ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
SCAM
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...