Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams

Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer. Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. In Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter, editors, Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings. Volume 5301 of Lecture Notes in Computer Science, pages 341-355, Springer, 2008. [doi]

Abstract

Abstract is missing.