Skip to main content
DORAS
DCU Online Research Access Service
Login (DCU Staff Only)
A comparative study on transformation of UML/OCL to other specifications

Thangaraj, Jagadeeswaran ORCID: 0000-0002-2721-0898 and Ulaganathan, Senthilkumaran (2020) A comparative study on transformation of UML/OCL to other specifications. Recent Advances in Computer Science and Communications, 13 (2). pp. 256-264. ISSN 2666-2558

Full text available as:

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
274kB

Abstract

Background: Static verification is a sound programming methodology that permits automated reasoning about the correctness of an implementation with respect to its formal specification before its execution. Unified Modelling Language is most commonly used modelling language which describes the client’s requirement. Object Constraint Language is a formal language which allows users to express textual constraints regarding the UML model. Therefore, UML/OCL express formal specification and helps the developers to implement the code according to the client’s requirement through software design. Objective: This paper aims to compare the existing approaches generating Java, C++, C# code or JML, Spec# specifications from UML/OCL. Method: Nowadays, software system is developed via automatic code generation from software design to implementation when using formal specification and static analysis. In this paper, the study considers transformation from design to implementation and vice versa using model transformation, code generation or other techniques. Results: The related tools, which generate codes, do not support verification at the implementation phase. On the other hand, the specification generation tools do not generate all the required properties which are needed for verification at the implementation phase. Conclusion: If the generated system supports the verification with all required properties, code developer needs less efforts to produce correct software system. Therefore, this study recommends introducing a new framework which can act as an interface between design and implementation to generate verified software systems.

Item Type:Article (Published)
Refereed:Yes
Uncontrolled Keywords:Model transformation; UML; OCL; Spec#; JML; formal specifications; static verification.
Subjects:Computer Science > Computer engineering
Computer Science > Computer simulation
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
Publisher:Bentham Science Publishers
Official URL:https://dx.doi.org/10.2174/2213275912666190129121059
Copyright Information:© 2020 Bentham Science Publishers
Use License:This item is licensed under a Creative Commons Attribution-NonCommercial-Share Alike 3.0 License. View License
ID Code:27071
Deposited On:17 May 2022 11:50 by Jagadeeswaran Thangaraj . Last Modified 31 May 2022 10:16

Downloads

Downloads per month over past year

Archive Staff Only: edit this record

  • Student Email
  • Staff Email
  • Student Apps
  • Staff Apps
  • Loop
  • Disclaimer
  • Privacy
  • Contact Us