BPMN Formalization and Verification using Maude

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

Department Related Publications

  • Khalid Aly Eldrandaly Mohamed Saeed Eldrandaly, "An Expert GIS-Based ANP-OWA Decision Making Framework for Tourism Development Site Selection", MECS Publisher, 2014 More
  • Khalid Aly Eldrandaly Mohamed Saeed Eldrandaly, "A Modified Artificial Bee Colony Algorithm for Solving Least-Cost Path Problem in Raster GIS", Natural Sciences Publishing Corporation., 2015 More
  • Mohamed Monier Hassan Mohamed Hassan, "A Modified Artificial Bee Colony Algorithm for Solving Least-Cost Path Problem in Raster GIS", Natural Sciences Publishing Corporation., 2015 More
  • Nabil Moustafa AbdelAziz, "A Modified Artificial Bee Colony Algorithm for Solving Least-Cost Path Problem in Raster GIS", Natural Sciences Publishing Corporation., 2015 More
  • Khalid Aly Eldrandaly Mohamed Saeed Eldrandaly, "A COM-based Spatial Decision Support System for Industrial Site Selection", GIDA, 2003 More
Tweet