5/26/2005CIS Dept., UMass Dartmouth1 A Methodology for Role- Based Modeling of Open Multi-Agent Software Systems Prof. Haiping Xu Concurrent Software Systems.

Slides:



Advertisements
Similar presentations
TU e technische universiteit eindhoven / department of mathematics and computer science Modeling User Input and Hypermedia Dynamics in Hera Databases and.
Advertisements

Formal Modelling of Reactive Agents as an aggregation of Simple Behaviours P.Kefalas Dept. of Computer Science 13 Tsimiski Str Thessaloniki Greece.
The software process A software process is a set of activities and associated results which lead to the production of a software product. This may involve.
Adding Organizations and Roles as Primitives to the JADE Framework NORMAS’08 Normative Multi Agent Systems, Matteo Baldoni 1, Valerio Genovese 1, Roberto.
Developing MAS The GAIA Methodology A Brief Summary by António Castro and Prof. Eugénio Oliveira.
NaLIX: A Generic Natural Language Search Environment for XML Data Presented by: Erik Mathisen 02/12/2008.
1 SWE Introduction to Software Engineering Lecture 23 – Architectural Design (Chapter 13)
Knowledge Acquisitioning. Definition The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
10/09/2006CIS Dept., UMass Dartmouth1 A Petri Net Based XML Firewall Security Model for Web Services Invocation Prof. Haiping Xu Concurrent Software Systems.
1 Trust Management and Theory Revision Ji Ma School of Computer and Information Science University of South Australia 24th September 2004, presented at.
09/28/2007 CIS Dept., UMass Dartmouth 1 Trustworthy Agent-Based Online Auction Systems Prof. Haiping Xu Concurrent Software Systems Laboratory Computer.
The Entity-Relationship (ER) Model CS541 Computer Science Department Rutgers University.
Methodologies for Web Information System Design
Introduction to Databases Transparencies
TRAVEL RESERVATION SYSTEM USING WEB SERVICES COMPOSITION LANGUAGE
DESIGN CREATIVITY: REFINING THE MODEL DAVID C BROWN & ELIJAH FORBES-SUMMERS Computer Science Department WPI, Worcester, MA 01609, USA.
11/19/2007 CIS Dept., UMass Dartmouth 1 DRBD: Dynamic Reliability Block Diagram for System Reliability Modeling Prof. Haiping Xu Concurrent Software Systems.
10/21/2005CIS Dept., UMass Dartmouth1 Towards a Role-Based Agent Development Environment for Open Multi-Agent Software Systems Prof. Haiping Xu Concurrent.
Research team members Adaptive Complex Enterprise Data Warehousing Repository Generation Semantic Web Knowledge Extraction.
Introduction to Databases Transparencies 1. ©Pearson Education 2009 Objectives Common uses of database systems. Meaning of the term database. Meaning.
1 Conceptual Modeling of User Interfaces to Workflow Information Systems Conceptual Modeling of User Interfaces to Workflow Information Systems By: Josefina.
Slide 1 Wolfram Höpken RMSIG Reference Model Special Interest Group Second RMSIG Workshop Methodology and Process Wolfram Höpken.
1 CS 456 Software Engineering. 2 Contents 3 Chapter 1: Introduction.
UML based dependability modeling, analysis and synthesis Proposers: TU Budapest: A. Pataricza, Gy. Csertán, I. Majzik, D. Varró PDCC Pisa: L. Simoncini,
The Electronic Geometry Textbook Project Xiaoyu Chen LMIB - Department of Mathematics Beihang University, China.
Agent-Oriented Software Engineering CSC532 Xiaomei Huang.
EIDA Project ( Proposal ) Research and Technical Background Emergency Intelligent Decision Assistant: Emergency Intelligent Decision Assistant: Toolkit.
Configuration Management (CM)
Data Distribution Dynamic Data Distribution. Outline Introductory Comments Dynamic (Value based) Data Distribution: HLA Data Distribution Management –Routing.
Validated Model Transformation Tihamér Levendovszky Budapest University of Technology and Economics Department of Automation and Applied Informatics Applied.
Dimitrios Skoutas Alkis Simitsis
Business Integration Technologies © 2006 IBM Corporation Zurich Research Laboratory - BIT Validation.
Interaction Laws Verification Using Knowledge-based Reasoning Gustavo Carvalho, Anarosa Brandão, Rodrigo Paes & Carlos Lucena By Regiane Lima.
Objectives Functionalities and services Architecture and software technologies Potential Applications –Link to research problems.
1 Chapter 1 Introduction to Databases Transparencies Last Updated: Pebruari 2010 By M. Arief Updated by RSO Feb 2011
The High Level Architecture Introduction. Outline High Level Architecture (HLA): Background Rules Interface Specification –Overview –Class Based Subscription.
Microelectronic Systems Institute Leandro Soares Indrusiak Manfred Glesner Ricardo Reis Lookup-based Remote Laboratory for FPGA Digital Design Prototyping.
Chapter 8 Analysis & Modeling. Data Modeling examines data objects independently of processing focuses attention on the data domain creates a model at.
The Static Analysis Model Class Diagrams Prof. Hany H. Ammar, CSEE, WVU, and Dept. of Computer Science, Faculty of Computers and Information, Cairo University.
A Context Model based on Ontological Languages: a Proposal for Information Visualization School of Informatics Castilla-La Mancha University Ramón Hervás.
07/09/04 Johan Muskens ( TU/e Computer Science, System Architecture and Networking.
D OSHISHA U NIVERSITY 13 November XML-based Genetic Programming Framework: Design Philosophy, Implementation and Applications.
Using Meta-Model-Driven Views to Address Scalability in i* Models Jane You Department of Computer Science University of Toronto.
____________________________ XML Access Control for Semantically Related XML Documents & A Role-Based Approach to Access Control For XML Databases BY Asheesh.
What is Object-Oriented?  Organization of software as a collection of discreet objects that incorporate both data structure and behavior.
Virtual Knowledge Communities for Corporate Knowledge Issues Pierre Maret INSA de Lyon, LIRIS, France Mark Hammond Imperial College London, England Jacques.
MODES-650 Advanced System Simulation Presented by Olgun Karademirci VERIFICATION AND VALIDATION OF SIMULATION MODELS.
Design Model Lecture p6 T120B pavasario sem.
An approach for Framework Construction and Instantiation Using Pattern Languages Rosana Teresinha Vaccare Braga Paulo Cesar Masiero ICMC-USP: Institute.
Adaptive Hopfield Network Gürsel Serpen Dr. Gürsel Serpen Associate Professor Electrical Engineering and Computer Science Department University of Toledo.
MDD approach for the Design of Context-Aware Applications.
ROLE BASED ACCESS CONTROL 1 Group 4 : Lê Qu ố c Thanh Tr ầ n Vi ệ t Tu ấ n Anh.
Amelia Bădică, Carmen Radu, Costel Ionascu Department of Statistics and Business Informatics University of Craiova, Romania 15th Workshop on Software Engineering.
Chapter 7 Functional Dependencies Copyright © 2004 Pearson Education, Inc.
Data Distribution. Outline Fundamental concepts –Name space –Description expressions –Interest expressions Static Data Distribution: HLA Declaration Management.
Properties as Processes : FORTE slide Properties as Processes: their Specification and Verification Joel Kelso and George Milne School of Computer.
Parallel and Distributed Simulation Data Distribution II.
Quality Assurance in the Presence of Variability Kim Lauenroth, Andreas Metzger, Klaus Pohl Institute for Computer Science and Business Information Systems.
Banaras Hindu University. A Course on Software Reuse by Design Patterns and Frameworks.
Fusion Design Overview Object Interaction Graph Visibility Graph Class Descriptions Inheritance Graphs Fusion: Design The overall goal of Design is to.
Building Preservation Environments with Data Grid Technology Reagan W. Moore Presenter: Praveen Namburi.
COP Introduction to Database Structures
Experience Report: System Log Analysis for Anomaly Detection
Cmpe 589 Spring 2006.
Chapter 8 Analysis & Modeling
Introduction to Agents
The Entity-Relationship Model
CS4222 Principles of Database System
Social Abstractions for Information agents
Adaptibility Patterns of Multi-Agent Organizations
Presentation transcript:

5/26/2005CIS Dept., UMass Dartmouth1 A Methodology for Role- Based Modeling of Open Multi-Agent Software Systems Prof. Haiping Xu Concurrent Software Systems Laboratory Computer and Information Science Department University of Massachusetts Dartmouth North Dartmouth, MA URL:

5/26/2005CIS Dept., UMass Dartmouth2 Outline Background and Motivation An Organizational Approach Role-Based Multi-Agent System Design Case Study: Organizing a Conference Conclusions and Future Work

5/26/2005CIS Dept., UMass Dartmouth3 Background and Motivation Multi-agent system (MAS) is a concurrent software system with more than one agent A traditional MAS consists of a fixed number of software agents In an open MAS, agents can join or leave an agent society at will take or release roles dynamically

5/26/2005CIS Dept., UMass Dartmouth4 An Example (Simulating a Company) Employee 1: TeamLeader_1 P_1.1 Employee 2: P_1.m P_2.2 Employee X:... Manager TeamLeader_1TeamLeader_2 P_1.1P_1.mP_2.1P_2.n ……

5/26/2005CIS Dept., UMass Dartmouth5 Role-Based Modeling Role-based modeling is one of the most effective methodologies for agent-based system analysis and design In most of the existing work abstract constructs used to conceptualize and understand the system no realizations in the implemented system Suitable for closed multi-agent systems We propose a methodology for role-based modeling of open multi-agent systems

5/26/2005CIS Dept., UMass Dartmouth6 An Organizational Approach Separate the concepts of role organization and role space role organization contains conceptual roles role space contains role instances At the third layer, we define an agent society that consists of agent instances The agent society can be designed independently of the role organization and role space

5/26/2005CIS Dept., UMass Dartmouth7 A Generic Model of Role-Based Open MAS role_A role_C role_D role_E Role Organization Role Space agent_1 agent_2 agent_3 Agent Society roleInstance_1 roleInstance_2 roleInstance_n role_B roleInstance_k

5/26/2005CIS Dept., UMass Dartmouth8 Formal Specifications - Role and Role Organization

5/26/2005CIS Dept., UMass Dartmouth9 Formal Specifications - Role Space and Agent

5/26/2005CIS Dept., UMass Dartmouth10 Role-Based MAS Design Design Role classes and their relationships inheritance relationship aggregation relationship association relationship incompatibility relationship To ease software engineer’s effort, we propose a design process for MAS development

5/26/2005CIS Dept., UMass Dartmouth11 A Generic Procedure to Design Open MAS 1.Design the set of Role classes  and their relationship  1:  X   [IH | AG], where IH and AG represent the relationship types of inheritance and aggregation, respectively. 2.Design the role organization  according to the class schema RoleOrganization, and define any association relationships and incompatibility relationships between classes, i.e.,  2:  X   [AS | IC], where AS and IC represent the relationship types of association and incompatibility, respectively. 3.Design the role space  according to the class schema RoleSpace. The role space  should support creating, advertising, and searching for role instances. It may use existing middleware, e.g., Sun Jini, for its purpose. 4.Refine the Agent class with a set of sensors and a set of appropriate reasoning mechanisms. This step may overlap with Step Design agent society  according to the class schema AgentSociety. The agent society  contains a set of agent instances of type Agent, and it corresponds to the role organization  with the same organization/society design purpose.

5/26/2005CIS Dept., UMass Dartmouth12 Open Role Space and Open Agent Society Open role space role instances can be added into or deleted from a role space dynamically Open agent society agents can join or leave the system at will agents can take or release role instances in a role space dynamically

5/26/2005CIS Dept., UMass Dartmouth13 A-R Mapping A-R mapping is a process for agents from an agent society  to take or release role instances in a role space . Both of agent society  and role space  are defined upon the role organization . Formally, the A-R mapping is defined as follows where f is a partial function mapping from an agent instance to a set of role instances.

5/26/2005CIS Dept., UMass Dartmouth14 The Process of A-R Mapping 1.Initialization: The agent society  makes a request to the role space  to instantiate the major LeadingRole class defined in the role organization , and create a role instance for it. 2.Role assignment: for each agent  in the agent society , do the following: a.When agent  receives any sensor data from its environment, it may decide to generate some new goals or subgoals based on the sensor data and agent  ’s motivations. b.With its reasoning mechanisms, agent  further deduce a set  of needed roles of types defined in the role organization . If none of the roles in set  is of type LeadingRole, go to step 2.d. c.If any role in role set  is a leading role of type LeadingRole, agent  takes the corresponding role instance from the role space , if available, updates the hiring number of other roles as needed, and makes requests to the role space  to create role instances for those roles under hiring. d.Repeat the following for a period of time  : Search the role space  for any role instances that match roles in role set . If there is a match, agent  takes that role instance. If all roles in role set  have been matched with some role instances in the role space , go to Step 3. e.If any role in the role set  cannot be matched with a role instance in the role space , agent  may decide to release all role instances or keep its current occupations. 3.Marking role incompatibility: for each agent , mark its role incompatibility as the following: for any role instances r1, r2  .rolesTaken, if .relationship(r1.getClass, r2.getClass) == incompatibility, mark agent  as potential role incompatibility with a self-loop. 4.Setting up interaction relationships: for each agent , set up the interaction relationship between agent  and other agents from the same agent society  as the following : for any agent instance   .agentInstances, where   , if  r1  .rolesTaken, r2  .rolesTaken such that .relationship(r1.getClass, r2.getClass) == association, then ( ,  )  dom .interaction.

5/26/2005CIS Dept., UMass Dartmouth15 Case Study: Organizing a Conference LeadingRole class Is a subclass of the Role class Each role organization defines a major leading role Is responsible for creating other role instances

5/26/2005CIS Dept., UMass Dartmouth16 An Open MAS for Organizing a Conference Role AuthorRole PCChairRole PCMemberRole Role Organization Role Space agent_1 r1 PrimaryPCMemberRole r4 assign papers notify decision r2r3 r5 r6 … [same paper] LeadingRole agent_2agent _3 Agent Society agent_4agent_5 … notify decision assign papers [same paper]

5/26/2005CIS Dept., UMass Dartmouth17 Conclusions A role-based methodology has been proposed for development of open MAS The design of roles and agents can be separated, which simplifies agent development Inheritance relationships between roles support reuse of role design Relationships between agents can be easily derived from A-R mapping

5/26/2005CIS Dept., UMass Dartmouth18 Future Work Refine the association relationship into more specific relationships Design social norms or rules in role organization and check for consistency Automate the verification process based on the A-R mapping mechanism. Develop an Role-based Agent Development Environment (RADE) for rapid agent development.

5/26/2005CIS Dept., UMass Dartmouth19 Thank you for your attention! The slides for this talk can be downloaded from