loading
Papers

Research.Publish.Connect.

Paper

Author: Daniel-Cristian Crăciunean

Affiliation: Computer Science and Electrical Engineering Department, Lucian Blaga University of Sibiu, Bulevardul Victoriei 10, 550024 Sibiu and Romania

ISBN: 978-989-758-358-2

Keyword(s): Modeling Method, Metamodel, Category Theory, Functors, Natural Transformation, Limit, Colimit, Categorical Modeling Method.

Abstract: Modeling increases the importance of processes significantly, but also imposes higher requirements for the accuracy of process specifications, since an error in the design of a process may only be discovered after it already produces large cumulative losses. We believe that modeling tools can help build better models in a shorter time. This inevitably results in the need to build formal models that can be theoretically verified. A category as well as a model is a mixture of graphical information and algebraic operations. Therefore, category language seems to be the most general to describe the models. The category theory offers an integrated vision of the concepts of a model, and also provides mechanisms to combine models, mechanisms to migrate between models, and mechanisms to build bridges between models. So, category theory simplifies how we think and use models. In this paper we will use the language offered by the category theory to formalize the concept of Modeling Method with t he demonstration of the Categorical Modeling Method concept for the Petri Net grammar. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.207.134.98

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Crăciunean, D. (2019). Categorical Modeling Method, Proof of Concept for the Petri Net Language.In Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-358-2, pages 283-291. DOI: 10.5220/0007360602830291

@conference{modelsward19,
author={Daniel{-}Cristian Crăciunean.},
title={Categorical Modeling Method, Proof of Concept for the Petri Net Language},
booktitle={Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2019},
pages={283-291},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007360602830291},
isbn={978-989-758-358-2},
}

TY - CONF

JO - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Categorical Modeling Method, Proof of Concept for the Petri Net Language
SN - 978-989-758-358-2
AU - Crăciunean, D.
PY - 2019
SP - 283
EP - 291
DO - 10.5220/0007360602830291

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.