Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B

Keyphrases

• Fault-tolerant 100%
• Goal-oriented Development 100%
• Pattern-based 100%
• Formal Modeling 50%
• Goal Orientation 50%
• Pattern-based Approach 50%
• Multi-agent Systems 50%
• Warehouse Management System 50%
• Smart Warehouse 50%
• System Behavior 50%
• Fault Tolerance Mechanism 50%
• Formal Pattern 50%
• Reachability 50%

Computer Science

• Fault Tolerant 100%
• Multi Agent Systems 50%
• Fault Tolerance Mechanism 50%
• Case Study 50%
• formal modeling 50%
• System Behavior 50%