Modelling “Operation-Calls” in Event-B with Shared-Event Composition

Keyphrases

• High-integrity Systems 100%
• Event Composition 100%
• Event Modeling 50%
• Reuse Strategy 50%
• Mathematical Rigour 50%
• Reusability 50%
• Flexible Development 50%
• Engineering Process 50%
• Invocation 50%
• Composition Approach 50%
• Formal Methods 50%
• Levels of Abstraction 50%
• Efficient Development 50%
• Reusable Components 50%

Computer Science

• Top-Down Approach 50%