A Formalisation of the Soccer Substitution Rules

This paper presents a formal model of the substitution rules for soccer games as they existed at the 1994 World Cup. The model is expressed in VDM and can be animated with the VDMTools environment. The formalisation helps improve the precision of the original rules, stated in natural language. This animation shows that the rules make a useless distinction between goalkeeper and field player substitutions.

• Type: Conference
• Year: 2006
• Where: CAISE
• Authors: Yves Ledru
• Keywords: CAISE 2006, Field Player Substitutions, Formal Model, Information Management, Substitution Rules