1 The ADELFE Methodology Concepts and Definition using SPEM Marie-Pierre Gleizes, Frédéric Migeon, Sylvain Rougemaille, Carole Bernon, Thierry Millan,

Slides:



Advertisements
Similar presentations
Computer Supported Cooperative Work by an Agent Oriented Software Engineering Approach: CSCW by AOSE Darlinton Carvalho
Advertisements

Profiles Construction Eclipse ECESIS Project Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,
Aligning Business and IT Models in Service-Oriented Architectures using BPMN and SoaML Brian Elvesæter, Dima Panfilenko, Sven Jacobi & Christian Hahn MDI2010.
1 CIS224 Software Projects: Software Engineering and Research Methods Lecture 11 Brief introduction to the UML Specification (Based on UML Superstructure.
WebRatio BPM: a Tool for Design and Deployment of Business Processes on the Web Stefano Butti, Marco Brambilla, Piero Fraternali Web Models Srl, Italy.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System modeling 2.
IBM Business Consulting Services © Copyright IBM Corporation 2006 Unified Process March 27, 2006 Chris Armstrong.
Mehdi Dastani Jorge J. Gomez-Sanz PROMAS PROgramming Multi-Agent Systems.
Developing MAS The GAIA Methodology A Brief Summary by António Castro and Prof. Eugénio Oliveira.
Automated Analysis and Code Generation for Domain-Specific Models George Edwards Center for Systems and Software Engineering University of Southern California.
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 8 Slide 1 System models.
Design Patterns for Metamodel Design Domain-Specific Modeling Workshop Portland, Oregon October 23, 2011 Hyun Cho and Jeff Gray University of Alabama Department.
Knowledge Acquisitioning. Definition The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
April 15, 2005Department of Computer Science, BYU Agent-Oriented Software Engineering Muhammed Al-Muhammed Brigham Young University Supported in part by.
WebRatio BPM: a Tool for Design and Deployment of Business Processes on the Web Stefano Butti, Marco Brambilla, Piero Fraternali Web Models Srl, Italy.
Business Process Modeling Workflow Patterns Ang Chen July 8, 2005.
Ontologies Reasoning Components Agents Simulations Agent Modeling Language: An Overview Wendell Véras Vinícius Remígio Jacques Robin.
IIIAURJCUPV Task 7.1 Software architecture and computation model E. Marcos C. Acuña Task 7.2 Multiagent System Platform A. Espinosa Task.
Applying and Validating a UML Metamodel for the Requirements Analysis in Multi-Agent Systems - The AME-A case study Gilleanes Thorwald Araujo Guedes Rosa.
The Rational Unified Process
Ontologies Reasoning Components Agents Simulations The Eclipse Process Framework Breno Machado.
Chapter 4 System Models A description of the various models that can be used to specify software systems.
Reflecting on Ontologies: Towards Ontology-based Agent- oriented Software Engineering Ghassan Beydoun, B. Henderson-Sellers, J. Shen, G. Low 1{beydoun,
1 Chapter 2 The Process. 2 Process  What is it?  Who does it?  Why is it important?  What are the steps?  What is the work product?  How to ensure.
TC Methodology Massimo Cossentino (Italian National Research Council) Radovan Cervenka (Whitestein Technologies)
WG Methodology Chair: Massimo Cossentino (Italian National Research Council)
Zhiyong Wang In cooperation with Sisi Zlatanova
Multi-Agent Systems (MAS) Tom Holvoet Dept. Computer Science, KULeuven Research group on Distributed Systems and Computer Networks.
© Yilmaz “Agent-Directed Simulation – Course Outline” 1 Course Outline Dr. Levent Yilmaz M&SNet: Auburn M&S Laboratory Computer Science &
VERIFICATION OF ASPECT ORIENTED MODELS BY DON MARTIN JAYASHREE VENKIPURAM PATHANGI PIYUSH SRIVASTAVA REFERENCES F. Mostefaoui and J. Vachon,” Design level.
Experiences from a standardization attempt in AO methodologies Massimo Cossentino (Italian National Research Council)
METACASE. WHAT THIS PRESENTATION IS ABOUT  What’s META MODELING?  What’s METACASE?  METAEDIT+ 5.1 EVALUTION PROGRAM  Diagram and its kinds.
SOFTWARE DESIGN (SWD) Instructor: Dr. Hany H. Ammar
Patterns of agents Massimo Cossentino Massimo Cossentino, Luca Sabatucci ICAR/CNR High performance computing and networks institute Italian National Research.
Henry Muccini - Computer Science Department, Universita' dell'Aquila, Italy Paola Inverardi - Computer Science Department, Universita'
© DATAMAT S.p.A. – Giuseppe Avellino, Stefano Beco, Barbara Cantalupo, Andrea Cavallini A Semantic Workflow Authoring Tool for Programming Grids.
Abstract We present two Model Driven Engineering (MDE) tools, namely the Eclipse Modeling Framework (EMF) and Umple. We identify the structure and characteristic.
Information Systems Engineering. Lecture Outline Information Systems Architecture Information System Architecture components Information Engineering Phases.
Presentation on Issues and Challenges in Evaluation of Agent-Oriented Software Engineering Methodologies By: kanika singhal.
Multi-agent organizations in software engineering Jorge J. Gómez Sanz Grasia! Research group Universidad Complutense de Madrid,
September 2008ESAW 081 SMAC - IRIT – UPS Sylvain Roug le, TOULOUSEJean-Paul Arcangeli, FRANCE Marie-Pierre Gleizes, Frédéric Migeon 1 ADELFE Design,
 The need for a formal methodology description  SPEM for describing an agent oriented methodology  PASSI: an example  The needed extension  Discussion.
Separating Crosscutting Concerns in Agent Oriented Detailed Design: The Social Patterns Case Carla Silva Jaelson Castro Advisor: Jaelson Castro João Araújo.
FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.
Christoph F. Eick University of Houston Organization 1. What are Ontologies? 2. What are they good for? 3. Ontologies and.
AOT Lab Dipartimento di Ingegneria dell’Informazione Università degli Studi di Parma Unifying MAS Meta-Models ADELFE, Gaia & PASSI Carole Bernon, Massimo.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System models.
MDD approach for the Design of Context-Aware Applications.
® IBM Software Group © 2004 IBM Corporation Developing an SOA with RUP and UML 2.0 Giles Davies.
1 Technical & Business Writing (ENG-715) Muhammad Bilal Bashir UIIT, Rawalpindi.
©2009 ifanos c&p / Hoffmann&Reif. All rights reserved for InWEnt Capacity Building International 20 September 2010 | | Slide: 1 The iDRM Management Platform.
CPSC 871 John D. McGregor Process – an introduction Module 0 Session 3.
CPSC 372 John D. McGregor More EPF Module 2 Session 4.
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 4 Slide 1 Software Processes.
21/1/ Analysis - Model of real-world situation - What ? System Design - Overall architecture (sub-systems) Object Design - Refinement of Design.
FOSE-MAS Session Wrap-UP. Major Points (1) Scott DeLoach –We have yet to demonstrate benefits of MAS, address industrial needs –Lack of key concepts,
1 Architectural Design for Multi-Agent Simulation System Presented by: Ameya A. Velankar.
Object Oriented Programming and Data Abstraction Earl Huff Rowan University.
Viewpoint Modeling and Model-Based Media Generation for Systems Engineers Automatic View and Document Generation for Scalable Model- Based Engineering.
Object Oriented Analysis & Design By Rashid Mahmood.
1 La théorie AMAS 1 Conception de systèmes complexes basés sur des mécanismes d’auto-organisation coopératifs IRIT - Institut de Recherche en Informatique.
Designing Agents’ Behaviors and Interactions within ADELFE
Systems Analysis and Design With UML 2
Unified Modeling Language
The Tropos visual modeling language A meta-model.
SOFTWARE LIFE-CYCLES Beyond the Waterfall.
Execute your Processes
Dept. of Computation, UMIST
PASSI (Process for Agent Societies Specification and Implementation)
Information system analysis and design
Presentation transcript:

1 The ADELFE Methodology Concepts and Definition using SPEM Marie-Pierre Gleizes, Frédéric Migeon, Sylvain Roug le, Carole Bernon, Thierry Millan,

2 ADELFE [2000  ]  A toolkit to develop software with emergent functionalities  ADELFE Provides Process Notation Tools

3 ADELFE Overview  Main characteristics: ● Specific agent-based methodology  Exploiting the AMAS Theory → cooperation  Open systems, adaptive to changes in the environment ● For engineers aware of MAS ● Apply MDE principles  Principles ● Based on RUP and standard notations (UML, AUML) ● Top down approach: - analysis phase - identification of agents ● Bottom up approach: - design phase – agent design

4  SPEM general characteristics ● Provide a standard for method description, management, interchange, enactment, etc. ● Provide notations and concepts for method content and process description ● Promote and develop method use and re-usability  SPEM 2.0 new capabilities ● Clear concerns separation -Method content (reusable methodological brick) -Process definition (a particular use of these bricks) ● Re-usability -Method, process plug-in -Process pattern application -Process components SPEM (v1.1/2.0) Software Process Engineering Metamodel

5 SPEM 2.0 Concepts Separation

6 ADELFE SPEM 2.0 Applied Notations  Process definition SPEM 2.0 notations: ● Work product use ● Role use ● Task use ● Process performer (links Role use to Task use) ● Phase: activity special kind (From SPEM2.0 base plug-in)

7 ADELFE Process in SPEM 2.0

8 ADELFE Method Content

9 SPEM 2.0 Workflow

10 ADELFE Method Content

11 SPEM 2.0 Workflow

12 ADELFE Method Content

13 SPEM 2.0 Workflow

14 ADELFE Method Content

15 SPEM 2.0 Workflow

16 ADELFE Method Content

17 Implementation Phase Overview

18 SPEM 2.0 Analysis  Software design process ● Semi-formal description ● Verification, enactment (BPEL) ● CASE tools ● Design process orchestration  AOSE ● Interoperability for agent oriented method contents and processes ● Common frame, language to define agent method ● Ease the definition of Methodological Fragments -Reusable Method library and plugin -Reusable Process components  ADELFE ● Facilitate method adjustment (automatic tools) ● Standard for publication, documentation, etc. ● Support for end-users, web pages, orchestration etc.

19 ADELFE: Key Steps  Environment characterisation ● Entities determination (active/passive) ● Dynamic, static, accessible, continuous, etc.  Definition of non cooperative situations (NCS) ● Between the system and its environment  NCS: kind of exceptions at the agent interaction level  Verify the AMAS adequacy  Agent Identification  Agent Design ● UML models with stereotypes (ADELFE profile) ● Guide to define local rules for agent behaviour  Cooperative attitude

20 ADELFE: Perspective  Analysis and Design phases ● Definition of DSML (AMAS-ML) -Specific concepts with specific notations  Add an Implementation phase ● MDE approach -Model transformations chain -Code generation -Reverse Engineering ● Living Design during the implementation phase -Simulation as a design tool -Simulation for evaluation

21 Thank you for your attention Questions?

22 ADELFE references [Bernon, 2005a] C. Bernon, V. Camps, M-P. Gleizes, G. Picard - Engineering Adaptive Multi-Agent Systems: the ADELFE Methodology - In B. Henderson-Sellers and P. Giorgini (Eds.), Agent-Oriented Methodologies. Idea Group Pub, June 2005, pp [Bernon, 2005b] C. Bernon, M. Cossentino, M-P. Gleizes, P. Turci, F. Zambonelli - A Study of some Multiagent Meta-Models - Fifth International Workshop on Agent-Oriented Software Engineering (AOSE-2004) at the Third International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS 2004), New York City, New York - July 19, 2004 [Picard, 2004a] G. Picard and M-P. Gleizes; The ADELFE Methodology - Designing Adaptive Cooperative Multi-Agent Systems (Chapter 8) - Pages , In F. Bergenti, M-P. Gleizes, and F. Zambonelli, editors, Methodologies and Software Engineering for Agent Systems. The Agent-Oriented Software Engineering handbook. Kluwer Publishing, , [Picard, 2004b]G. Picard, D. Capera, M-P. Gleizes, P. Glize - A Sample Application of ADELFE Focusing on Analysis and Design - The Mechanical Synthesis Problem - Fifth International Workshop Engineering Societies in the Agents World (ESAW'04), Toulouse, France, October 20-22, 200. [Picard, 2003a] PICARD Gauthier - UML Stereotypes Definition and AUML Notations for ADELFE Methodology with OpenTool - First European Workshop on Multi-Agent Systems (EUMAS’03), Oxford, UK, [Bernon, 2003a] C. Bernon, V. Camps, M-P. Gleizes, G. Picard - Designing Agents’ Behaviours within the Framework of ADELFE Methodology - in the Fourth International Workshop "Engineering Societies in the Agents World" (ESAW-2003), October, 2003, Imperial College London. [Bernon, 2003b]C. Bernon, V. Camps, M-P. Gleizes and G. Picard - Tools for Self-Organizing Applications Engineering - The First International Workshop on Engineering Self-Organising Applications (ESOA'03) Melbourne, Australia, July [Bernon, 2002a] C. Bernon, M-P. Gleizes, S. Peyruqueou, G. Picard – ADELFE, a Methodology for Adaptive Multi-Agent Systems Engineering – In Third International Workshop on Engineering Societies in the Agents World (ESAW-2002), September 2002, Madrid. [Bernon, 2002b]C. Bernon, M-P. Gleizes, G. Picard and P. Glize - The Adelfe Methodology For an Intranet System Design - Fourth International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2002), May 2002, Toronto (Ontario, Canada) at CAiSE'02.