Incremental Composition Process for the Construction of Component-Based Management Systems
Cyber-physical systems (CPS) are composed of software and hardware components. Many such systems (e.g., IoT based systems) are created by composing existing systems together. Some of these systems are of critical nature, e.g., emergency or disaster management systems. In general, component-based dev...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2020-02-01
|
| Series: | Sensors |
| Subjects: | |
| Online Access: | https://www.mdpi.com/1424-8220/20/5/1351 |
| _version_ | 1817993462094495744 |
|---|---|
| author | Tauseef Rana Yawar Abbas Bangash Abdullah Baz Toqir Ahmad Rana Muhammad Ali Imran |
| author_facet | Tauseef Rana Yawar Abbas Bangash Abdullah Baz Toqir Ahmad Rana Muhammad Ali Imran |
| author_sort | Tauseef Rana |
| collection | DOAJ |
| description | Cyber-physical systems (CPS) are composed of software and hardware components. Many such systems (e.g., IoT based systems) are created by composing existing systems together. Some of these systems are of critical nature, e.g., emergency or disaster management systems. In general, component-based development (CBD) is a useful approach for constructing systems by composing pre-built and tested components. However, for critical systems, a development method must provide ways to verify the partial system at different stages of the construction process. In this paper, for system architectures, we propose two styles: rigid architecture and flexible architecture. A system architecture composed of independent components by coordinating exogenous connectors is in flexible architecture style category. For CBD of critical systems, we select EX-MAN from flexible architecture style category. Moreover, we define incremental composition mechanism for this model to construct critical systems from a set of system requirements. Incremental composition is defined to offer preservation of system behaviour and correctness of partial architecture at each incremental step. To evaluate our proposed approach, a case study of weather monitoring system (part of a disaster management) system was built using our EX-MAN tool. |
| first_indexed | 2024-04-14T01:40:14Z |
| format | Article |
| id | doaj.art-2d598ee1aa914bd0bbe950c959e9a8eb |
| institution | Directory Open Access Journal |
| issn | 1424-8220 |
| language | English |
| last_indexed | 2024-04-14T01:40:14Z |
| publishDate | 2020-02-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Sensors |
| spelling | doaj.art-2d598ee1aa914bd0bbe950c959e9a8eb2022-12-22T02:19:48ZengMDPI AGSensors1424-82202020-02-01205135110.3390/s20051351s20051351Incremental Composition Process for the Construction of Component-Based Management SystemsTauseef Rana0Yawar Abbas Bangash1Abdullah Baz2Toqir Ahmad Rana3Muhammad Ali Imran4Department of Computer Software Engineering, MCS, National University of Sciences and Technology, Islamabad 44000, PakistanDepartment of Computer Software Engineering, MCS, National University of Sciences and Technology, Islamabad 44000, PakistanDepartment of Computer Engineering, College of Computer and Information Systems, Umm Al-Qura University, Makkah P.O. Box 715, Saudi ArabiaDepartment of Computer Science & IT, The University of Lahore, Lahore 54000, PakistanSchool of Engineering, University of Glasgow, Glasgow G12 8QQ, UKCyber-physical systems (CPS) are composed of software and hardware components. Many such systems (e.g., IoT based systems) are created by composing existing systems together. Some of these systems are of critical nature, e.g., emergency or disaster management systems. In general, component-based development (CBD) is a useful approach for constructing systems by composing pre-built and tested components. However, for critical systems, a development method must provide ways to verify the partial system at different stages of the construction process. In this paper, for system architectures, we propose two styles: rigid architecture and flexible architecture. A system architecture composed of independent components by coordinating exogenous connectors is in flexible architecture style category. For CBD of critical systems, we select EX-MAN from flexible architecture style category. Moreover, we define incremental composition mechanism for this model to construct critical systems from a set of system requirements. Incremental composition is defined to offer preservation of system behaviour and correctness of partial architecture at each incremental step. To evaluate our proposed approach, a case study of weather monitoring system (part of a disaster management) system was built using our EX-MAN tool.https://www.mdpi.com/1424-8220/20/5/1351critical systemcomponent based development (cbd)composition verificationex-man component modelsensors compositionincremental composition |
| spellingShingle | Tauseef Rana Yawar Abbas Bangash Abdullah Baz Toqir Ahmad Rana Muhammad Ali Imran Incremental Composition Process for the Construction of Component-Based Management Systems Sensors critical system component based development (cbd) composition verification ex-man component model sensors composition incremental composition |
| title | Incremental Composition Process for the Construction of Component-Based Management Systems |
| title_full | Incremental Composition Process for the Construction of Component-Based Management Systems |
| title_fullStr | Incremental Composition Process for the Construction of Component-Based Management Systems |
| title_full_unstemmed | Incremental Composition Process for the Construction of Component-Based Management Systems |
| title_short | Incremental Composition Process for the Construction of Component-Based Management Systems |
| title_sort | incremental composition process for the construction of component based management systems |
| topic | critical system component based development (cbd) composition verification ex-man component model sensors composition incremental composition |
| url | https://www.mdpi.com/1424-8220/20/5/1351 |
| work_keys_str_mv | AT tauseefrana incrementalcompositionprocessfortheconstructionofcomponentbasedmanagementsystems AT yawarabbasbangash incrementalcompositionprocessfortheconstructionofcomponentbasedmanagementsystems AT abdullahbaz incrementalcompositionprocessfortheconstructionofcomponentbasedmanagementsystems AT toqirahmadrana incrementalcompositionprocessfortheconstructionofcomponentbasedmanagementsystems AT muhammadaliimran incrementalcompositionprocessfortheconstructionofcomponentbasedmanagementsystems |