UML 2 Semantics Symposium: Formal Semantics for UML
Manfred Broy, Michelle L. Crane, Juergen Dingel, Alan Hartman, Bernhar, Rumpe, Brau Selic
TL;DR
This symposium showcased current research on formal semantics for UML 2, fostering expert feedback and discussion on advances in the precise mathematical meaning of UML models.
Contribution
It presented the latest developments in formal semantics for UML 2, encouraging collaboration and feedback from researchers in the field.
Findings
Presented current research on UML 2 semantics
Facilitated expert feedback and discussion
Connected researchers working on formal UML semantics
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsModel-Driven Software Engineering Techniques · Advanced Software Engineering Methodologies · Formal Methods in Verification