The Information Systems Modeling Suite
- 30 June 2020
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
- Vol. 12152, 414-425
- https://doi.org/10.1007/978-3-030-51831-8_22
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
This publication has 8 references indexed in Scilit:
- Information Systems Modeling: Language, Verification, and Tool SupportPublished by Springer Science and Business Media LLC ,2019
- An Assignment on Information System ModelingLecture Notes in Business Information Processing, 2019
- DB-Nets: On the Marriage of Colored Petri Nets and Relational DatabasesLecture Notes in Computer Science, 2017
- The TPTP Problem Library and Associated InfrastructureJournal of Automated Reasoning, 2017
- Add Data into Business Process Verification: Bridging the Gap between Theory and PracticeProceedings of the AAAI Conference on Artificial Intelligence, 2017
- Fundamentals of Business Process ManagementPublished by Springer Science and Business Media LLC ,2013
- Decidability and complexity of Petri nets with unordered dataTheoretical Computer Science, 2011
- Generation of Database Transactions with Petri NetsFundamenta Informaticae, 2009