Capturing Task and Dependency Aspects in Agent Oriented Requirement Specifications

A method of capturing task and dependency aspects in an agent oriented requirements methodology based on Formal Tropos is presented. The emphasis is on capturing functional aspects in formal specifications through aspect extensions. With the help of a few examples, the benefit of aspect extensions in terms of reducing scattering from specifications is demonstrated. Development of modularity concerns is an important issue in software engineering as the development and evolution of software is closely tied to the inherent modularity abstractions. Traditional software decomposition methodologies based on object orientation are considered as significant improvements over their procedural counterparts.