The Information Systems Modeling Suite: Modeling the Interplay Between Information and Processes

According to our recent proposal, an information system is a combination of a process model captured as a Petri Net with Identifiers, an information model specified in the first-order logic over finite sets with equality, and a specification of how the transitions in the net manipulate information f...

Descripción completa

Detalles Bibliográficos
Autores principales: van der Werf, Jan Martijn E. M., Polyvyanyy, Artem
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324230/
http://dx.doi.org/10.1007/978-3-030-51831-8_22
Descripción
Sumario:According to our recent proposal, an information system is a combination of a process model captured as a Petri Net with Identifiers, an information model specified in the first-order logic over finite sets with equality, and a specification of how the transitions in the net manipulate information facts. The Information Systems Modeling (ISM) Suite is an integrated environment for developing, simulating, and analyzing models of information systems, released under an open-source license. This paper presents the basic features of the ISM Suite.

Ejemplares similares