From Conceptual Models to Simulation Models Model Driven

  • Slides: 21
Download presentation
From Conceptual Models to Simulation Models Model Driven Development of Agent-Based Simulations Takashi Iba*

From Conceptual Models to Simulation Models Model Driven Development of Agent-Based Simulations 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: Model Driven Development of Agent-Based Simulations 1 Motivation

From Conceptual Models to Simulation Models: Model Driven Development of Agent-Based Simulations 1 Motivation and Background 2 Proposed Process and Tools 3 Demonstration 2

From Conceptual Models to Simulation Models: Model Driven Development of Agent-Based Simulations 1 Motivation

From Conceptual Models to Simulation Models: Model Driven Development of Agent-Based Simulations 1 Motivation and Background 2 Proposed Process and Tools 3 Demonstration 3

Position of Social Simulation Studies society as interaction social sciences a new approach of

Position of Social Simulation Studies society as interaction social sciences a new approach of modeling and analysis a practical application Social Simulation Studies decision making and Learning What should we make? multi-agent system computer science computer simulation How should we make it? 4

s i e rov p m i d l u o ! h s

s i e rov p m i d l u o ! h s s s e e w c o t r a P h e W th 5

Traditional Development Process of Software The traditional development process of software is driven by

Traditional Development Process of Software The traditional development process of software is driven by implementation (program coding). 6

A New Development Process of Software: Model Driven Development A new development process is

A New Development Process of Software: Model Driven Development A new development process is driven by modeling. 7

Raising the level of Abstraction Cf. “MDA” (Model Driven Architecture) and “Executable UML” The

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: Model Driven Development of Agent-Based Simulations 1 Motivation

From Conceptual Models to Simulation Models: Model Driven Development of Agent-Based Simulations 1 Motivation and Background 2 Proposed Process and Tools 3 Demonstration 9

Overview of Proposed Process The proposed process, which is based on Model Driven Development,

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 Phase Simulation Design Phase Verification Phase Extracting Types from Target World Describing

Conceptual Modeling Phase Simulation Design Phase Verification Phase Extracting Types from Target World Describing Agents’ Activities Describing Agents’ Interaction Designing Types and Classes Designing Statechart of Behavior Making the Initial Settings Run and Verify the Simulation 11

Boxed Economy Foundation Model (BEFM) Model Frameworks for Model Driven Development of Simulations [Iba

Boxed Economy Foundation Model (BEFM) Model Frameworks for Model Driven Development of Simulations [Iba et al. , 2002] 12

Conceptual Modeling Phase Simulation Design Phase Verification Phase Extracting Types from Target World Describing

Conceptual Modeling Phase Simulation Design Phase Verification Phase Extracting Types from Target World Describing Agents’ Activities Describing Agents’ Interaction Designing Types and Classes Designing Statechart of Behavior Making the Initial Settings Run and Verify the Simulation 13

Conceptual Modeling Phase Simulation Design Phase Verification Phase Model Designer Activity Designer Communication Designer

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

Component Builder (CB) Tools for Model Driven Development of Simulations Component Builder is developed

Component Builder (CB) 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) Tools for Model Driven Development of Simulations An integrated

Boxed Economy Simulation Platform (BESP) 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 Conceptual Model Simulation Model CB Now we still

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: Model Driven Development of Agent-Based Simulations 1 Motivation

From Conceptual Models to Simulation Models: Model Driven Development of Agent-Based Simulations 1 Motivation and Background 2 Proposed Process and Tools 3 Demonstration 18

Conceptual Modeling Phase Simulation Design Phase Verification Phase Model Designer Activity Designer Communication Designer

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

We have already applied to … Format Competition (VHS vs. Beta) Evolving Network (Scale-Free

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 to Simulation Models Model Driven Development of Agent-Based Simulations Contact us

From Conceptual Models to Simulation Models Model Driven Development of Agent-Based Simulations Contact us by sending E-mail to iba@sfc. keio. ac. jp or talk to me later, if you are interested in our tools. 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/ 21