Intelligent Agents: Specification, Modeling, and Application