1 From Conceptual Models to Simulation Models Takashi Iba* Yoshiaki Matsuzawa** Nozomu Aoyama** * Faculty of Policy Management, Keio University ** Graduate.

Slides:



Advertisements
Similar presentations
Integration of MBSE and Virtual Engineering for Detailed Design
Advertisements

ECOE 560 Design Methodologies and Tools for Software/Hardware Systems Spring 2004 Serdar Taşıran.
DETAILED DESIGN, IMPLEMENTATIONA AND TESTING Instructor: Dr. Hany H. Ammar Dept. of Computer Science and Electrical Engineering, WVU.
Designing and Developing Decision Support Systems Chapter 4.
Software Modeling SWE5441 Lecture 3 Eng. Mohammed Timraz
PRESENTATION 3 Sri Raguraman CIS 895 Kansas State University.
Model-Based Programming: Executable UML with Sequence Diagrams By Ruben Campos Cal State L.A. Computer Science Thesis Work Spring 2007.
8th Workshop "Software Engineering Education and Reverse Engineering", Durres RFAgent – an eLearning Supporting Tool Asya Stoyanova-Doycheva University.
CSE115: Introduction to Computer Science I Dr. Carl Alphonce 219 Bell Hall
CSE115: Introduction to Computer Science I Dr. Carl Alphonce 219 Bell Hall
Automated Analysis and Code Generation for Domain-Specific Models George Edwards Center for Systems and Software Engineering University of Southern California.
L4-1-S1 UML Overview © M.E. Fayad SJSU -- CmpE Software Architectures Dr. M.E. Fayad, Professor Computer Engineering Department, Room #283I.
Lecture #4 Agenda Cell phones off & name signs out Review Questions? Objects The birds-and-the-bees talk.
Iba Laboratory Iterated Prisoner’s Dilemma on Alliance Network Tomoki Furukawazono* Yusuke Takada** Takashi Iba** *Graduate School of Media and Governance,
21-February-2003cse Architecture © 2003 University of Washington1 Architecture CSE 403, Winter 2003 Software Engineering
Model Driven Architecture (MDA) Partha Kuchana. Agenda What is MDA Modeling Approaches MDA in a NutShell MDA Models SDLC MDA Models (an Example) MDA -
1/31 CS 426 Senior Projects Chapter 1: What is UML? Chapter 2: What is UP? [Arlow and Neustadt, 2005] January 22, 2009.
CS 290C: Formal Models for Web Software Lecture 6: Model Driven Development for Web Software with WebML Instructor: Tevfik Bultan.
JADE Java Agent Development Framework An Overview.
1 FM Overview of Adaptation. 2 FM RAPIDware: Component-Based Design of Adaptive and Dependable Middleware Project Investigators: Philip McKinley, Kurt.
Models of Computation as Program Transformations Chris Chang
© 2008 IBM Corporation Behavioral Models for Software Development Andrei Kirshin, Dolev Dotan, Alan Hartman January 2008.
Applying MDA in the ATM: A practical approach Teodora Bozheva, Terry Bailey (ESI) Julia Reznik, Tom Ritter (Fraunhofer FOKUS)
1 Ivano Malavolta, University of L’aquila, Computer Science Department Ivano Malavolta DUALLy: an Eclipse platform for architectural languages interoperability.
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
Agent Based Modeling and Simulation
What is UML? What is UP? [Arlow and Neustadt, 2005] January 23, 2014
IIIAURJCUPV Task 7.1 Software architecture and computation model E. Marcos C. Acuña Task 7.2 Multiagent System Platform A. Espinosa Task.
Design Patterns OOD. Course topics Design Principles UML –Class Diagrams –Sequence Diagrams Design Patterns C#,.NET (all the course examples) Design Principles.
CSE115: Introduction to Computer Science I Dr. Carl Alphonce 219 Bell Hall NEW   NEW 1.
Zhiyong Wang In cooperation with Sisi Zlatanova
© Yilmaz “Agent-Directed Simulation – Course Outline” 1 Course Outline Dr. Levent Yilmaz M&SNet: Auburn M&S Laboratory Computer Science &
Exploratory Model Building Toward Agent-Based Economics Takashi Iba Masaharu Hirokane Hirokane Kawakami Yoshiyasu Takefuji Heizo Takenaka
Object Management Group (OMG) Specifies open standards for every aspect of distributed computing Multiplatform Model Driven Architecture (MDA)
POSL (Principles of Software Languages) Gr. Kyushu Institute of Technology, Japan Pointcut-based Architectural Interface.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
Model Driven Development An introduction. Overview Using Models Using Models in Software Feasibility of MDA MDA Technologies The Unified Modeling Language.
Topology and Evolution of the Open Source Software Community Advisors: Dr. Vincent W. Freeh Dr. Kevin Bowyer Supported in part by the National Science.
Control in ATLAS TDAQ Dietrich Liko on behalf of the ATLAS TDAQ Group.
Unified Modeling Language* Keng Siau University of Nebraska-Lincoln *Adapted from “Software Architecture and the UML” by Grady Booch.
L6-S1 UML Overview 2003 SJSU -- CmpE Advanced Object-Oriented Analysis & Design Dr. M.E. Fayad, Professor Computer Engineering Department, Room #283I College.
CEN5011, Fall CEN5011 Software Engineering Dr. Yi Deng ECS359, (305)
MDA – Model Driven Architecture Olivier Riboux. Overview What is MDA? The Challenges MDA addresses Developing in the MDA Benefits / Conclusion Case Study:
These materials are prepared only for the students enrolled in the course Distributed Software Development (DSD) at the Department of Computer.
Experiences from Representing Software Architecture in a Large Industrial Project Using Model Driven Development Andres Mattsson 1 Björn Lundell 2 Brian.
Celluloid An interactive media sequencing language.
Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University IWPSE 2003 Program.
A Quantitative Trust Model for Negotiating Agents A Quantitative Trust Model for Negotiating Agents Jamal Bentahar, John Jules Ch. Meyer Concordia University.
CIM LAB MEETING Presentation on UML Rakesh Mopidevi Kwangyeol Ryu.
By Boxed Economy Foundation Model Toward Simulation Platform for Agent-Based Economic Simulations.
CPSC 873 John D. McGregor Session 9 Testing Vocabulary.
Week 04 Object Oriented Analysis and Designing. What is a model? A model is quicker and easier to build A model can be used in simulations, to learn more.
A Communication Virtual Machine Seminar of “Virtual Machines” course ALI MOGHADDAM University of Science and Technology Mazandaran, Babol
Ivar Jacobson, Grady Booch, and James Rumbaugh The Unified Software Development Process Addison Wesley, : James Rumbaugh's OOMD 1992: Ivar Jacobson's.
 2001 John Mylopoulos STRAW’ Software Architectures as Social Structures John Mylopoulos University of Toronto First ICSE Workshop titled “From.
Survey of Tools to Support Safe Adaptation with Validation Alain Esteva-Ramirez School of Computing and Information Sciences Florida International University.
PI2134 Software Engineering IT Telkom.  Layered technology  Software Process  Generic Process (by Pressman)  Fundamental activities (by Sommerville)
© Yilmaz “Introduction to Discrete-Event Simulation” 1 Introduction to Discrete-Event Simulation Dr. Levent Yilmaz M&SNet: Auburn M&S Laboratory.
Lectures 2 & 3: Software Process Models Neelam Gupta.
Design and implementation Chapter 7 – Lecture 1. Design and implementation Software design and implementation is the stage in the software engineering.
Project Proposal A JML compiler on Eclipse Platform Amritam Sarcar CS5381.
Introduction to Programming 1 1 2Introduction to Java.
An Evolutional Cooperative Computation Based on Adaptation to Environment Naoyasu UBAYASHI and Tetsuo TAMAI Graduate School of Arts and Sciences University.
What is UML? What is UP? [Arlow and Neustadt, 2005] October 5, 2017
Behavioral Models for Software Development
Towards Automatic Model Synchronization from Model Transformation
Boxed Economy Simulation Platform and Foundation Model - Takashi Iba
Chapter 7 –Implementation Issues
Automated Analysis and Code Generation for Domain-Specific Models
Presentation transcript:

1 From Conceptual Models to Simulation Models Takashi Iba* Yoshiaki Matsuzawa** Nozomu Aoyama** * Faculty of Policy Management, Keio University ** Graduate School of Media and Governance, Keio University Model Driven Development of Agent-Based Simulations

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

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

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

5 What we should improve is the Process !

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

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

8 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)

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

10 Overview of Proposed Process 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. The proposed process, which is based on Model Driven Development, consists of three major phases.

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

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

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

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

15 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. Behavior Designer World Composer Model Designer Activity Designer Communication Designer Plugins for

16 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]

17 From Conceptual Models to Simulation Models Conceptual Model Simulation Model Source Code of Simulation CB Compiler Executable Program of Simulation Now we still need to write source code a little bit.

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

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

20 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

21 From Conceptual Models to Simulation Models Takashi Iba* Yoshiaki Matsuzawa** Nozomu Aoyama** * Faculty of Policy Management, Keio University ** Graduate School of Media and Governance, Keio University Model Driven Development of Agent-Based Simulations Contact us by sending to or talk to me later, if you are interested in our tools.