IEICE TRANSACTIONS on Information
Constraint-Based Software Specifications and Verification Using UML
Summary :
Constraint-based software specifications enable run-time monitoring to detect probable risk events and ensure the desired system behavior. SpecTRM-RL is a well-developed constraint-based specification method for computer-controlled systems. However, it is desirable to express constraints in familiar visual models. To provide better visualization and popularity, we developed methods to represent all the SpecTRM-RL constraint types in UML. We have also extended SpecTRM's constraints by adding relational and global constraints, and then expressed them in OCL. Safety verification of these specifications is also proposed. We developed a systematic way to construct fault trees for safety analysis based on UML diagrams. Due to the generality of UML as well as the defensive manner of constraints and fault tree analysis, our approach can be adapted for both general applications and safety-critical applications.
- Publication
- IEICE TRANSACTIONS on Information Vol.E89-D No.6 pp.1914-1922
- Publication Date
- 2006/06/01
- Publicized
- Online ISSN
- 1745-1361
- DOI
- 10.1093/ietisy/e89-d.6.1914
- Type of Manuscript
- PAPER
- Category
- Software Engineering
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Chin-Feng FAN, Chun-Yin CHENG, "Constraint-Based Software Specifications and Verification Using UML" in IEICE TRANSACTIONS on Information,
vol. E89-D, no. 6, pp. 1914-1922, June 2006, doi: 10.1093/ietisy/e89-d.6.1914.
Abstract: Constraint-based software specifications enable run-time monitoring to detect probable risk events and ensure the desired system behavior. SpecTRM-RL is a well-developed constraint-based specification method for computer-controlled systems. However, it is desirable to express constraints in familiar visual models. To provide better visualization and popularity, we developed methods to represent all the SpecTRM-RL constraint types in UML. We have also extended SpecTRM's constraints by adding relational and global constraints, and then expressed them in OCL. Safety verification of these specifications is also proposed. We developed a systematic way to construct fault trees for safety analysis based on UML diagrams. Due to the generality of UML as well as the defensive manner of constraints and fault tree analysis, our approach can be adapted for both general applications and safety-critical applications.
URL: https://global.ieice.org/en_transactions/information/10.1093/ietisy/e89-d.6.1914/_p
Copy
@ARTICLE{e89-d_6_1914,
author={Chin-Feng FAN, Chun-Yin CHENG, },
journal={IEICE TRANSACTIONS on Information},
title={Constraint-Based Software Specifications and Verification Using UML},
year={2006},
volume={E89-D},
number={6},
pages={1914-1922},
abstract={Constraint-based software specifications enable run-time monitoring to detect probable risk events and ensure the desired system behavior. SpecTRM-RL is a well-developed constraint-based specification method for computer-controlled systems. However, it is desirable to express constraints in familiar visual models. To provide better visualization and popularity, we developed methods to represent all the SpecTRM-RL constraint types in UML. We have also extended SpecTRM's constraints by adding relational and global constraints, and then expressed them in OCL. Safety verification of these specifications is also proposed. We developed a systematic way to construct fault trees for safety analysis based on UML diagrams. Due to the generality of UML as well as the defensive manner of constraints and fault tree analysis, our approach can be adapted for both general applications and safety-critical applications.},
keywords={},
doi={10.1093/ietisy/e89-d.6.1914},
ISSN={1745-1361},
month={June},}
Copy
TY - JOUR
TI - Constraint-Based Software Specifications and Verification Using UML
T2 - IEICE TRANSACTIONS on Information
SP - 1914
EP - 1922
AU - Chin-Feng FAN
AU - Chun-Yin CHENG
PY - 2006
DO - 10.1093/ietisy/e89-d.6.1914
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E89-D
IS - 6
JA - IEICE TRANSACTIONS on Information
Y1 - June 2006
AB - Constraint-based software specifications enable run-time monitoring to detect probable risk events and ensure the desired system behavior. SpecTRM-RL is a well-developed constraint-based specification method for computer-controlled systems. However, it is desirable to express constraints in familiar visual models. To provide better visualization and popularity, we developed methods to represent all the SpecTRM-RL constraint types in UML. We have also extended SpecTRM's constraints by adding relational and global constraints, and then expressed them in OCL. Safety verification of these specifications is also proposed. We developed a systematic way to construct fault trees for safety analysis based on UML diagrams. Due to the generality of UML as well as the defensive manner of constraints and fault tree analysis, our approach can be adapted for both general applications and safety-critical applications.
ER -
English
