A Categorical Model of Process Co-Simulation
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2019, Vol 10, Issue 3
Abstract
A set of dynamic systems in which some entities undergo transformations, or receive certain services in successive phases, can be modeled by processes. The specification of a process consists of a description of the properties of this process as a mathematical object in a suitable modeling language. The language chosen for specifying a process should facilitate the writing of this specification in a very clear and simple form. This raises the need for the use of various types of formalisms that are faithful to the component subsystems of such a system and which are capable of mimicking their varied dynamics. Often in practice, the development of domain specific languages is used to provide building blocks adapted to the processes. Thus, the concept of multi-paradigm modeling arises which involves the combination of different types of models, the decomposition and composition of heterogeneous specified models as well as their simulation. Multi-paradigm modeling presents a variety of challenges such as coupling and transforming the models described in various formalisms, the relationship between models at different levels of abstraction, and the creation of metamodels to facilitate the rapid development of varied formalisms for model specification. The simulation can be seen as a set of state variables that evolve over time. Co-simulation is a synthesis of all simulations of the components of the system, coordinated and synchronized based on interactions between them. The theory of categories provides a framework for organizing and structuring formal systems in which heterogeneous information can be transferred, thus allowing for the building of rigorous cohesion bridges between heterogeneous components. This paper proposes a new model of co-simulation of processes based on the category theory.
Authors and Affiliations
Daniel-Cristian Crăciunean, Dimitris Karagiannis
Keywords
Related Articles
- EP ID EP499571
- DOI 10.14569/IJACSA.2019.0100355
- Views 117
- Downloads 0
Design and Development of AlgoWBIs
AlgoWBIs has been developed to support algorithm learning. The goal to develop this tool is to empower educators and learners with an interactive learning tool to improving algorithm’s skills. The paper focuses on how to...
Improving Usable-Security of Web based Healthcare Management System through Fuzzy AHP
Security is an important concern in web application development that is getting massive consideration from academic and IT industry. In addition, due to big share in web based healthcare management system, usable-securit...
Characterizations of Flexible Wearable Antenna based on Rubber Substrate
Modern ages have observed excessive attention from both scientific and academic communities in the field of flexible electronic based systems. Most progressive flexible electronic systems require incorporating the flexib...
Diagnosis of Parkinson’s Disease based on Wavelet Transform and Mel Frequency Cepstral Coefficients
The aim of this study presented in this paper is to determine the choice of the appropriate wavelet analyzer with the method of extraction of MFCC coefficients for an assistance in the diagnosis of Parkinson's disease. T...
Text Clustering using Ensemble Clustering Technique
Clustering is being used in different fields of research, including data mining, taxonomy, document retrieval, image segmentation, pattern classification. Text clustering is a technique through which text/ documents are...