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 109
- Downloads 0
Fault-Tolerant Resource Provisioning with Deadline-Driven Optimization in Hybrid Clouds
Resource provisioning remains as one of the chal-lenging research problems in cloud computing, more importantly when considered together with service reliability. Fault-tolerance techniques such as fault-recovery is one...
An Extension of the Bisection Theorem to Symmetrical Circuits with Cross-Coupling
This paper demonstrates that the bisection theorem can be applied to the differential and common-mode analysis of balanced symmetrical circuits with cross coupling. This class of circuits is often found in the literature...
Ultrafast Scalable Embedded DCT Image Coding for Tele-immersive Delay-Sensitive Collaboration
A delay-sensitive, real-time, tele-immersive collaboration for the future requires much lower end-to-end delay (EED) for good synchronization than that for existing teleconference systems. Hence, the maximum EED must be...
Social Network Link Prediction using Semantics Deep Learning
Currently, social networks have brought about an enormous number of users connecting to such systems over a couple of years, whereas the link mining is a key research track in this area. It has pulled the consideration o...
Resource Utilization in Cloud Computing as an Optimization Problem
In this paper, an algorithm for resource utilization problem in cloud computing based on greedy method is presented. A privately-owned cloud that provides services to a huge number of users is assumed. For a given resour...