Zulaiha A. Othman

Work place: Faculty of Technology and Information Science, Center of Artificial Intelligence, Universiti Kebangsaan Malaysia, 43600 Bangi, Selangor, Malaysia

E-mail: zao@ftsm.ukm.my


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


Zulaiha A. Othman: is an Associate Professor at UKM University, Malaysia. She was awarded a PhD in Software Engineering at Sheffield Hallam University, England - 2004. Associate Prof. Dr.Zulaiha is a member of several computer science committees. She has written more than 100 conference and journal papers which have been published around the world and she has several research awards.

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: https://doi.org/10.5815/ijitcs.2017.06.03, 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