Conference Proceedings

Information Systems Modeling: Language, Verification, and Tool Support

Artem Polyvyanyy, Jan Martijn van der Werf, Sietse Overbeek, Rick Brouwers

International Conference on Advanced Information Systems Engineering | Springer | Published : 2019


Information and processes are both important aspects of information systems. Nevertheless, most existing languages for modeling information systems focus either on one or the other. Languages that focus on information modeling often neglect the fact that information is manipulated by processes, while languages that focus on processes abstract from the structure of the information. In this paper, we present an approach for modeling and verification of information systems that combines information models and process models using an automated theorem prover. In our approach, set theory and first-order logic are used to express the structure and constraints of information, while Petri nets of a sp..

View full abstract