Lars Hamann, Oliver Hofrichter, Martin Gogolla. OCL-Based Runtime Monitoring of Applications with Protocol State Machines. In Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitrios S. Kolovos, editors, Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Volume 7349 of Lecture Notes in Computer Science, pages 384-399, Springer, 2012. [doi]
Abstract is missing.