Seamless model interoperability for software design and analysis
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 b...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Publishing Technology
2017
|
| Subjects: | |
| Online Access: | http://umpir.ump.edu.my/id/eprint/28982/ http://umpir.ump.edu.my/id/eprint/28982/1/Seamless%20model%20interoperability%20for%20software%20design%20and%20analysis.pdf |
| _version_ | 1848823182526513152 |
|---|---|
| author | M. A., Ameedeen Thong, Weng Jie |
| author_facet | M. A., Ameedeen Thong, Weng Jie |
| author_sort | M. A., Ameedeen |
| building | UMP Institutional Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-15T02:53:04Z |
| format | Article |
| id | ump-28982 |
| institution | Universiti Malaysia Pahang |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T02:53:04Z |
| publishDate | 2017 |
| publisher | Publishing Technology |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | ump-289822022-11-04T09:29:56Z http://umpir.ump.edu.my/id/eprint/28982/ Seamless model interoperability for software design and analysis M. A., Ameedeen Thong, Weng Jie QA76 Computer software 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. Publishing Technology 2017-11 Article PeerReviewed pdf en http://umpir.ump.edu.my/id/eprint/28982/1/Seamless%20model%20interoperability%20for%20software%20design%20and%20analysis.pdf 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) https://doi.org/10.1166/asl.2017.10246 https://doi.org/10.1166/asl.2017.10246 |
| spellingShingle | QA76 Computer software M. A., Ameedeen Thong, Weng Jie Seamless model interoperability for software design and analysis |
| title | Seamless model interoperability for software design and analysis |
| title_full | Seamless model interoperability for software design and analysis |
| title_fullStr | Seamless model interoperability for software design and analysis |
| title_full_unstemmed | Seamless model interoperability for software design and analysis |
| title_short | Seamless model interoperability for software design and analysis |
| title_sort | seamless model interoperability for software design and analysis |
| topic | QA76 Computer software |
| url | http://umpir.ump.edu.my/id/eprint/28982/ http://umpir.ump.edu.my/id/eprint/28982/ http://umpir.ump.edu.my/id/eprint/28982/ http://umpir.ump.edu.my/id/eprint/28982/1/Seamless%20model%20interoperability%20for%20software%20design%20and%20analysis.pdf |