Loading...

Design Patterns for Agent-Oriented Software Engineering, and Formalizing Design Patterns

Rahmani, Hazhar | 2012

771 Viewed
  1. Type of Document: M.Sc. Thesis
  2. Language: Farsi
  3. Document No: 44197 (02)
  4. University: Sharif University of Technology
  5. Department: Mathematical Sciences
  6. Advisor(s): Ramezanian, Rasoul
  7. Abstract:
  8. Agent-Oriented Software Engineering is one of the novel and growing paradigms in computer science, which provides systematic approaches for analysis, designing, implementation and maintenance of multi-agent systems. Agents are the main entities of the agent-oriented software systems. Agents are autonomous and behave flexibly and intelligently. This paradigm is appropriate for developing open, complex, flexible and distributed systems. Design pattern is a general reusable solution to a commonly occurring problem within a specific context in software design. Using patterns in software design has many benefits such as increasing the quality and robustness of the software. Regarding the fact that patterns plays an important role in object oriented design, conducting research on agent-oriented design patterns seems indispensible. Using formal methods for specifying design patterns.
    In this thesis, we have first studied agent-oriented software development concepts and methodologies. Then, we have proposed a problem-driven classification schema that is based on the survey we have done on the existing methods and schemas. We have collected about 30 patterns and classified them according to proposed schema. Also, We have investigated and evaluated existing formal methods which have been provided to formalize design patterns and finally we have proposed our method based on first order logic that leads to improvements in comparison with existing methods. Finally we use our approach to formalize some patterns of the Gang of Four catalogue as case study
  9. Keywords:
  10. Software Engineering ; Design Pattern ; Multiagent System ; Formal Methods ; Agent Oriented Software

 Digital Object List

 Bookmark

No TOC