BPMN Formalization and Verification using Maude

Faculty Computer Science Year: 2014
Type of Publication: ZU Hosted Pages:
Authors:
Nesreen Abdelghafar Soliman Elsaber
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

Department Related Publications

  • Abdelnaser Hessien Reyad Zaied , "A Technique for Cost Justified Software Usability Testing", Engineering Research Journal, Helwan University,, 2002 More
  • Abdelnaser Hessien Reyad Zaied , "Assessing e-Readiness in the Arab Countries: Perceptions Towards ICT Environment in Public Organizations in the State of Kuwait", Electronic Journal of e-Government, 2007 More
  • Abdelnaser Hessien Reyad Zaied , "Development of Driver Assistance Collision Avoidance Fuzzy System", Emirates Journal for Engineering Research, 2006 More
  • Amira Mohammed Fawzi AbedulFatah, "DATA MINING TECHNIQUES FOR DATABASE PREDICTION: STARTING POINT.", Journal of Theoretical and Applied Information Technology, 2018 More
  • Elshaymaa Adel Tantawi, "Applying Big Data Analytics to Retail for Improved Supply Chain Visibility", American Scientific Publishing Group (ASPG), New Orleans, USA, 2021 More
Tweet