Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
On the Design and Development of Program Families
IEEE Transactions on Software Engineering
A flexible requirements analysis approach for software product lines
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
Model-Driven assessment of use cases for dependable systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Exception-Aware requirements elicitation with use cases
Advanced Topics in Exception Handling Techniques
The fault-tolerant insulin pump therapy
Rigorous Development of Complex Fault-Tolerant Systems
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
| Hi-index | 0.00 |
Current requirements analysis methods focus on the functional properties of fault free systems. It is known that, regardless of the type of software system, many faults are made during engineering and that these faults may conduct system errors and then system failures. We believe that faulty engineering activities, as well as correct activities, should be given precedence during software development. In this paper we present CORA, which is the analysis phase for the CORRECT methodology. CORA introduces semi-formal models based on UML and OCL that allow for the specification of normal system behaviors, as well as abnormal behaviors, together with their associated recovery strategy. CORA proposes to specify fault-tolerant systems using a domain model as a custom UML class diagram and an activity model as a custom UML activity diagram. The deviation and recovery strategies are expressed explicitly in a specific section of the CORA Activity Diagram. This paper introduces CORA conceptually and it explicitly defines the syntax and semantics of the proposed analysis models. We also use a running example to illustrate our approach.