Categorical Grammars for Processes Modeling
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2019, Vol 10, Issue 1
Abstract
The diversity and heterogeneity of real-world systems makes it impossible to naturally model them only with existing modeling languages. For this reason, models are often constructed using domain specific modeling languages as metamodels, which must themselves be specified by meta-metamodels. In this paper we present a new approach, based on the category theory, to specify metamodels. A grammar for modeling processes (PN, CSP, EPC, etc.) syntactically defines processes and then presents a set of reaction rules that model the behavior of the system. We will see that the categorical sketch is sufficiently expressive to be able to support the constructions needed to visually define the syntax of a graphical modeling language. The category theory also provides appropriate structures to model the behavioral rules of a real system.
Authors and Affiliations
Daniel-Cristian Crăciunean
Keywords
Related Articles
- EP ID EP448667
- DOI 10.14569/IJACSA.2019.0100105
- Views 89
- Downloads 0
A Blockchain-based Value Added Tax (VAT) System: Saudi Arabia as a Use-Case
Businesses need trust to confidently perform trade among each other. Centralized business models are the only mature solutions available to perform trades over the Internet. However, they have many problems which include...
Detection of Chronic Kidney Disease using Machine Learning Algorithms with Least Number of Predictors
Chronic kidney disease (CKD) is one of the most critical health problems due to its increasing prevalence. In this paper, we aim to test the ability of machine learning algorithms for the prediction of chronic kidney dis...
Development of a Novel Approach to Search Resources in IoT
Internet of Things (IoT) referred to interconnected the world of things like physical devices, cars, sensors, home appliances, actuators and machines embedded with software at any time, any location. The increasing numbe...
Dynamic Data Aggregation Approach for Sensor-Based Big Data
Sensors are being used in thousands of applications such as agriculture, health monitoring, air and water pollution monitoring, traffic monitoring and control. As these applications collect zettabytes of data everyday se...
Speech Impairments in Intellectual Disability: An Acoustic Study
Speech is the primary means of human communication. Speech production starts in early ages and matures as children grow. People with intellectual or learning disabilities have deficit in speech production and faces diffi...