Model-Based Detection of Emergent Behavior in Distributed Systems usingan ontology-based approach

Lack of central control makes the design of distributed software systems a challenging task because of possible

unwanted behavior at runtime, commonly known as emergent behavior. In fact many faults are introduced into

the system at this stage of the software development life cycle. Therefore discovering and removing design

validation of distributed software systems prior to the implementation phase is greatly desirable as it results in

huge savings in time and cost. Developing methodologies to detect emergent behavior prior to the

implementation stage of the system can lead to huge savings in time and cost. However manual review of

requirements and design documents for real-life systems is inefficient and error prone; thus automation of

analysis methodologies is considered greatly beneficial. This paper proposes the utilization of an ontologybased

approach to analyze system requirements expressed by a set of message sequence charts (MSC). This

methodology involves building a domain-specific ontology of the system, and examines the requirements based

on this ontology.

Faculty Supervisor:

Behrouz Far

Student:

Partner:

SoftAlive Inc

Discipline:

Engineering

Sector:

Information and cultural industries

University:

University of Calgary

Program:

Accelerate

Current openings

Find the perfect opportunity to put your academic skills and knowledge into practice!

Government

Mitacs Partners