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 101
- Downloads 0
Fixation Detection with Ray-casting in Immersive Virtual Reality
This paper demonstrates the application of a proposed eye fixation detection algorithm to eye movement recorded during eye gaze input within immersive Virtual Reality and compares it with the standard frame-by-frame anal...
Cross-Layer-Based Adaptive Traffic Control Protocol for Bluetooth Wireless Networks
Bluetooth technology is particularly designed for a wireless personal area network that is low cost and less energy consuming. Efficient transmission between different Bluetooth nodes depends on network formation. An ine...
Wi-Fi Redux: Never Trust Untrusted Networks
This study analyzes the dangers posed to computer user information and their equipment as they connect to untrusted networks, such as those found in coffee shops. Included in this study is a virtualized lab consisting of...
Hierarchical Classifiers for Multi-Way Sentiment Analysis of Arabic Reviews
Sentiment Analysis (SA) is one of hottest fields in data mining (DM) and natural language processing (NLP). The goal of SA is to extract the sentiment conveyed in a certain text based on its content. While most current w...
Indirect Substitution Method in Combinable Services by Eliminating Incompatible Services
Service-oriented architecture is a style in information systems architecture with the aim of achieving loose coupling in communication between software components and services. Service, here means software implementation...