From agent theory to agent construction: A case study | doi.page