Automatic synthesis of agent designs in UML

Johann Schumann, Jon Whittle

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

3 Citations (Scopus)


It is anticipated that the UML, perhaps with domain-specific extensions, will increasingly be used to model and analyse agent-based systems. Current commercial tools for UML, however, contain a number of gaps that limit this growth potential. As an example, there is little or no support for automatic translations between UML notations. We present one such translation — from sequence diagrams to state charts — and discuss how such an algorithm could be used in agent modeling. In contrast to other approaches, our algorithm makes a justified merging of the input sequence diagrams based on simple logical specifications of messages passed between agents/objects, and detects conflicting behaviors in different sequence diagrams. In addition, we generate state charts that make full use of hierarchy, leading to generated designs that more closely resemble those which a designer might produce. This is important in the context of iterative design, since the designer will likely want to modify the generated state charts to refine their behavior.

Original languageEnglish
Title of host publicationFormal Approaches to Agent-Based Systems - 1st International Workshop, FAABS 2000, Revised Papers
EditorsDiana Gordon, James L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff
Number of pages15
ISBN (Print)3540427163, 9783540427162
Publication statusPublished - 1 Jan 2001
Externally publishedYes
EventInternational Workshop on Formal Approaches to Agent-Based Systems 2000 - Greenbelt, United States of America
Duration: 5 Apr 20007 Apr 2000
Conference number: 1st

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


WorkshopInternational Workshop on Formal Approaches to Agent-Based Systems 2000
Abbreviated titleFAABS 2000
Country/TerritoryUnited States of America

Cite this