Capturing Requirement Specification for Safety-critical System using SOFL and UML
This paper discusses two different types of capturing and presenting requirement specifications: UML and SOFL. The reason for choosing UML is because it employs an object-oriented approach, and SOFL is chosen as it is a combination of structured and object-oriented, which is an integration of Petri...
| Main Authors: | , , , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://umpir.ump.edu.my/id/eprint/10582/ http://umpir.ump.edu.my/id/eprint/10582/1/Capturing%20Requirement%20Specification%20for%20Safety-critical%20System%20uses%20SOFL%20and%20UML.pdf |
| _version_ | 1848818783517409280 |
|---|---|
| author | Azma, Abdullah Rohani, Abu Bakar Roslina, Abd Hamid Muhammad Zulfahmi Toh, Abdullah |
| author_facet | Azma, Abdullah Rohani, Abu Bakar Roslina, Abd Hamid Muhammad Zulfahmi Toh, Abdullah |
| author_sort | Azma, Abdullah |
| building | UMP Institutional Repository |
| collection | Online Access |
| description | This paper discusses two different types of capturing and presenting requirement specifications: UML and SOFL. The reason for choosing UML is because it employs an object-oriented approach, and SOFL is chosen as it is a combination of structured and object-oriented, which is an integration of Petri Net and VDM-SL. An On-Board Automation Systems is used to demonstrate how the two techniques work. Also, the differences between the two techniques is discussed, specifically with respect to the requirement in informal and semi-formal specifications. |
| first_indexed | 2025-11-15T01:43:09Z |
| format | Conference or Workshop Item |
| id | ump-10582 |
| institution | Universiti Malaysia Pahang |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T01:43:09Z |
| publishDate | 2015 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | ump-105822018-03-29T02:43:47Z http://umpir.ump.edu.my/id/eprint/10582/ Capturing Requirement Specification for Safety-critical System using SOFL and UML Azma, Abdullah Rohani, Abu Bakar Roslina, Abd Hamid Muhammad Zulfahmi Toh, Abdullah QA76 Computer software This paper discusses two different types of capturing and presenting requirement specifications: UML and SOFL. The reason for choosing UML is because it employs an object-oriented approach, and SOFL is chosen as it is a combination of structured and object-oriented, which is an integration of Petri Net and VDM-SL. An On-Board Automation Systems is used to demonstrate how the two techniques work. Also, the differences between the two techniques is discussed, specifically with respect to the requirement in informal and semi-formal specifications. 2015 Conference or Workshop Item PeerReviewed application/pdf en http://umpir.ump.edu.my/id/eprint/10582/1/Capturing%20Requirement%20Specification%20for%20Safety-critical%20System%20uses%20SOFL%20and%20UML.pdf Azma, Abdullah and Rohani, Abu Bakar and Roslina, Abd Hamid and Muhammad Zulfahmi Toh, Abdullah (2015) Capturing Requirement Specification for Safety-critical System using SOFL and UML. In: Computational Science and Information Management (ICOCSIM 2015) , 19-21 August 2015 , Kuantan, Pahang. . (Unpublished) (Unpublished) |
| spellingShingle | QA76 Computer software Azma, Abdullah Rohani, Abu Bakar Roslina, Abd Hamid Muhammad Zulfahmi Toh, Abdullah Capturing Requirement Specification for Safety-critical System using SOFL and UML |
| title | Capturing Requirement Specification for Safety-critical System using SOFL and UML |
| title_full | Capturing Requirement Specification for Safety-critical System using SOFL and UML |
| title_fullStr | Capturing Requirement Specification for Safety-critical System using SOFL and UML |
| title_full_unstemmed | Capturing Requirement Specification for Safety-critical System using SOFL and UML |
| title_short | Capturing Requirement Specification for Safety-critical System using SOFL and UML |
| title_sort | capturing requirement specification for safety-critical system using sofl and uml |
| topic | QA76 Computer software |
| url | http://umpir.ump.edu.my/id/eprint/10582/ http://umpir.ump.edu.my/id/eprint/10582/1/Capturing%20Requirement%20Specification%20for%20Safety-critical%20System%20uses%20SOFL%20and%20UML.pdf |