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
_version_ 1783551897519521792
author van der Werf, Jan Martijn E. M.
Polyvyanyy, Artem
author_facet van der Werf, Jan Martijn E. M.
Polyvyanyy, Artem
author_sort van der Werf, Jan Martijn E. M.
collection PubMed
description 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.
format Online
Article
Text
id pubmed-7324230
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-73242302020-06-30 The Information Systems Modeling Suite: Modeling the Interplay Between Information and Processes van der Werf, Jan Martijn E. M. Polyvyanyy, Artem Application and Theory of Petri Nets and Concurrency Article 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. 2020-06-02 /pmc/articles/PMC7324230/ http://dx.doi.org/10.1007/978-3-030-51831-8_22 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
van der Werf, Jan Martijn E. M.
Polyvyanyy, Artem
The Information Systems Modeling Suite: Modeling the Interplay Between Information and Processes
title The Information Systems Modeling Suite: Modeling the Interplay Between Information and Processes
title_full The Information Systems Modeling Suite: Modeling the Interplay Between Information and Processes
title_fullStr The Information Systems Modeling Suite: Modeling the Interplay Between Information and Processes
title_full_unstemmed The Information Systems Modeling Suite: Modeling the Interplay Between Information and Processes
title_short The Information Systems Modeling Suite: Modeling the Interplay Between Information and Processes
title_sort information systems modeling suite: modeling the interplay between information and processes
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324230/
http://dx.doi.org/10.1007/978-3-030-51831-8_22
work_keys_str_mv AT vanderwerfjanmartijnem theinformationsystemsmodelingsuitemodelingtheinterplaybetweeninformationandprocesses
AT polyvyanyyartem theinformationsystemsmodelingsuitemodelingtheinterplaybetweeninformationandprocesses
AT vanderwerfjanmartijnem informationsystemsmodelingsuitemodelingtheinterplaybetweeninformationandprocesses
AT polyvyanyyartem informationsystemsmodelingsuitemodelingtheinterplaybetweeninformationandprocesses

Ejemplares similares