Slicing the Three-layer Architecture: A Semantic Foundation for Behavioural Specification

From Anita Borg Institute Wiki

Speaker: Michelle L. Crane [1], PhD Candidate, Applied Formal Methods Group [2], Software Technology Laboratory [3], School of Computing [4], Queen's University [5], Kingston, Ontario, Canada

Abstract: We outline a research proposal whose overall goal is to contribute to the definition of a formal semantics for UML, and indeed visual behavioural modelling languages in general. Specifically, we aim to validate the three-layer semantic architecture, used as a way of explaining the behavioural semantics of UML. The validation includes a definition of the semantics of UML actions and activities, as well as a prototype interpreter.

Website: [6]

4-page Paper: (pdf) [7]

Talk Slides: (pdf) [8]