Computing and Information Systems - Research Publications
Permanent URI for this collection
Search Results
1 - 1 of 1
-
ItemInformation Systems Modeling: Playing with the Interplay Between Data and Processes(Springer, 2020)Data and processes go hand-in-hand in information systems but are often mod- eled, validated, and veri_ed separately in the systems' design phases. Designers of information systems often proceed by ensuring that database tables satisfy normal forms, and process models capturing the dynamics of the intended infor- mation manipulations are deadlock and livelock free. However, such an approach is not su_cient, as perfect data and process designs assessed in isolation can, indeed, induce faults when combined in the end system. In this tutorial, we demonstrate our recent approach to modeling and veri- _cation of models of information systems in three parts. Firstly, we present our Information Systems Modeling Language (ISML) for describing information and process constraints and the interplay between these two types of constraints [1,2]. Secondly, we demonstrate Information Systems Modeling Suite (ISM Suite) [3], an integrated environment for developing, simulating, and analyzing models of information systems described in ISML, released under an open-source license 3. In this part, using our tools, we show several example pitfalls at the level of in- formation and process interplay. Finally, we discuss current and future research directions that aim at strengthening the theoretical foundations and practical aspects of our approach to the design of information systems.