Our mission

Our mission is to propose a novel idea of writing constraints specification for a UML model in English and then transforming the English specification to the OCL syntax. The automatic transformation of English specification to OCL syntax involves semantic analysis of English specification and its mapping with OCL constraints. As, the direct transformation of English specification to OCL constraints is difficult due to the informal syntax and inconsistent semantics of English. We aim  the use of the Semantics of Business Vocabulary and Rules (SBVR) to reduce complexity involved in the processing of natural languages as SBVR has already been used to represent Business designs.  We aim to use SBVR as an intermediate language for English to OCL transformation as SBVR is a formal representation of English and close to OCL syntax. A methodology is designed for the automatic transformation of English to SBVR and SBVR to OCL constraints that will be based on set of transformation rules. During English to SBVR transformation, the SBVR specification is also mapped with the given UML model to semantically verify the defined constraints before it is finally transformed to the OCL syntax. Our mission is not only to soften the process of creating OCL constraints but also enhance the adoptability of OCL by providing automatic mechanism of semantic verification with a UML model and semantic validation with the user input.

Who We Are ?

Following are the brief details of the members of the project.

• Dr. Mark G. Lee is senior lecturer in School  of  Computer Science,  University of Birmingham, UK.

• Dr. Behzad Bordbar is lecturer in School  of  Computer Science,  University of Birmingham, UK.

• Mr. Imran  Sarwar Bajwa is PhD student in School  of  Computer Science,  University of Birmingham, UK.