Conference Proceedings

Information Systems Modeling: Language, Verification, and Tool Support

A Polyvyanyy, JMEM van der Werf, S Overbeek, R Brouwers, Paolo Giorgini, Barbara Weber

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | SpringerLink | Published : 2019

Abstract

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 ..

View full abstract