1357 search results - page 32 / 272 » Compositionality in Graph Transformation |
123
click to vote
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
142
click to vote
FMOODS
2003
15 years 3 months ago
2003
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
130
click to vote
SOSYM
2010
15 years 25 days ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
151
click to vote
APN
2007
Springer
15 years 8 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
120
click to vote
ICTAC
2005
Springer
15 years 8 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...