From Conceptual Models From Conceptual Models to Simulation Models - PDF document

From Conceptual Models From Conceptual Models to Simulation Models to Simulation Models Model Driven Development of Agent- -Based Based Simulations Simulations Model Driven Development of Agent Takashi Iba* Yoshiaki Matsuzawa** Nozomu Aoyama** •* Faculty of Policy Management, Keio University •** Graduate School of Media and Governance, Keio University • http://www.boxed-economy.org/ 1 From Conceptual Models to Simulation Models: From Conceptual Models to Simulation Models : Model Driven Development of Agent- -Based Based Simulations Simulations Model Driven Development of Agent 1 Motivation and Background Motivation and Background 2 Proposed Process and Tools Proposed Process and Tools 3 Demonstration Demonstration 2

From Conceptual Models to Simulation Models From Conceptual Models to Simulation Models: : Model Driven Development of Agent Model Driven Development of Agent- -Based Based Simulations Simulations 1 Motivation and Background Motivation and Background 2 Proposed Process and Tools Proposed Process and Tools 3 Demonstration Demonstration 3 Position of Social Simulation Studies Position of Social Simulation Studies a new approach society as multi-agent of modeling a practical interaction system and analysis application social computer sciences science Social Simulation decision making computer and Learning Studies simulation How What should we should we make it? make? 4

s i e v o r p m i d l u o h ! s s s e e w c o t r a P h W e h t 5 Traditional Development Process of Software Traditional Development Process of Software The traditional development process of software is driven by implementation (program coding). 6

A New Development Process of Software: A New Development Process of Software: Model Driven Development Model Driven Development A new development process is driven by modeling. 7 Raising the level of Abstraction Raising the level of Abstraction Cf. “ MDA ” (Model Driven Architecture) and “ Executable UML ” The point is “ using modeling languages as programming languages rather than merely as design languages. ” (Frankel 2003) 8

From Conceptual Models to Simulation Models From Conceptual Models to Simulation Models: : Model Driven Development of Agent Model Driven Development of Agent- -Based Based Simulations Simulations 1 Motivation and Background Motivation and Background 2 Proposed Process and Tools Proposed Process and Tools 3 Demonstration Demonstration 9 Overview of Proposed Process Overview of Proposed Process The proposed process, which is based on Model Driven Development, consists of three major phases. In the conceptual modeling phase, the modeler analyzes the target world and describes the conceptual model. In the simulation design phase, the modeler designs and implements the simulation model. In the verification phase, the modeler runs the simulation and inspects whether the simulation program is coded rightly. 10

Conceptual Modeling Extracting Types Describing Describing from Target World Agents ’ Activities Agents ’ Interaction Phase Simulation Design Designing Designing Making Phase Types and Classes Statechart of Behavior the Initial Settings Verification Phase Run and Verify the Simulation 11 Boxed Economy Foundation Model (BEFM) Boxed Economy Foundation Model (BEFM) Model Frameworks for Model Driven Development of Simulations for Model Driven Development of Simulations Model Frameworks [Iba et al., 2002] 12

Conceptual Modeling Extracting Types Describing Describing from Target World Agents ’ Activities Agents ’ Interaction Phase Simulation Design Designing Designing Making Phase Types and Classes Statechart of Behavior the Initial Settings Verification Phase Run and Verify the Simulation 13 Model Activity Communication Designer Designer Designer Conceptual Modeling Extracting Types Describing Describing from Target World Agents ’ Activities Agents ’ Interaction Phase Model Behavior World Designer Designer Composer Simulation Design Designing Designing Making Phase Types and Classes Statechart of Behavior the Initial Settings Boxed Economy Verification Simulation Platform Phase Run and Verify the Simulation 14

Component Builder (CB) Component Builder (CB) Tools for Model Driven Development of Simulations Tools for Model Driven Development of Simulations Component Builder is developed as the plug-in for the currently standard development environment “Eclipse.” Component Builder consists of four designers and one composer. Plugins for Activity Designer Communication Designer Model Designer Behavior Designer World Composer 15 Boxed Economy Simulation Platform (BESP) Boxed Economy Simulation Platform (BESP) Tools for Model Driven Development of Simulations Tools for Model Driven Development of Simulations An integrated environment to execute and analyze the agent-based social simulations. Implemented in Java language. The source code and detail specification are opened to the public. [Iba et al., 2002] 16

From Conceptual Models to Simulation Models From Conceptual Models to Simulation Models Conceptual Model Simulation Model CB Now we still need to write source code a little bit. Source Code of Simulation Compiler Executable Program of Simulation 17 From Conceptual Models to Simulation Models: From Conceptual Models to Simulation Models : Model Driven Development of Agent- -Based Based Simulations Simulations Model Driven Development of Agent 1 Motivation and Background Motivation and Background 2 Proposed Process and Tools Proposed Process and Tools 3 Demonstration Demonstration 18

Model Activity Communication Designer Designer Designer Conceptual Modeling Extracting Types Describing Describing from Target World Agents ’ Activities Agents ’ Interaction Phase Model Behavior World Simulation Designer Designer Composer Design Designing Designing Making Phase Types and Classes Statechart of Behavior the Initial Settings Boxed Economy Verification Simulation Platform Phase Run and Verify the Simulation 19 We have already applied to We have already applied to … … Format Competition (VHS vs. Beta) Evolving Network (Scale-Free Network) Evolutionary Market Competition Emergence and Collapse of Money Artificial Financial Market Strategic Evolution in Iterated Prisoners Dilemma Airport Queuing Model Influence Analysis of Social Interaction to Voting Electric Power Market 20

From Conceptual Models From Conceptual Models to Simulation Models to Simulation Models Model Driven Development of Agent- -Based Based Simulations Simulations Model Driven Development of Agent Contact us by sending E-mail to iba@sfc.keio.ac.jp or talk to me later, Takashi Iba* if you are interested in our tools. Yoshiaki Matsuzawa** Nozomu Aoyama** •* Faculty of Policy Management, Keio University •** Graduate School of Media and Governance, Keio University • http://www.boxed-economy.org/ 21