Papers by Mona Vajihollahi
In this paper, we present a novel approach to computational modeling of so- cial systems. By comb... more In this paper, we present a novel approach to computational modeling of so- cial systems. By combining the abstract state machine (ASM) formalism with the multi-agent modeling paradigm, we obtain a formal semantic framework for mod- eling and integration of established theories of crime analysis and prediction. We focus here on spatial and temporal aspects of crime in urban areas.
Web Services: Modeling, Architecture and Infrastructure, 2005
We define an abstract operational semantics for the Business Process Execution Language for Web S... more We define an abstract operational semantics for the Business Process Execution Language for Web Services (BPEL) based on the ab- stract state machine (ASM) formalism. This way, we model the dynamic properties of the key language constructs through the construction of a BPEL abstract machine in terms of a distributed real-time ASM. Specif- ically, we focus here on the process
Systems, Man and …
In this paper, we present a novel approach to computational modeling of social systems. By combin... more In this paper, we present a novel approach to computational modeling of social systems. By combining the abstract state machine (ASM) formalism with the multi-agent modeling paradigm, we obtain a formal semantic framework for modeling and integration of established theories of crime analysis and prediction. We focus here on spatial and temporal aspects of crime in urban areas. Our work contributes to a new multidisciplinary research effort broadly classified as Computational Criminology.
Studies in Computational Intelligence, 2008
... 18 Modeling and Validation of Aviation Security Uwe Glässer, Sarah Rastkar, and Mona Vajiholl... more ... 18 Modeling and Validation of Aviation Security Uwe Glässer, Sarah Rastkar, and Mona Vajihollahi ... The fifth estate, Fasten Your Seatbelts. First aired Nov 9, 2005 on CBC-TV (2006) Last visited November 2006, http://www.cbc.ca/fifth/fastenseatbelts/index.html Page 17. ...
Lecture Notes in Computer Science, 2006
A prototype chemical sensor named Wasp houndV R that utilizes five classically conditioned parasi... more A prototype chemical sensor named Wasp houndV R that utilizes five classically conditioned parasitoid wasps, Microplitis croceipes (Cresson) (Hymenoptera: Braconidae), to detect volatile odors was successfully implemented in a previous study. To improve the odor-detecting ability of Wasp HoundV R , searching behaviors of an individual wasp in a confined area are studied and modeled through stochastic differential equations in this paper. The wasps are conditioned to 20 mg of coffee when associated with food and subsequently, tested to 5, 10, 20, and 40 mg of coffee. A stochastic model is developed and validated based on three positive behavioral responses (walking, rotation around odor source, and self-rotation) from conditioned wasps at four different test dosages. The model is capable to reproducing the behaviors of conditioned wasps, and can be used to improve the ability of Wasp HoundV R to assess changes in odor concentration. The model simulation results show the behaviors of conditioned wasps are significantly different when tested at different coffee dosages. We conjecture that the searching behaviors of conditioned wasps are based on the temporal and spatial neuron activity of olfactory receptor neurons and glomeruli, which are strongly correlated to the training dosages. The overall results demonstrate the utility of mathematical models for interpreting experimental observations, gaining novel insights into the dynamic behavior of classically conditioned wasps, as well as broadening the practical uses of Wasp Hound.
Lecture Notes in Computer Science, 2004
We formally define an abstract executable semantics for the Business Process Execution Language f... more We formally define an abstract executable semantics for the Business Process Execution Language for Web Services in terms of a distributed ASM. The goal of this work is to support the design and standardization of the language. "There is a need for formalism. It will allow us to not only reason about the current specification and related issues, but also uncover issues that would otherwise go unnoticed. Empirical deduction is not sufficient." -Issue #42, OASIS WSBPEL TC. The language definition assumes an infrastructure for running Web services on some asynchronous communication architecture. A business process is built on top of a collection of Web services performing continuous interactions with the outside world by sending and receiving messages over a communication network. The underlying execution model is characterized by its concurrent and reactive behavior making it particularly difficult to predict dynamic system properties with a sufficient degree of detail and precision under all circumstances.
Communications in Computer and Information Science, 2009
ABSTRACT System design is a creative activity calling for abstract models that facilitate reasoni... more ABSTRACT System design is a creative activity calling for abstract models that facilitate reasoning about the key system attributes (desired requirements and resulting properties) so as to ensure these attributes are properly established prior to actually building a system. We explore here the practical side of using the abstract state machine (ASM) formalism in combination with the CoreASM open source tool environment for high-level design and experimental validation of complex distributed systems. Emphasizing the early phases of the design process, a guiding principle is to support freedom of experimentation by minimizing the need for encoding. CoreASM has been developed and tested building on a broad scope of applications, spanning computational criminology, maritime surveillance and situation analysis. We critically reexamine here the CoreASM project in light of three different application scenarios.
Mathematical Methods in Counterterrorism, 2009
Computational and mathematical methods arguably have an enormous potential for serving practical ... more Computational and mathematical methods arguably have an enormous potential for serving practical needs in crime analysis and prevention by offering novel tools for crime investigations and experimental platforms for evidence-based policy making. We present a comprehensive formal framework and tool support for mathematical and computational modeling of criminal behavior to facilitate systematic experimental studies of a wide range of criminal activities in urban environments. The focus is on spatial and temporal aspects of different forms of crime, including opportunistic and serial violent crimes. However, the proposed framework also provides a basis to push beyond conventional empirical research and engage the use of computational thinking and social simulations in the analysis of terrorism and counter-terrorism.
2010 IEEE International Conference on Intelligence and Security Informatics, 2010
Computational criminology is an area of research that joins advanced theories in criminology with... more Computational criminology is an area of research that joins advanced theories in criminology with theories and methods in mathematics, computing science, geography and behavioural psychology. It is a multidisciplinary approach that takes the strengths of several disciplines and, with semantic challenges, builds new methods for the analysis of crime and crime patterns. This paper presents a developing algorithm for linking
International Journal of Business Process Integration and Management, 2006
We define an abstract operational model of the Business Process Execution Language for Web Servic... more We define an abstract operational model of the Business Process Execution Language for Web Service (BPEL4WS) based on the Abstract State Machine (ASM) formalism. That is, we abstractly model dynamic properties of the key language constructs through the construction of a Business Process Execution Language (BPEL) abstract machine. Specifically, we present the process execution model and the underlying execution lifecycle of BPEL activities. The goal of our work is to provide a precise and well defined semantic framework for establishing the key language attributes. To this end, the BPEL abstract machine forms a comprehensive and robust formalisation closely reflecting the view of the informal language definition.
... 1-59904-591-5 EISBN13: 978-1-59904-593-1. Author(s): PL Brantingham (Simon Fraser University,... more ... 1-59904-591-5 EISBN13: 978-1-59904-593-1. Author(s): PL Brantingham (Simon Fraser University, Canada); U. Glasser (Simon Fraser University, Canada); P. Jackson (Simon Fraser University, Canada); B. Kinney (Simon Fraser University, Canada); M. Vajihollahi (Simon ...
By combining the abstract state machine (ASM) formalism with the multi-agent modeling paradigm, w... more By combining the abstract state machine (ASM) formalism with the multi-agent modeling paradigm, we obtain a formal framework for semantic modeling and integration of established theories of crime analysis and prediction. We focus here on spatial and temporal aspects of crime in urban areas. Our work contributes to a novel interdisciplinary research effort broadly classified as Computational Criminology.
Uploads
Papers by Mona Vajihollahi