Download PDF

Education

Jan 2010Jan 2015

PhD

University of Leicester

My research in the PhD is focused on the problem of business processes compliance checking with standards for improvements and quality assurance. I used Model Checking, Maude, BPMN, LTL, and CMMI as the basic tools and techniques towards my contributions. My PhD was funded by the Egyptian government. My thesis is available online from here.

Jul 2012Jul 2012

Summer Graduate School

International School on Rewriting

I attended the ISR graduate school after a recommendation from my PhD supervisor. My PhD research is based on term rewriting logic and Maude programming language. These were the motivations to go for it and attend the beginners track. I was pleased to be taught by Prof. José Meseguer. and other experts in the field.

Mar 2010Apr 2010

Graduate School

Midlands Graduate School

MGS basically contains a collection of intensive courses in principal courses in computer Science, such as Functional Programming, Deontic Logic, Lambda Caculus. That was one of the preparation courses for my PhD which although I didn't use them directly in my own research, I used them to understand other work in the same area of research.

Sep 2005Aug 2009

MSc by research

Cairo Univesity

A research-based MSc. degree in Information Systems. I had to write a thesis in about 150 pages with the topic, A Method and Tool Support for Software Architecting Activities. I have published it later on as a book available to buy on Amazon with the same title.

Sep 2000May 2004

BSc

Zagazig University

I got my BSc from Information Systems department in the Computers and Information Faculty. It was a four year study based on courses and term exams. I was the first of a class of 137 undergraduates, and then I got the job as an assistant lecturer in my department. This was also the reason for me to get the PhD scholarship to the UK sponsored by the Egyptian government.

Work History

Jan 2005Mar 2015

Assistant Lecturer

University of Zagazig

I joined work in the department of Information Systems after graduation. It was  started by helping teaching in the labs and small group projects in a direct contact with the undergraduate students. This allows me to get an experience in dealing with different type of students and assigning each one the task which is more suitable to their skills and personality. I have been organizing the module contents with the lecturers, and make sure the students have done their best accomplishing their assignments and projects. Most of the projects are software development, which requires me to be quite professional in using the tools and the applications too.

Nov 2014Mar 2015

Leicester Award E-Moderator

University of Leicester

Monitoring students' online assignments. This is basically in the context of improving students soft and communication skills.

Sep 2013Apr 2014

Leicester Award Associate Tutor

University of Leicester

The Leicester Award for Employability is an experiential career development program designed to help students develop, assess, recognize and record the employability skills they are gaining through extra and co-curricular activities. My role was basically marking and giving feedback on student's assignments during the experience. 

Mar 2013May 2013

Science Teacher

Saudi School in Leicester

I was teaching science subjects, e.g. Chemistry, Physics, and Biology and Geology to Arab secondary school students. They study the same Arabic subjects and have to pass an exam to get the Arabic certificate, so they can go and join the school/university later on in their country.

I was responsible for 25 students in total, who I helped them understand the subjects and practice exam-like questions to be prepared for the final exams. I enjoyed every bit if it.

Read my blog post about teaching young people.

Feb 2010Apr 2010

Science Teacher

Saudi School in Leicester

I was teaching science subjects, e.g. Chemistry, Physics, and Biology to Arab secondary school students. They study the same Arabic subjects and have to pass an exam to get the Arabic certificate, so they can go and join the school/university later on in their country.

I was responsible for 25 students in total, who I helped them understand the subjects and practice exam-like questions to be prepared for the final exams. I enjoyed every bit if it.

Read my blog post about teaching young people.

Jun 2008Aug 2008

ICDL Instructor

Zagazig University

I was teaching people from different backgrounds (and ages) how to use the computers and get the International Computer Driving License (ICDL). The certificate requires the student to pass several exams in different MS Windows and Office usage.

Jun 2005Aug 2005

Instructor

University of Alexandria

I worked as an instructor  during the summer 2005 in the department of production engineering in the faculty of Engineering, University of Alexandria, Egypt. I taught undergraduates two courses as part of their summer training. The courses were lab-based, so I was presenting and explaining then helping the students with their applications. The courses are:- Introduction to Oracle9i: SQL. (Two Courses)- Project Management using Primavera. (Two Courses)

Publications

  • Nissreen El-Saber and Artur Boronat. 2014. BPMN Formalization and Verification using Maude. In Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications (BM-FA '14). ACM, New York, NY, USA, , Article 1 , 12 pages. DOI=10.1145/2630768.2630769 http://doi.acm.org/10.1145/2630768.2630769

Abstract: OMG's Business Process Model and Notation (BPMN) standard provides an informal specification of a technology independent modelling language for designing business processes. However, BPMN models may include structural issues that hinder their design. In this paper, we propose a formal characterization and semantics specification of well-formed BPMN processes in rewriting logic using Maude with a focus on data-based decision gateways and data objects semantics. Our formal specification adheres to the BPMN standards, verified with respect to the classical workflow soundness definition, and automatically verified using the verification toolkit that Maude includes.

Abstract: Software rearchitecting is the process of obtaining a documented architecture for an existing undocumented system. There are many software rearchitecting frameworks which are based upon different concepts and context-related issues for a specific application or programming language, such as Rigi, Ciao, SPOOL, and Symphony. These rearchitecting frameworks were compared and analyzed, in this work, using generic architecture characteristics. Based on this comparison, a new model for rearchitecting frameworks is proposed. As an implementation, a new framework was built according to the model standards. This is 'Software Rearchitecting Action Framework' (SRAF). Then an automated Java tool, Rearchitecting Tool Support (RTS), is designed to validate the framework. In this book we propose an discuss the SRAF and RTS which we argue it will assist the architect in deciding which kind of architectural style is the best to describe the system, and hence, to enhance it. Hence, they provide good methodology for obtaining a suitable level of documentation of the undocumented open source object-oriented software.

Abstract: Software rearchitecting is the process of obtaining a documented architecture for an existing system. There are many software rearchitecting frameworks which are based upon different concepts and context-related issues for a specific application or programming language, such as Rigi, Ciao, SPOOL, and Symphony, and Software Rearchitecting Action Framework (SRAF). Most of the frameworks focus on the reverse engineering process of source code. They neglect the role of stakeholders in enhancing and developing their systems. This paper presents a systematic analysis and comparative study for rearchitecting frameworks using generic architecture characteristics or elements. Based on the major requirements that should be available in the rearchitecting frameworks, the comparative study proceeds. An efficient model is proposed based on the trends that resulted from the comparative analysis. It considers the evaluation criteria of the compared frameworks. Conclusions and remarks are highlighted.

  • Galal Hassan Galal-Edeen, Mohamed Abbas Shouman, Nissreen A. El-Saber. Approaches to Software Re-architecting. In 37th International Conference on Computers and Industrial Engineering proceedings- Volume 1- (CIE37); 10/2007

Abstract: Reverse engineering of program code is the process of constructing a higher level of abstraction of an implementation in order to facilitate the understanding of a software system. Reverse architecting code has been advocated to identify the current software architecture of existing software; to assess its quality, and to determine improvement areas. There are several reverse engineering tools built upon several methodologies for analyzing object oriented source code. These approaches are addressed and evaluated to focus on their capabilities with the aim of applying selection approaches to JAVA source code. A framework for software rearchitecting and rearchitecting tool support is proposed. Recommendations and remarks have been highlighted.

Research Interests

  • Business Processes, BPMN
  • Maude Applications, Model Checking
  • Software Quality Assurance Models; CMMI, Configuration Management, Compliance
  • Software Architecture

Certifications

July 2016July 2016

Big Data Specialist with IBM BigInsights V2.1

IBM Middle East and Africa
Apr 2008Apr 2010

IELTS

The British Council, Egypt
Jun 2003Aug 2003

Summer Training Certificate

Institute of National Planning
Jun 2002Aug 2002

Summer Training

Agiba Petroleum Company

Skills

LaTeX
LaTeX is a document markup language and document preparation system for the TeX typesetting program. I wrote my PhD thesis and my recent papers and presentations using LaTex.
Eclipse
I started to used eclipse when I was supervising some group projects in Egypt and then in my Masters as the main platform for Java applications to retrieve an open source project architecture. Recently, I'm using its plug ins for Maude, BPMN editor, Java Swing Apps.
Linux Operating System
It is my favourite operating system and started to use in the beginning of my PhD and decided to have it on my own PC and laptop. Most of my PhD applications are based on Linux.
Oracle Forms
I worked on Oracle 9 forms in my undergraduate graduation project. The project was a resource scheduling and allocation software.
Microsoft Office
Maude
Maude is a logical language based on rewriting logic. I'm currently using Maude as a formalization language for business processes as part of my PhD project. read more at: Maude

Projects

El-Sharkia Governance Cleaning Fees Collection Information System Analysis and Design (March 2006)Analysis and Design of a network information system for El-Sharkia governance to help in gathering the fees of Cleaning inside Zagazig city. The project was under the supervision of the Faculty of Computers and Information – Zagazig University.Tools: Oracle 10g Database, Oracle Developer 9i

Heuristic Multiple Resources Scheduling Techniques for Project Management (March 2005)A Software tool that helps the decision makers get the best scheduling for their project and plan for the optimal usage of available resources according to project data. This tool can solve single and multiple project resources according to 55 complex heuristic rules.Tools: Visual Basic 6.0, MS Access 2003, Photoshop 6.0

Management Information System for Project Management Scheduling Techniques: Graduation Project (2004)

The project aiming at solving drawbacks exists in common software in Management market like Primavera and MS Project 2000. It is a project management software, under the supervision of: Prof. Mohamed A. Shouman – Head of OR department – (FCIS–ZU). Tools: Oracle9i, Developer 6i, SmartDraw, FrontPage, MS Project2000, Primavera, MS Office.

Graduation Projects Under My Supervision:* E-commerce online system for El-Sewedy Cables Company, 10th of Ramadan City Sector (2007)*Egyptian Software Engineers Association Website (2006)

MISC

  • “How to be an Effective Researcher” workshop, Student Development, University of Leicester, Leicester, UK. (5-6/5/2010)
  • YouThink “Dragon Den” Enterprise Training, Leicester University. (5-6/3/2010)
  • Supervisor for the (Ebda2/ Start) students' community in the Faculty of Computes and Information, Zagazig University (FCI-ZU). (2008-2009). "Ebda2" has given the best students' community in the faculty for that year.
  • Activated the IEEE Student Branch in Zagazig University. (Started in April 2009).
  • Supervisor of (Resala/Message) students' community in the Faculty of Computers and Information, Zagazig University (2007-2008). "Resala" has given the best students' community in the faculty for that year.
  • FCIS First Graduation Projects Competition Coordinator, Egyptian Software Engineers Association (ESEA), Job Fair 2007, City Stars, Cairo, Egypt (22nd and 30th July 2007)
  • Organizing Committee Member for Zagazig Affairs in the 37th International Conference on Computers and Industrial Engineering, Alexandria, (October 20-23, 2007).
  • Organizer in the First Java Developers Conference (JDC) for Java in the Middle East, Jan. 2007, City Stars, Cairo, Egypt. Sun MicrosystemsTM Jointly with ESEA and EGYJUG. (Jan. 2007)
  • Organizer in the First International Conference (Scientifically Fighting the Terrorism) 2005, held in Al-Ahram Journalism Corporation, jointly with Faculty of Computes and Information and Faculty of Law – Zagazig University. (Feb. 2005)
  • Founder and Board Member of Egyptian Software Engineers Association (ESEA), the first union for FCISs' graduates and students in Egypt. (Oct. 2004-present), http://www.esea- online.org/
  • Media Committee Leader in ESEA. (Oct. 2004 – May 2007)
  • Cultural Committee Leader – FCI - ZU (2003/2004).
  • Cultural Committee Leader Assistant – FCI - ZU (2002/2003).
  • Member in Faculty Students Union for the Cultural Committee – FCI - ZU (2000-2002).

Awards

Nominated for the University of Leicester Student Award ( Jan. - Mar. 2013).

I took part in one of the amazing extracurricular courses during my PhD study in the University of Leicester.  It was (Leicester Award for Online Networking and Employability Experience). After which I have been nominated for the Award and attended the ceremony in June 2013.

The Student of The Year Award (2002)

In the Faculty of Computers and Information (FCI-ZU), this award is given every year to one of the students who shows dedication in their study as well as the social activities during the term times. I'm proud of  this one!

Courses

I have taught the following undergraduate courses for students in FCI-ZU:

- Systems Analysis and Design (I and II).

- Introduction to Cloud Computing

- E-business Technologies and Strategies

- Multimedia Databases

and the following are postgraduate courses:

- Business Process Design and Implementation

- Technologies for B2B e-commerce 

- Decision Technologies for E-Business