Data Flow Analysis of UML Action Semantics for Executable Models

Tabinda Waheed, Muhammad Zohaib Z. Iqbal, Zafar I. Malik. Data Flow Analysis of UML Action Semantics for Executable Models. In Ina Schieferdecker, Alan Hartman, editors, Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings. Volume 5095 of Lecture Notes in Computer Science, pages 79-93, Springer, 2008. [doi]

Abstract

Abstract is missing.