A Machine Learning Approach to Detect Unexpected Behaviours in Scenario-Based Specifications
| dc.contributor.advisor | Far, Behrouz | |
| dc.contributor.author | Jahan, Munima | |
| dc.contributor.committeemember | Krishnamurthy, Diwakar | |
| dc.contributor.committeemember | Moshirpour, Mohammad | |
| dc.contributor.committeemember | Yanushkevich, Svetlana | |
| dc.contributor.committeemember | Roy, Chanchal Kumar | |
| dc.date | 2023-02 | |
| dc.date.accessioned | 2022-12-02T17:00:33Z | |
| dc.date.available | 2022-12-02T17:00:33Z | |
| dc.date.issued | 2022-11 | |
| dc.description.abstract | Scenario-based specification languages such as Message Sequence Charts (MSCs) and UML sequence Diagrams (SDs) are popular means for eliciting, documenting and validating software requirements. However, each scenario represents a partial story of a system and needs to be combined for a complete system behaviour. Combining scenarios may introduce unexpected and implied scenarios in the system. These unexpected behaviours, commonly known as Emergent Behaviours (EB) and Implied Scenarios (IS), are often not evident during the design phase but could lead to severely unexpected and irreparable damages during run-time. Identifying and fixing these unwanted flaws during the early design phase can significantly reduce deployment costs and runtime hazards. This dissertation proposes two novel approaches to detect unexpected behaviours in the early design model using Machine Learning (ML)-based approach and probabilities. Both approaches provide feedback on where the possible flaws exist, guiding developers toward potential solutions. These methods do not synthesize any automata-based behaviour model and can handle comparatively large scale scenario specifications without state space explosion. While scenario-based specifications are widely accepted in the industry and are well suited to developing initial approximations of intended behavior, natural language such as English, is still considered to be the preferred method of documenting requirement artifacts. To incorporate software requirements written in English within the automated verification process, two independent strategies are discussed. An automatic extraction of Use case Scenarios (UCS) from NL documents followed by generating behaviour models from Use case scenarios in terms of Sequence Diagrams (SD). Additionally, a systematic literature review on the area of handling EB/IS in scenario-based specification is presented to summarize the state-of-the-art of EB/IS detection approaches, as well as to highlight past and current trends, identify open issues, focus on improvement areas and to provide a future roadmap for study in this area. | en_US |
| dc.identifier.citation | Jahan, M. (2022). A machine learning approach to detect unexpected behaviours in scenario-based specifications (Doctoral thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. | en_US |
| dc.identifier.uri | http://hdl.handle.net/1880/115567 | |
| dc.identifier.uri | https://dx.doi.org/10.11575/PRISM/40513 | |
| dc.publisher.faculty | Arts | en_US |
| dc.publisher.institution | University of Calgary | en |
| dc.rights | University of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission. | en_US |
| dc.subject | Emergent Behaviour | en_US |
| dc.subject | Implied Scenarios | en_US |
| dc.subject | Scenario based specification | en_US |
| dc.subject | Machine Learning | en_US |
| dc.subject.classification | Artificial Intelligence | en_US |
| dc.subject.classification | Computer Science | en_US |
| dc.title | A Machine Learning Approach to Detect Unexpected Behaviours in Scenario-Based Specifications | en_US |
| dc.type | doctoral thesis | en_US |
| thesis.degree.discipline | Engineering – Electrical & Computer | en_US |
| thesis.degree.grantor | University of Calgary | en_US |
| thesis.degree.name | Doctor of Philosophy (PhD) | en_US |
| ucalgary.item.requestcopy | true | en_US |