A combined specification language and development framework for agent-based application engineering