Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Software agents
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Exemplary and complete object interaction descriptions
Computer Standards & Interfaces - Special issue on semantics in specifications
Use case driven object modeling with UML: a practical approach
Use case driven object modeling with UML: a practical approach
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
The Design of Intelligent Agents: A Layered Approach
The Design of Intelligent Agents: A Layered Approach
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
A Customizable Coordination Service for Autonomous Agents
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
From Scenarios to Timed Automata: Building Specifications from Users Requirements
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Developing Formal Specifications to Coordinate Heterogeneous Autonomous Agents
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
| Hi-index | 0.00 |
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 UMLnotations. We present one such translation -- from sequence diagrams to statecharts -- 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 statecharts 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 statecharts to refine their behavior.