UML 2 Semantics Symposium: Formal Semantics for UML
This is an incremental symposium for researchers in software modeling to share and discuss formal semantics work.
The symposium presented the current state of research in the UML 2 Semantics Project, focusing on formal semantics for the Unified Modeling Language, and provided a platform for expert feedback and discussion among researchers in the field.
The purpose of this symposium, held in conjunction with MoDELS 2006, was to present the current state of research of the UML 2 Semantics Project. Equally important to receiving feedback from an audience of experts was the opportunity to invite researchers in the field to discuss their own work related to a formal semantics for the Unified Modeling Language. This symposium is a follow-on to our first workshop, held in conjunction with ECMDA 2005.