The Agricolture Case Study

This example corresponds to a fragment of the early requirements model of an agriculture domain analyzed in an technology transfer project of ITC-irst. This example has been used for explanatory purposes in the paper Agent-oriented modeling by interleaving formal and informal specification accepted in the Agento Oriented Software Engineering Workshop held in Melbourne, Australia - July 15, 2003.

Go back to the Formal Tropos Case Studies list.