Considering Faults in Service-Oriented Architecture: A Graph Transformation-Based Approach
Considering Faults in Service-Oriented Architecture: A Graph Transformation-Based Approach
Farzaneh Mahdian,V. Rafe,R. Rafeh,M. Miralvand
2009 · DOI: 10.1109/ICCTD.2009.171
International Conference on Computer Technology and Development · 17 Citations
TLDR
This paper proposes a metamodel (formalized by a type graph) and some graph rules for monitoring services and their communications to detect faults and validate the proposal uses the previous approach to model checking graph transformation using the Bogor model checker.