A method for data-flow analysis of business components

Taku Inoue, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Separation of concerns is an important aspect of component-based development (CBD), and managing data is a primary concern in enterprise systems. In CBD methods, such as Catalysis and UML components, this concern is addressed by business components. Although a business component is self-contained, having no direct dependency on any of the other components, the data propagation between components may lead to indirect data dependencies across the business components, and grasping such dependencies at design-time is crucial to maintaining data consistency. In this paper we propose a method for data-flow analysis (DFA) of the business component model, in which the operational behavior is described using the Object Constraint Language (OCL) pre-postconditions. Traditional DFA techniques are aimed at procedural descriptions, while OCL is a declarative language whose essential properties include nondeterminism and incompleteness. In order to extract a data-flow from the OCL descriptions taking account of their semantics, our proposed method applies the idea of abstract interpretation. We also analyze the safety of our abstract interpretation technique, and discuss the usefulness and scalability of the method from a practical viewpoint. The proposed method, when used in conjunction with the inter-procedural DFA techniques, would allow us to extract the propagation and dependency of data across the business components automatically.

Original languageEnglish
Title of host publicationCompArch'11 - Proceedings of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture - CBSE'11
Pages51-60
Number of pages10
DOIs
Publication statusPublished - 2011 Jul 25
Event14th ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE'11, Held as Part of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture, CompArch'11 - Boulder, CO, United States
Duration: 2011 Jun 202011 Jun 24

Publication series

NameCompArch'11 - Proceedings of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture - CBSE'11

Other

Other14th ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE'11, Held as Part of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture, CompArch'11
CountryUnited States
CityBoulder, CO
Period11/6/2011/6/24

    Fingerprint

Keywords

  • component
  • data-flow analysis
  • ocl
  • uml

ASJC Scopus subject areas

  • Hardware and Architecture
  • Software

Cite this

Inoue, T., & Honiden, S. (2011). A method for data-flow analysis of business components. In CompArch'11 - Proceedings of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture - CBSE'11 (pp. 51-60). (CompArch'11 - Proceedings of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture - CBSE'11). https://doi.org/10.1145/2000229.2000237