Introducing Ownership Type Constraints to UML/OCL
In an object oriented program, Ownership helps to control aliasing and assists in structuring object relationships in a program. By using this ownership representation, an owner object can access the reference objects for verification purpose. Ownership types help the programmer track information about object aliasing. This paper aims to introduce ownership types information to UML/OCL for design specification. This helps the implementations easier to develop and less prone to error.
|Introducing Ownership Type Constraints to UML/OCL (Paper.pdf)||216KiB|
Mon 19 Jun Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:30
|Aliasing, Capabilities and Ownership in Rust|
|Introducing Ownership Type Constraints to UML/OCL|
|Towards Reasonable Ownership|