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 111
- Downloads 0
Computer-based Approach to Detect Wrinkles and Suggest Facial Fillers
Modern medical practice has embraced facial filler injections as part of the innumerable cosmetic procedures that characterize the current age of medicine. This study proposed a novel methodological framework. The Incept...
Design of Embedded Vision System based on FPGA-SoC
The advanced micro-electronics in the last decades provide each year new tools and devices making it possible to design more and more efficient artificial vision systems capable of meeting the constraints imposed. All th...
Simulation of Spectral Subtraction Based Noise Reduction Method
Noise reduction is a very meaningful but difficult task and it has been a subject of intense research in recent years. This paper introduces two popular noise reduction techniques and presents our simulation result of a...
Overview of Service and Deployment Models Offered by Cloud Computing, based on International Standard ISO/IEC 17788
Cloud Computing offers services over the Internet to support business processes, based on deployment models and service, meet business requirements in an efficient and cost-effective. A general context of the types of se...
Impact of Elliptical Holes Filled with Ethanol on Confinement Loss and Dispersion in Photonic Crystal Fibers
To get a confinement loss value, the weakest possible We have interest to optimize an optical fiber our structure has a cladding which is formed by holes in silica. The geometry of the holes is special because they have...