Mohammed M. Awad

Work place: Faculty of Information Technology, University of Palestine, Al-Zahra City, Gaza Strip, Palestine



Research Interests: Software Construction, Software Development Process, Software Engineering


Mohammed M. Awad: is the dean of faculty of information technology at University of Palestine (UP). He is an assistant professor and has PhD in Software Engineering. He has 9 years industrial experience and 7 years academic experience in the IT field. He has many publications and awards worldwide.

Author Articles
Formalizing the Software Engineering Process Using a Graphical Software Process Modelling Formalism

By Hisham S. Khdair Mohammed M. Awad Zulaiha A. Othman

DOI:, Pub. Date: 8 Jun. 2017

Software process modelling has recently become an area of interest within both academia and industry. It aims at defining and formalizing the software process in the form of formal rigorous models. A software process modelling formalism presents the language or notation in which the software process is defined and formalized. Several software process modelling formalisms have been introduced lately, however, they have failed to gain the attention of the industry. One major objective of formalizing the software process that has ever been an issue of research, is to enhance the understanding and communication among software process users. To achieve this aim, a modelling formalism has to offer a common language to be well-understood by all software process users. BPMN presents a graphical-based widely accepted standard formalism, mainly aimed at business process modelling. This paper illustrates a software process modelling formalism based upon BPMN specifications for representing the software process, named as, SP2MN. The paper also demonstrates the applicability and evaluation of the proposed formalism by; utilizing the standard ISPW-6 benchmark problem, in addition to comparing the expressiveness of SP2MN with similar software process modelling formalisms. The evaluations prove that SP2MN contributes in enhancing software process formalization. SP2MN, accordingly, can be used as a standard software process modelling formalism.

[...] Read more.
Other Articles