Conclusion

 

 

·        Double-pushout approach can specify dynamic semantics in design patterns.

 

·       Dynamic semantics allow us to interpret complex interactions among classes under run-time environment.