@article {gtvc2006-gkv,
	title = {Modeling and Verification of Reliable Messaging by Graph Transformation Systems},
	journal = {Electr. Notes Theor. Comput. Sci.},
	volume = {175},
	number = {4},
	year = {2007},
	pages = {37-50},
	abstract = {Due to the increasing need of highly dependable services in Service-Oriented Architectures (SOA), service-level agreements include more and more frequently such non-functional aspects as security, safety, availability, reliability, etc. Whenever a service can no longer be provided with the required QoS, the service requester needs to switch dynamically to a new service having adequate service parameters after exchanging a sequence of messages. In the current paper, we first extend the core SOA metamodel proposed in [2] with parameters required for reliable messaging in services. Then we model reconfigurations for reliable message delivery by graph transformation rules. Finally, we carry out a formal verification of the proposed rule set by combining analysis tools for graph transformation and labeled transition systems.},
	url = {http://dx.doi.org/10.1016/j.entcs.2007.04.015},
	author = {L{\'a}szl{\'o} G{\"o}nczy and M{\'a}t{\'e} Kov{\'a}cs and D{\'a}niel Varr{\'o}}
}
