Modeling Software Development Methodologies: A Logic Based Approach
  In the last two decades, the growing trend of software development industry has made different aspects of software engineering more interesting for the computer science research community. Software development life-cycle is one of these aspects that has a significant impact on the success/failure of software development projects. Since each software development methodology relatively provides its own software development life-cycle, encoding software development life-cycle in a workflow representation language can help developers to properly manage their software projects. In addition, such encoding can also be used in CASE tools. In this report, we consider the software development life-cycle as a workflow that can be represented by semantic web and rule based languages. Such consideration let one analyze the properties of the life-cycle. Specifically, we take a well-known agent oriented software development methodology and show that its corresponding life-cycle can be specified by Transaction Logic easily and concisely. Finally, the compact and clear representation of the life-cycle in Transaction Logic can be used in CASE tools to guide software developers. 
Farzad Mahdikhani and Mohammad Reza Abbasifard
cs.SE