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)
|
Pdf
Seamless model interoperability for software design and analysis.pdf Download (570kB) | Preview |
Abstract
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 |
| URI: | http://umpir.ump.edu.my/id/eprint/28982 |
| Download Statistic: | View Download Statistics |
Actions (login required)
 |
View Item |