Categorical Grammars for Processes Modeling

Crăciunean, Daniel-Cristian

doi:10.14569/ijacsa.2019.0100105

Cited by 8 publications

(13 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The major advantage of the sketches in modeling is that they can be defined by graphical notation for specifying visual modeling grammars. www.ijacsa.thesai.org Thus a sketch =( , , , ) consists of a graph and three collections of diagrams, namely which is a collection of commutative diagrams, which is a collection of cones and which is a collection of cocones [3,4,9,10].…”

Section: Theoretical Foundations and Notesmentioning

confidence: 99%

“…A model of a sketch =( , , , ) is the image of the graph through a functor M in the Set category that complies with all the conditions imposed by the collections , and , i.e. it selects for each diagram in D a commutative diagram in Set, for each cone from its limit and for each cocone from its colimit [3,4,9,10].…”

Section: Theoretical Foundations and Notesmentioning

confidence: 99%

“…Thus in [4], the sketch of the Medical Laser Manufacturing Systems (MLMS) metamodel specifies a model as a graph =(X,,,) with imposed restrictions. The imposed restrictions lead to the sketch MLMS [4], L 1 (MLMS)=( , , , ) where: is the graph from Fig. 1, is the set of commutative diagrams ={D 1 }, is the set of cones ={L 1 ,L 2 ,L 3 ,L 4 } and is the set of cocones ={K 1 ,K 2 ,K 3 }.…”

Section: The Simulation Categorymentioning

confidence: 99%

“…Thus, 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, which provide building blocks adapted to DES models, is used in practice [4]. This heterogeneity of the systems inevitably implies the use of heterogeneous processes that provide through specific facilities a greater capacity to describe behaviors and interactions between subsystems than homogeneous processes.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

A Categorical Model of Process Co-Simulation

Crăciunean¹,

Karagiannis²

2019

ijacsa

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: Theoretical Foundations and Notesmentioning

confidence: 99%

Section: Theoretical Foundations and Notesmentioning

confidence: 99%

Section: The Simulation Categorymentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

A Categorical Model of Process Co-Simulation

Crăciunean¹,

Karagiannis²

2019

ijacsa

Self Cite

View full text Add to dashboard Cite

show abstract

“…Manufacturing_Systems. We will build a modelling tool for manufacturing processes, for a factory, where several products are assembled from components simultaneously [5].…”

Section: Viii)mentioning

confidence: 99%

MM-DSL, support for implementing modelling tools for manufacturing processes

Crăciunean

Volovici

2019

MATEC Web Conf.

View full text Add to dashboard Cite

Today’s competitive conditions call for detailed comparative analyzes of manufacturing processes in order to get competitive products. This analysis involves the development of faithful and robust models for the supervision and management of all organizational and operational activities of companies. Efficient modelling involves the selection and use of appropriate tools for modelling, simulation and analysis of manufacturing processes. The diversity of manufacturing processes often makes it necessary to implement specific modelling tools. MM-DSL is a platform independent language for specifying and implementing specific modelling tools. The core objective of the MM-DSL language is the implementation of the modelling method concept. The paper presents the mechanisms underlying the MM-DSL language as well as its use for building the modelling tools specific to the manufacturing systems.

show abstract

Improving the Training Methods for Designers of Flexible Production Cells in Factories of the Future

Mironescu

Crăciunean

Florea

et al. 2020

Boosting Collaborative Networks 4.0

View full text Add to dashboard Cite

This work proposes a design method for flexible manufacturing systems (FMS). The method reduces the learning curve by helping employees to solve problems related to the design and optimization of the layout, operation and control of FMS, avoiding the drawbacks of current tools. The approach uses Domain Specific Modeling Languages (DSML) for specification of FMS. The paper presents the definition of the DSML and the implementation of the graphical modeling and simulation tool bringing important contributions to development of the domain through the use of constructions from categories theory for DSML specifications. This mathematical basis allows the definition of constraints to avoid supplementary costs and eventual damages through incorrect or incomplete specification of the solutions. By interconnecting with ADOxx of the DSML and tool developed, facilitates access to other analysis and simulation tools like Bee-up, Petri net, better exploration of the design space and extended support for the design activity.

show abstract

Categorical Grammars for Processes Modeling

Cited by 8 publications

References 7 publications

A Categorical Model of Process Co-Simulation

A Categorical Model of Process Co-Simulation

MM-DSL, support for implementing modelling tools for manufacturing processes

Improving the Training Methods for Designers of Flexible Production Cells in Factories of the Future

Contact Info

Product

Resources

About