Computational modeling and formal analysis techniques in interdisciplinary studies of complex systems

Computational methods offer new problem solving and analysis techniques that playa key role in advancing the boundaries of many research disciplines. Particularly for social systems, the precision and rigor offered by mathematical models facilitate establishing a clear understanding of the underlying complex system. Computational models also allow for dynamic testing and computer-assisted experiments that may be impossible to carry out in the real world.;The Computational Criminology project, called Mastermind, aims at developing computational models of criminal behavior to facilitate systematic experimental studies of a wide range of criminal activities in urban environments. The Mastermind model, developed in close collaboration with criminologists, focuses on spatial and temporal aspects of different forms of crime. Pushing beyond conventional empirical research, it provides a solid basis for engaging the use of computational thinking and social simulations in crime analysis research and practice.;The IMS project, called Identity Management Architecture, aims at consolidating diverse multidisciplinary views on identity management in a systematic fashion. We propose a firm semantic foundation that facilitates a rigorous study of IMS and provides improved accuracy in reasoning about their key properties.;Modeling something as complex and diverse as a social system is a highly iterative and potentially open-ended process, which calls for software development techniques that address its specific needs. We present an integrated methodological framework and tool environment for design, validation, and simulation of models of complex social systems. We illustrate consistency and applicability of the framework through novel applications in two different interdisciplinary contexts: Computational Criminology and Identity Management Systems (IMS).