Seamless model interoperability for software design and analysis

M. A., Ameedeen and Thong, Weng Jie (2017) Seamless model interoperability for software design and analysis. Advanced Science Letters, 23 (11). pp. 11178-11181. ISSN 1936-6612. (Published)

Seamless model interoperability for software design and analysis.pdf

Download (570kB) | Preview


Software development has now become a critical process that handles a plethora of sensitive and mission critical information that involves lives, money and time. As such, designing such a critical piece of software has become even more critical and requires a solid logical or mathematical analysis behind it to ensure the reliability of the software. Modelling is one of the preferred methods for software designers to express their design, especially through easy to use modeling languages such as UML (Unified Modelling Language). However the lack of formal analysis capabilities in UML makes it necessary for a redundant formal model to be created as well, in order to analyze the design. Model interoperability as referred to in this paper promotes the use of UML, to be paired seamlessly with a formal model that is capable in performing formal mathematical analysis on the software design.

Item Type: Article
Additional Information: Indexed by Scopus
Uncontrolled Keywords: Model driven development; Model interoperability; Modelling; Petri net; Sequence diagram
Subjects: Q Science > QA Mathematics > QA76 Computer software
Faculty/Division: Centre of Excellence: IBM Centre of Excellence
Faculty of Computer System And Software Engineering
Institute of Postgraduate Studies
Depositing User: Mrs Norsaini Abdul Samat
Date Deposited: 04 Nov 2022 09:29
Last Modified: 04 Nov 2022 09:29
Download Statistic: View Download Statistics

Actions (login required)

View Item View Item