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 110
- Downloads 0
Hierarchical Compressed Sensing for Cluster Based Wireless Sensor Networks
Data transmission consumes significant amount of energy in large scale wireless sensor networks (WSNs). In such an environment, reducing the in-network communication and distributing the load evenly over the network can...
Arabic Text Classification using Feature-Reduction Techniques for Detecting Violence on Social Media
With the current increase in the number of online users, there has been a concomitant increase in the amount of data shared online. Techniques for discovering knowledge from these data can provide us with valuable inform...
Investigate the use of Anchor-Text and of Query-Document Similarity Scores to Predict the Performance of Search Engine
Query difficulty prediction aims to estimate, in advance, whether the answers returned by search engines in response to a query are likely to be useful. This paper proposes new predictors based upon the similarity betwee...
An Improved Homomorphic Encryption for Secure Cloud Data Storage
Cloud computing is the budding paradigm nowadays in the world of computer. It provides a variety of services for the users through the Internet and is highly cost-efficient and flexible. Data storage in the cloud is show...
QoS Parameters Investigations and Load Intensity Analysis, (A Case for Reengineered DCN)
This paper presents the simulation results on Reengineered DCN model considering Quality of Service (QoS) parameters in a homogeneous network for enterprise web application support. To make it feasible for the comp...