Thangaraj, Jagadeeswaran 
ORCID: 0000-0002-2721-0898 and Ulaganathan, Senthilkumaran
(2017)
Introducing ownership type constraints to UML/OCL.
In: International Workshop on Aliasing, Capabilities and Ownership (IWACO'22), 18 - 23 June 2017, Barcelona, Spain.
Full text available as:
|
PDF
- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
221kB |
Abstract
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Event Type: | Workshop |
| Refereed: | Yes |
| Additional Information: | Co located with 31st European Conference on Object-Oriented Programming, ECOOP 2017 |
| Uncontrolled Keywords: | Aliasing; Ownership; USE; UML; OCL; Spec# |
| Subjects: | Computer Science > Computational linguistics Computer Science > Computer engineering Computer Science > Computer software Computer Science > Information technology Computer Science > Software engineering |
| DCU Faculties and Centres: | DCU Faculties and Schools > Faculty of Engineering and Computing > School of Computing |
| Published in: | IWACO'22 Proceedings. . ECOOP2017. |
| Publisher: | ECOOP2017 |
| Official URL: | https://2017.ecoop.org/track/iwaco-2017-papers |
| Copyright Information: | © 2017 The Authors. Open Access (CC-BY 4.0) |
| ID Code: | 27233 |
| Deposited On: | 16 May 2022 16:49 by Jagadeeswaran Thangaraj . Last Modified 16 May 2022 16:49 |
Downloads
Downloads per month over past year
Archive Staff Only: edit this record