Multiagent systems specification by UML statecharts aiming at intelligent manufacturing.
Toshiaki AraiFrieder StolzenburgPublished in: AAMAS (2002)
Keyphrases
- multiagent systems
- sequence diagrams
- class diagrams
- formal methods
- conceptual modeling
- multi agent
- agent technology
- uml models
- reactive systems
- petri net
- specification language
- autonomous agents
- multiagent planning
- uml class diagrams
- state machine
- uml diagrams
- multiagent architecture
- distributed artificial intelligence
- intermediate representation
- regression testing
- object oriented
- multi agent systems
- class diagram
- multiagent learning
- decentralized control
- software engineering
- conceptual models
- formal specification
- trust model
- agent coordination
- cooperative
- design methodologies
- dynamic environments
- software systems
- model checking
- software agents
- modeling language