Title: Formal Methods Approach to the Specification and Analysis of Service Oriented Architectures
Speaker: Abeer S. Al-Humaimeedy , PhD| Information Technology Department, CCIS, KSU.
Software architecture evolved from the monolithic paradigm to the Service-Oriented Computing (SOC) paradigm. IT systems in the SOC paradigm are based on service compositions. A service composition is an aggregate of loosely coupled autonomous heterogeneous services which are collectively composed to implement a particular task. Internet standards are the dominant modelling methods of SOC systems. However, they raise fundamental issues: standards lack formalism, and they fall short when being applied independently. The former issue has been solved and rigorous semantics have been developed for the di_erent standards. However, the latter issue has only partially been solved, by developing new formal modelling languages that are adopting the concepts rather than the notations of the internet standards. In principle, the main concepts that should be hosted in SOC modelling languages are: asynchronicity, mobility, multiparty sessioning, and transitionality. However, not all of these concepts are supported in the current developed modelling languages. This talk explores this problem and proposes a new formal modelling language for SOC systems which is adequately expressive to model the previous concepts. Additionally, the talk demonstrates an implementation for the new modelling language in a model checker to facilitate automated formal reasoning on systems properties like: good/bad Traces, deadlock-freedom, and livelock-freedom.
Dr. Abeer S. Al-Humaimeedy,
Assistant professor at the department of Information Technology at College of Computer Sciences and Information, King Saud University.
Visiting researcher at the Department of Informatics at King’s College London.
Date/Time: Tuesday, February 16, 2016 at 12:00pm
Location: Khadija Auditorium, F49 in Building 6 - Broadcast to Room 2090 in CCIS Building 31