21 search results - page 1 / 5 » Modeling and Verifying Dynamic Communication Structures base... |
SE
2010
13 years 6 months ago
2010
ECEASST
2008
13 years 4 months ago
2008
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
IFM
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
FM
2006
Springer
13 years 8 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
FMOODS
2003
13 years 6 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...