The Formal Specification of a Kitchen Environment

Programming allows children to acquire problem-solving skills that will be useful to them throughout their life. Tools that have successfully attracted children to programming in the past are now outdated because children’s interests have evolved with the technology. It has become more important to provide real-world experience to improve children’s ability in solving real problems. As our previous studies with children suggest, cooking is appealing to both girls and boys. However, the challenge is to come up with a formal specification of cooking that is precise and complete, but still is an age-appropriate and fun activity for children. Therefore, this paper attempts to formalize an event-based cooking language using formal specification methods.