Related projects
Discover more projects across a range of sectors and discipline — from AI to cleantech to social innovation.
Mitacs brings innovation to more people in more places across Canada and around the world.
Learn MoreWe work closely with businesses, researchers, and governments to create new pathways to innovation.
Learn MoreNo matter the size of your budget or scope of your research, Mitacs can help you turn ideas into impact.
Learn MoreThe Mitacs Entrepreneur Awards and the Mitacs Awards celebrate inspiring entrepreneurs and innovators who are galvanizing cutting-edge research across Canada.
Learn MoreDiscover the people, the ideas, the projects, and the partnerships that are making news, and creating meaningful impact across the Canadian innovation ecosystem.
Learn MoreThe lack of central control in distributed systems makes the analysis and design of such systems a challenging task. 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. An effective and efficient approach to describing the requirements of distributed systems is by using scenarios. Scenarios are commonly represented using message sequence charts or sequence diagrams. Although scenario-based specifications provide a powerful medium to present information, they are also prone to subtle deficiencies such as incompleteness and potential contradictions among scenarios. Moreover for the development of larger distributed systems, it is often desirable to ensure certain scenarios do not emerge in the system's behaviour. This research proposes systematic and automated methodologies to ensure the lack of emergent behaviour in distributed systems using scenario-based specification.
Dr. Behrouz H. Far
Mohammad Moshirpour
SoftAlive Inc.
Engineering - computer / electrical
Information and communications technologies
University of Calgary
Accelerate
Discover more projects across a range of sectors and discipline — from AI to cleantech to social innovation.
Find the perfect opportunity to put your academic skills and knowledge into practice!
Find ProjectsThe strong support from governments across Canada, international partners, universities, colleges, companies, and community organizations has enabled Mitacs to focus on the core idea that talent and partnerships power innovation — and innovation creates a better future.