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 104
- Downloads 0
Task Scheduling in Cloud Computing using Lion Optimization Algorithm
Cloud computing has spread fast because of its high performance distributed computing. It offers services and access to shared resources to internet users through service providers. Efficient performance of task scheduli...
Confidential Deterministic Quantum Communication Using Three Quantum States
A secure quantum deterministic communication protocol is described. The protocol is based on transmission of quantum states from unbiased bases and exploits no entanglement. It is composed form two main components: a qua...
Interaction Protocols in Multi-Agent Systems based on Agent Petri Nets Model
This paper deals with the modeling of interaction between agents in Multi Agents System (MAS) based on Agent Petri Nets (APN). Our models are created based on communicating agents. Indeed, an agent initiating a conversat...
Automatic Rotation Recovery Algorithm for Accurate Digital Image and Video Watermarks Extraction
Research in digital watermarking has evolved rapidly in the current decade. This evolution brought various different methods and algorithms for watermarking digital images and videos. Introduced methods in the field vari...
An Improved Scheme on Morphological Image Segmentation Using the Gradients
An improved scheme for contour detection with better performance measure has been proposed. It is based on the response of human visual system during visualization of any type of an image. The scheme consisted of two par...