A method for data-flow analysis of business components
Pages 51 - 60
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.
References
[1]
J. Ackermann and K. Turowski. A Library of OCL Specification Patterns for Behavioral Specification of Software Components. In E. Dubois and K. Pohl, editors, CAiSE 2006, volume 4001 of LNCS, pages 255--269. Springer, 2006.
[2]
A. Borgida, J. Mylopoulos, and R. Reiter. On the frame problem in procedure specifications. IEEE Transactions on Software Engineering, 21(10):785--798, Oct. 1995.
[3]
J. Cabot. From Declarative to Imperative UML/OCL Operation Specifications. In C. Parent, K.-D. Schewe, V. Storey, and B. Thalheim, editors, Conceptual Modeling - ER 2007, volume 4801 of Lecture Notes in Computer Science, pages 198--213. Springer Berlin / Heidelberg, 2007.
[4]
J. Cabot and E. Teniente. Incremental integrity checking of UML/OCL conceptual schemas. Journal of Systems and Software, 82(9):1459--1478, 2009.
[5]
J. Cheesman and J. Daniels. UML Components - a Simple Process for Specifying Component-Based Software. Addison-Wesley, 2001.
[6]
A. Correa, C. Werner, and M. Barros. Refactoring to improve the understandability of specifications written in object constraint language. Software, IET, 3(2):69--90, 2009.
[7]
P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 238--252. ACM, 1977.
[8]
D. D'Souza and A. Wills. Objects, Components and Frameworks With UML: The Catalysis Approach. Addison-Wesley, 1998.
[9]
P. Kosiuczenko. Specification of Invariability in OCL. In O. Nierstrasz, J. Whittle, D. Harel, and G. Reggio, editors, Model Driven Engineering Languages and Systems, volume 4199 of Lecture Notes in Computer Science, pages 676--691. Springer Berlin / Heidelberg, 2006.
[10]
MDT project. MDT/OCL. http://www.eclipse.org/modeling/mdt/?project=ocl.
[11]
A. Rountev. Component-Level Dataflow Analysis. In G. T. Heineman, I. Crnkovic, H. W. Schmidt, J. A. Stafford, C. Szyperski, and K. Wallnau, editors, Component-Based Software Engineering, volume 3489 of Lecture Notes in Computer Science, pages 82--89. Springer Berlin / Heidelberg, 2005.
[12]
C. Saad and B. Bauer. Data-flow based model analysis. In C. Munoz, editor, Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), number NASA/CP-2010-216215, pages 227--231, NASA Langley Research Center, 2010.
[13]
S. Sendall and A. Strohmeier. Using OCL and UML to Specify System Behavior. In T. Clark and J. Warmer, editors, Object Modeling with the OCL, volume 2263 of Lecture Notes in Computer Science, pages 406--409. Springer Berlin / Heidelberg, 2002.
[14]
T. Waheed, M. Iqbal, and Z. Malik. Data Flow Analysis of UML Action Semantics for Executable Models. In I. Schieferdecker and A. Hartman, editors, Model Driven Architecture - Foundations and Applications, volume 5095 of Lecture Notes in Computer Science, pages 79--93. Springer Berlin / Heidelberg, 2008.
Index Terms
- A method for data-flow analysis of business components
Recommendations
Precise and efficient integration of interprocedural alias information into data-flow analysis
Data-flow analysis is a basis for program optimization and parallelizing transformations. The mechanism of passing reference parameters at call sites generates interprocedural aliases which complicate this analysis. Solutions have been developed for ...
Hybrid approach for data-flow analysis of MPI programs
ICS '13: Proceedings of the 27th international ACM conference on International conference on supercomputingWith the increasing cost of developing robust HPC software, precise data-flow analysis for MPI programs -- the mainstay of HPC programming -- are essential. The knowledge of communication is essential for precise data-flow analysis and the difficulty of ...
Comprehensive path-sensitive data-flow analysis
CGO '08: Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimizationData-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex control-flow. We initially perform data-flow analysis to determine those ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
June 2011
214 pages
ISBN:9781450307239
DOI:10.1145/2000229
- General Chairs:
- Ivica Crnkovic,
- Judith A. Stafford,
- Program Chairs:
- Antonia Bertolino,
- Kendra M.L. Cooper
Copyright © 2011 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 20 June 2011
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
Comparch '11
Sponsor:
Comparch '11: Federated Events on Component-Based Software Engineering and Software Architecture
June 20 - 24, 2011
Colorado, Boulder, USA
Acceptance Rates
Overall Acceptance Rate 55 of 147 submissions, 37%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 148Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)0
Reflects downloads up to 13 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in