72,218 Hits in 5.2 sec

Formal Specification and Prototyping of Multi-agent Systems [chapter]

Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-Pierre Müller
2000 Lecture Notes in Computer Science  
The framework we use to give a formal description of this model is based on a multi-formalism approach. We illustrate this approach through a case study.  ...  This model allows for a simple description of both individual and collective multi-agent system aspects.  ...  Framework For specifying MAS described with the role/organization meta-model we build a framework based upon Object-Z and statecharts.  ... 
doi:10.1007/3-540-44539-0_9 fatcat:kfehpx5mzjarniwtdzwdv2hcpa

Agent-based simulation of affordance-based human behaviors in emergency evacuation

Jaekoo Joo, Namhun Kim, Richard A. Wysk, Ling Rothrock, Young-Jun Son, Yeong-gwang Oh, Seungho Lee
2013 Simulation modelling practice and theory  
Following the generic framework, formal simulation models of affordance-based human behaviors are developed, especially for emergency evacuation, to mimic perception-based dynamic human actions interacting  ...  Complex cognitive processes corresponding to human control behaviors cannot be easily inferred using (1) a logical rule-based model, (2) a statistical model, or (3) an analytical predictive model.  ...  Section 4 presents a formal simulation framework of affordance-based human behaviors using the WFE problem.  ... 
doi:10.1016/j.simpat.2012.12.007 fatcat:vqsyes27zzelfez2umtw7oj3za

Page 471 of The Journal of Animal Ecology Vol. 69, Issue 3 [page]

2000 The Journal of Animal Ecology  
Journal of Animal Ecology 2000, 69, 471-483 Beetles in fragmented woodlands: a formal framework for dynamics of movement in ecological landscapes DAVID J.  ...  On this basis we suggest that the dynamical system provides a formal framework for the dynamics of animal movements in ecological landscapes. 3.  ... 

A modelling tool for hierarchical stochastic activity networks

Mohammad Abdollahi Azgomi, Ali Movaghar
2005 Simulation modelling practice and theory  
We have implemented in this tool some state-of-the-art methods for the simulation and analytic solution of SAN-based models.  ...  This tool has an integrated development environment (IDE) for construction, animation, simulation and analytic solution of SANbased models.  ...  We are also planning to add support for two other highlevel extensions of SANs, including coloured stochastic activity networks (CSANs) (Abdollahi and Movaghar 2003b) and object stochastic activity networks  ... 
doi:10.1016/j.simpat.2005.01.004 fatcat:exu4p7i6avdyfl7oybgw24fg3y

SimStudio: a Next Generation Modeling and Simulation Framework

Mamadou K. Traoré
2008 Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Systems  
From a software perspective, SimStudio is a middleware for the federation of simulators and the collaborative building of simulations.  ...  SimStudio is an operational framework that must serve to capitalize theoretical advances in Modeling and Simulation (M&S) as well as to gather M&S tools and make them accessible through a web browser.  ...  How can a simulation model be amenable to formal analysis?  ... 
doi:10.4108/icst.simutools2008.3214 dblp:conf/simutools/Traore08 fatcat:jgyvtvzexbfl5auihcs5htflfu

A Formal Co-Simulation Approach for Wireless Sensor Network Development

Adisak Intana, Michael R. Poppleton, Geoff V. Merrett
2014 Electronic Communications of the EASST  
Our prototype development confirms the flexibility of the framework for interworking between formal, simulation and co-simulation modelling.  ...  This paper proposes a Formal Co-simulation (FoCoSim-WSN) framework to provide a good software engineering practice for wireless sensor networks (WSNs) including high-level abstraction, separation of concerns  ...  These are used to animate and trace the list of operations to validate the formal model on ProB. 6 C-style Co-modelling FoCoSim-WSN Framework for WSNs We develop a prototype FoCoSim-WSN framework of  ... 
doi:10.14279/tuj.eceasst.70.969 dblp:journals/eceasst/IntanaPM14 fatcat:ew2xvevhcfehnd5syyvddnl4wa

The Case for Using Simulation to Validate Event-B Specifications

Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquieres
2012 2012 19th Asia-Pacific Software Engineering Conference  
Current tools for Event-B, animators and translators, can execute only a restricted set of specifications.  ...  So, we propose a third technique, simulation, in which users and tools co-operate to produce an executable instance of the model.  ...  JeB (JavaScript simulation framework for Event-B) is based on an observation and a simple idea.  ... 
doi:10.1109/apsec.2012.66 dblp:conf/apsec/YangJS12 fatcat:scayky3llzhytejasujlsqwqk4

Modeling and simulation of crowd using cellular discrete event systems theory

Ronnie Farrell, Mohammad Moallemi, Sixuan Wang, Wang Xiang, Gabriel Wainer
2013 Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation - SIGSIM-PADS '13  
We will show that the efficient cell update mechanism of Cell-DEVS allows for more efficient entitybased simulation of the crowd compared to cellular automata.  ...  In this paper, we discuss how Cellular Discrete Event System Specification (Cell-DEVS) theory can be used in modeling and simulation of the crowd.  ...  Other advantages of formal M&S include applying formal model checking techniques at design time, the incremental refinement of the initial simulation models, simulation-based validation, and reuse of the  ... 
doi:10.1145/2486092.2486112 dblp:conf/pads/FarrellMWXW13 fatcat:nllreot6frcz5dhbnpcbr4rfea

Parameter estimation and comparative evaluation of crowd simulations

D. Wolinski, S. J. Guy, A.-H. Olivier, M. Lin, D. Manocha, J. Pettré
2014 Computer graphics forum (Print)  
We demonstrate the benefits of our framework for example-based simulation, modeling of cultural variations, artist-driven crowd animation, and relative comparison of some widely-used multi-agent simulation  ...  Abstract We present a novel framework to evaluate multi-agent crowd simulation algorithms based on real-world observations of crowd movements.  ...  The authors would also like to thank the Golaem company for their help preparing parts of the companion video.  ... 
doi:10.1111/cgf.12328 fatcat:qrs7fkskqng65lbj3rt44vnvci

An agent-based formal framework for modeling and simulating supply chains

Li Tan, Shenghan Xu, Benjamin Meyer, Brock Erwin
2009 2009 IEEE International Conference on Information Reuse & Integration  
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains.  ...  The framework also gives rigid simulation-based semantics for a supply-chain model. The formalism it introduced helps an analyst understand and validate simulation results precisely and rigorously.  ...  Our agent-based formal framework gives formal definitions for the syntax and semantics of an element. It also defines formal simulation-based semantics for a supply chain.  ... 
doi:10.1109/iri.2009.5211555 dblp:conf/iri/TanXME09 fatcat:vcgkmcvmozcf3lhdwvnjjohury

A discrete event system specification (DEVS)-based model of consanguinity

Noreen Akhtar, Muaz Niazi, Farah Mustafa, Amir Hussain
2011 Journal of Theoretical Biology  
Discrete Event System Specification (DEVS) formalism is a powerful modeling formalism for the study of intricate details of real-world complex systems.  ...  As proof-of-concept, we develop a consanguinity simulation model in Simio simulation software.  ...  Acknowledgments The authors wish to acknowledge the use of Simio Simulation Software Services.  ... 
doi:10.1016/j.jtbi.2011.05.038 pmid:21740914 fatcat:76gvgmk34fh2zb2rfnmft4tjjy

Replaying Execution Trace Models for Dynamic Modeling Languages

Ábel Hegedüs, István Ráth, Dániel Varró
2012 Periodica Polytechnica Electrical Engineering  
In the paper, we present a technique for replaying recorded execution traces of dynamic modeling languages.  ...  Back-end analysis tools aiming to carry out model-based verification and validation of dynamic behavioral models frequently produce sequences of simulation steps (called execution traces) as their output  ...  Our generic execution trace model was actually defined based on our investigation of traces retrieved by various formal analysis tools (using different modeling formalisms such as Petri nets, transition  ... 
doi:10.3311/ppee.7078 fatcat:niy6adxgsbcf3f6ko64tjfghkm

AsmetaA: Animator for Abstract State Machines [chapter]

Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor
2018 Lecture Notes in Computer Science  
In this paper, we present AsmetaA -a graphical animator for Abstract State Machines integrated within the ASMETA framework.  ...  the overall acceptability of formal methods.  ...  The ASMETA framework [4] provides an environment for systems development using ASMs including a simulator.  ... 
doi:10.1007/978-3-319-91271-4_25 fatcat:z5envgditbgblhcdfdqjajlqzi

A Critical Review on Modelling Formalisms and Simulation Tools in Computational Biosystems [chapter]

Daniel Machado, Rafael S. Costa, Miguel Rocha, Isabel Rocha, Bruce Tidor, Eugénio C. Ferreira
2009 Lecture Notes in Computer Science  
Aware that no formalism can fit all purposes we realize Petri Nets as a suitable model for Metabolic Engineering and take a deeper perspective on the role of this formalism as an integrating framework  ...  We briefly review modelling formalisms that have been used in Systems Biology and identify the criteria that must be addressed by an integrating framework capable of modelling, analysing and simulating  ...  Statecharts are a formal visual language for description of reactive systems. They are used in [7] to model and simulate cellular differentiation using a technique called reactive animation.  ... 
doi:10.1007/978-3-642-02481-8_161 fatcat:a4jah5qo5vekpcol3c6fqyn2ua

Tools for Graphical Specification and Visualization of DEVS Models

Gabriel Wainer, Qi Liu
2009 Simulation (San Diego, Calif.)  
We also introduce a graphical platform called MAPS designed specifically for urban traffic systems, and other advanced 3D animation tools (CD++/VRML, CD++/Maya, CD++DEVSView, and CD++/Blender) based on  ...  The objective is to provide general users with a variety of easy-to-use environments to facilitate the model analysis process and thereby promoting the adoption of M&S by a wider community of practitioners  ...  Acknowledgments This work has been partially funded by the Natural Sciences and Engineering Research Council of Canada, the Canadian Foundation for Innovation, the Ontario Innovation Fund and CANARIE Inc  ... 
doi:10.1177/0037549708101182 fatcat:j3kf2obx7rctplci36u4kdpsqy
« Previous Showing results 1 — 15 out of 72,218 results