Log In

The Information Systems Modeling Suite - Modeling the Interplay Between Information and Processes.

Files

The_Information_Systems_Modeling_Suite.pdf (1.4 MB)

Publication date

2020

Authors

van der Werf, J.M.E.M.ORCID 0000-0002-7264-381XISNI 0000000119806432
Polyvyanyy, Artem

Editors

Advisors

Supervisors

DOI

https://doi.org/10.1007/978-3-030-51831-8_22

Document Type

Part of book

Metadata

Show full item record

Collections

Utrecht University Repository
Open Access logo

License

taverne

Abstract

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.

Keywords

Information systems, Modeling, Simulating, Tools, Taverne

Citation

van der Werf, J M E M & Polyvyanyy, A 2020, The Information Systems Modeling Suite - Modeling the Interplay Between Information and Processes. in Application and Theory of Petri Nets and Concurrency. PETRI NETS 2020. Lecture Notes in Computer Science, vol. 12152, Springer, pp. 414-425. https://doi.org/10.1007/978-3-030-51831-8_22

URI

https://dspace.library.uu.nl/handle/1874/414662