BPMN Formalization and Verification using Maude

Faculty	Computer Science	Year:	2014
Type of Publication:	ZU Hosted	Pages:
Authors:	Nesreen Abdelghafar Soliman Elsaber Staff Zu Site Abstract In Staff Site
Journal:	Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications ACM, New York, NY, USA	Volume:

Keywords :	BPMN Formalization , Verification using Maude
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 the

Author Related Publications

Nesreen Abdelghafar Soliman Elsaber, "A Model for Rearchitecting Frameworks", International Journal of Software Engineering (IJSE), 2009 More
Nesreen Abdelghafar Soliman Elsaber, "Approaches to Software Re-architecting", The 37th International Conference on Computers and Industrial Engineering proceedings, 2007 More
Nesreen Abdelghafar Soliman Elsaber, "CMMI-CM Compliance Checking of Formal BPMN Models using Maude", University of Leicester, 2015 More
Nesreen Abdelghafar Soliman Elsaber, "A Security-by-Design Decision-Making Model for Risk Management in Autonomous Vehicles", IEEE, 2021 More
Nesreen Abdelghafar Soliman Elsaber, "A Comprehensive Framework for Evaluating Sustainable Green Building Indicators under an Uncertain Environment", Multidisciplinary Digital Publishing Institute, 2021 More

Nesreen Abdelghafar Soliman Elsaber, "Approaches to Software Re-architecting", The 37th International Conference on Computers and Industrial Engineering proceedings, 2007 More
Abdelnaser Hessien Reyad Zaied , "An Integrated Knowledge Management Capabilities Framework for Assessing Organizational Performance", International Journal of Information Technology and Computer Science, 2012 More
Nabil Moustafa AbdelAziz, "Application of GIS and IOT Technology-Based MCDM for Disaster Risk Management: Methods and Case Study", Scientific oasis, 2023 More
Nabil Moustafa AbdelAziz, "Mitigating Landslide Hazards in Qena Governorate of Egypt: A GIS-based Neutrosophic PAPRIKA Approach", NSWA, 2023 More
Nabil Moustafa AbdelAziz, "Integrated Neutrosophic Best-Worst Method for Comprehensive Analysis and Ranking of Flood Risks: A Case Study Approach from Aswan, Egypt", nswa, 2023 More