An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations.

Nabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz

Browse the full FNC paper archive.