Enrichment of Object Oriented Petri Net and Object Z Aiming at Business Process Optimization
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2015, Vol 6, Issue 7
Abstract
Software development process is on the basis of two important steps each of which has to be taken seriously, system requirement analysis and system modeling. There have been many different approaches in the literature that has their own strengths and weaknesses to tackle these two important steps, however, there is none comprehensive approach. Among them, formal methods by using their mathematical supporting background could achieve a precise, clear and in detail requirement analysis. However they were not able to illustrate graphically a system for stakeholders. On the other hand, semi-formal methods owning graphically representation of a system’s behavior make it easy for the stakeholders to perceive thoroughly. In this paper we represent an integration of object Z formal language and a graphically modeling tool hierarchical object oriented petri net. The application of business process was used to be modeled by this intergraded language.
Authors and Affiliations
Aliasghar Ahmadikatouli, Homayoon Motameni
Keywords
Related Articles
- EP ID EP95282
- DOI 10.14569/IJACSA.2015.060703
- Views 93
- Downloads 0
MAC Protocol with Regression based Dynamic Duty Cycle Feature for Mission Critical Applications in WSN
Wireless sensor networks demand energy efficient and application specific medium access control protocol when deployed in critical areas which are not frequently accessible. In such areas, the residual energy of nodes al...
Implementation of Central Dogma Based Cryptographic Algorithm in Data Warehouse Architecture for Performance Enhancement
Data warehouse is a set of integrated databases deliberated to expand decision-making and problem solving, espousing exceedingly condensed data. Data warehouse happens to be progressively more accepted theme for contempo...
Individual Readiness for Change in the Pre-Implementation Phase of Campus Enterprise Resource Planning (ERP) Project in Malaysian Public University
In recent years, the current globalization has revolutionized transformed the landscape and ecosystem of the institution of higher education were demanding that the university transition from legacy system to Enterprise...
Developing Disease Classification System based on Keyword Extraction and Supervised Learning
The Evidence-Based Medicine (EBM) is emerged as the helpful practice for medical practitioners to make decisions with available shreds of evidence along with their professional ex-pertise. In EBM, the medical practitione...
Performance Evaluation of SIFT and Convolutional Neural Network for Image Retrieval
Convolutional Neural Network (NN) has gained a lot of attention of the researchers due to its high accuracy in classification and feature learning. In this paper, we evaluated the performance of CNN used as feature for i...