• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Research on Dependence Analysis of Aspect-Oriented Programs and Its Applications

Research Project

Project/Area Number 15500027
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Software
Research InstitutionFUKUOKA INSTITUITE OF TECHNOLOGY

Principal Investigator

ZHAO Jianjun  Fukuoka Institute of Technology, Faculty of Information Engineering, Associate Professor, 情報工学部, 助教授 (20299580)

Project Period (FY) 2003 – 2004
Project Status Completed (Fiscal Year 2004)
Budget Amount *help
¥2,900,000 (Direct Cost: ¥2,900,000)
Fiscal Year 2004: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 2003: ¥1,900,000 (Direct Cost: ¥1,900,000)
KeywordsAspect-Oriented Progeramming / Program Dependence Analysis / Development Environment / Software Measurement / Program Slicing
Research Abstract

This research is aimed to provide a basis for constructing aspect-oriented software development environment. To this end, some new types of program dependencies between statements in aspect-oriented programs are identified and explicitly represented using a dependence-based representation called aspect-oriented system dependence graph (AOSDG). Based on the AOSDG, the research carried out the following researches.
(1) An arc-classified digraph called aspect-oriented control flow graph (AOCFG) has been defined to represent various lands of control-flows in an aspect-oriented program. Based the AOCFG, some types of program dependencies for aspect-oriented programs has been defined and a dependence-based representation called aspect-oriented system dependence graph (AOSDG) has been constructed
(2) Based on the AOSD^G, a static slicing algorithm for aspect-oriented programs has been developed
(3) A metrics suite for assessing the complexity of aspect-oriented programs has been proposed based on the AOSDG
(4) A static slicing tool for computing static slices of aspect-oriented programs has been developed
(5) An integrated development environment for aspect-oriented software has been constructed

Report

(3 results)
  • 2004 Annual Research Report   Final Research Report Summary
  • 2003 Annual Research Report
  • Research Products

    (23 results)

All 2005 2004 Other

All Journal Article (15 results) Book (2 results) Publications (6 results)

  • [Journal Article] A Dependence Model for Concurrency in Java Programs2005

    • Author(s)
      Jianjun Zhao
    • Journal Title

      INFORMATION : An International Journal Vol.8, No.1

      Pages: 111-126

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] A Dependence Model for Concurrency in Java Programs2005

    • Author(s)
      Jianjun Zhao
    • Journal Title

      INFORMATION : An International Journal Vol.8 No.1

      Pages: 111-126

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Architectural Slicing in Supporting System Evolution2005

    • Author(s)
      Jianjun Zhao, Limin Xiang
    • Journal Title

      Managing Corporate Information Systems Evolution and Maintenance (K. Khan and Y. Zheng (Eds.))

      Pages: 197-210

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] A Dependence Model for Concurrency in Java Programs2005

    • Author(s)
      Jianjun Zhao
    • Journal Title

      INFORMATION : An International Journal Vol.8,No.1

      Pages: 111-126

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A Model for Slicing Java Programs Hierarchically2004

    • Author(s)
      B.Li, X.Fan, J.Pang, J.Zhao
    • Journal Title

      Journal of Computer Science and Technology Vol.9, No.6

      Pages: 848-858

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Complexity Metrics for Software Architectures2004

    • Author(s)
      Jianjun Zhao
    • Journal Title

      IEICE Transactions on Information and Systems Vol.E87-D No.8

      Pages: 2152-2156

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Annual Research Report 2004 Final Research Report Summary
  • [Journal Article] Visualizing Control Flows in Bytecode Programs2004

    • Author(s)
      Jianjun Zhao, Bixin Li
    • Journal Title

      Proc.International Conference on information (Information'2004)

      Pages: 540-543

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Dependence-Based Representation for Concurrent Java Programs and Its Application to Slicing2004

    • Author(s)
      Jianjun Zhao, Bixin Li
    • Journal Title

      Proc.International Symposium on Future Software Technology 2004 (ISFST'2004)

      Pages: 250-255

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Annual Research Report 2004 Final Research Report Summary
  • [Journal Article] Measuring Coupling in Aspect-Oriented Systems2004

    • Author(s)
      Jianjun Zhao
    • Journal Title

      10th International Software Metrics Symposium (METRICS'2004) (WEBで出版)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] A Model for Slicing Java Programs Hierarchically2004

    • Author(s)
      B.Li, X.Fan, J.Pang, J.Zhao
    • Journal Title

      Journal of Computer Science and Technology Vol.9 No.6

      Pages: 848-858

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Visualizing Control Flows in Bytecode Programs2004

    • Author(s)
      Jianjun Zhao, Bixin Li
    • Journal Title

      Proc. International Conference on Information (Information'2004)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Dependence-Based Representation for Concurrent Java Programs And Its Application to Slicing2004

    • Author(s)
      Jianjun Zhao, Bixin Li
    • Journal Title

      Proc. International Symposium on Future Software Technology 2004 (ISFST'2004)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Measuring Coupling in Aspect-Oriented Systems2004

    • Author(s)
      Jianjun Zhao
    • Journal Title

      10th International Software Metrics Symposium (METRICS'2004)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Annual Research Report 2004 Final Research Report Summary
  • [Journal Article] A Model for Slicing Java Programs Hierarchically2004

    • Author(s)
      B.Li, X.Fan, J.Pang, I.Zhao
    • Journal Title

      Journal of Computer Science and Technology Vol.9,No.8

      Pages: 848-858

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Visualizing Control Flows in Bytecode Programs2004

    • Author(s)
      Jianjun Zhao, Bixin Li
    • Journal Title

      Proc.International Conference on Information (Information'2004)

    • Related Report
      2004 Annual Research Report
  • [Book] "Architectural Slicing in Supporting System Evolution" in Managing Corporate Information Systems Evolution and Maintenance (K.Khan and Y.Zheng (Eds.))2005

    • Author(s)
      Jianjun Zhao, Limin Xiang
    • Publisher
      Idea Group Publishing
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Book] "Architectural Slicing in Supporting System Evolution" in K.Khan and K.Zheng (Eds.) Managing Corporate Information Systems Evolution and Maintenance2005

    • Author(s)
      Jianjun Zhao, Limin Xiang
    • Publisher
      Idea Group Publishing
    • Related Report
      2004 Annual Research Report
  • [Publications] Jianjun Zhao: "Measuring Aspect Cohesion"Proc.International Conference on Fundamental Approaches to Software Engineering (FASE'2004). 54-68 (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] Jianjun Zhao: "Data-Flow-Based Unit Testing of Aspect-Oriented Programs"Proceedings of the 27th Annual IEEE International Computer Software and Applications Conference (COMPSAC'2003). 188-197 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] M.Iwamoto, Jianjun Zhao: "Refactoring Aspect-Oriented Programs"4th AOSD Modeling With UML Workshop, UML'2003. (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] Jianjun Zhao, Martin Rinard: "Pipa : A Behavioral Interface Specification Language for AspectJ"Proceedings of Fundamental Approaches to Software Engineering (FASE' 2003). 150-165 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] J.Zhao, C.Lu, B.Xu: "A Toolkit for Java Bytecode Analysis"Proc.7th IASTED International Conference on Software Engineering and Applications (SEA'2003). (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] L.Xiang, K.Ushijima, J.Zhao: "An O(1) Time Algorithm for Generating Restricted Permutations"Parallel Processing Letters. Vol.12,No.3. 365-374 (2003)

    • Related Report
      2003 Annual Research Report

URL: 

Published: 2003-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi