IDE & Navigation
Properties & Tools
Demonstrate MBT modeling with submodel
This model was created from the real-world example in the book Practical Model-Based Testing: A Tools Approach, by Mark Utting, Bruno Legeard. Below is an exerpt from the book:
Qui-Donc (literal translation, “Who then?”) is a service provided by France Telecom that does the opposite of the white pages - it allows you to enter a telephone number and find out the name and address associated with the number.
You can find more details about this model from the book page 140-157.