Qualitative Verification of Multi-Agents Reactive Decisional System Using Business Process Modeling Notation.
Mohammed BerradaBouchaib BounabatMostafa HartiPublished in: IAT (2006)
Keyphrases
- business process modeling
- business process
- modeling language
- multi agent
- business processes
- software engineering
- service oriented
- model checking
- model driven architecture
- qualitative and quantitative
- service oriented architecture
- qualitative reasoning
- formal methods
- cooperative
- agent architecture
- metamodel
- agent coordination
- database
- reactive planning
- autonomous agents
- process model
- intelligent agents
- lightweight
- data model
- reinforcement learning
- database systems
- real world