Browse > Article

Formal Specification and Modeling Techniques of Component Workflow Variability  

Lee, Jong-Kook (숭실대학교 컴퓨터학과)
Cho, Eun-Sook (동덕여자대학교 정보학부)
Kim, Soo-Dong (숭실대학교 컴퓨터학과)
Publication Information
Journal of KIISE:Software and Applications / v.29, no.10, 2002 , pp. 703-725 More about this Journal
Abstract
It is well recognized that component-based development (CBD) is an effective approach to manage the complexity of modem software development. To achieve the benefits of low-cost development and higher productivity, effective techniques to maximize component reusability should be developed. Component is a set of related concepts and objects, and provides a particular coarse-grained business service. Often, these components include various message flows among the objects in the component, called 'business workflow`. Blackbox components that include but hide business workflow provide higher reusability and productivity. A key difficulty of using blackbox components with business workflow is to let the workflow be customized by each enterprise. In this paper, we provide techniques to model the variability of family members and to customize the business workflow of components. Our approach is to provide formal specification on the component variability, and to define techniques to customize them by means of the formalism.
Keywords
Provide Interface; Required Interface; Component Variability; Workflow; Workflow Variability; Provide Interface; Required Interface;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Smith, G., The Object Specification Language, Kluwer Academic Publisher, 1999
2 Kang, K., 'Issues in Component-Based Software Engineering,' International Workshop on Component-Based Software Engineering 1999
3 Lee, S. D., Yang, Y. J., Cho, E. S., Kim, S. D., 'COMO : A UML-Based Component Development Methodology,' Asia-Pacific Software Engineering Conference(APSEC99), Takamachu, Japan, PP. 54-61, Dec. 7-10, 1999   DOI
4 Herzum, P., Sims, O., Business Component Factory A Comprehensive Overview of Component-Based Development for the Enterprise, Wiley & Sons, 2000
5 D'Souza, D. F., and Wills, A. G., Objects, Components, and Frameworks with UML, Addison Wesley, 1999
6 Sterling Software, 'The COOL:Gen Component Standard3.0,' Sept.1999
7 Jacobson, I., Griss, M., Jonsson, P., Software Reuse Architecture Process and Organization for Business Success, ACM Press, 1997
8 Allen, P., Realizing e-Business with Components, Addison-Wesley, 2000
9 Allen, P., Frost, S., Component-Based Development for Enterprise Systems, Cambridge, 1998
10 Atkinson, C., Component-Based Product Line Engineering with UML, Addison Wesley, 2002
11 Jacobson, I., Booch, G., Rumbaugh, J., The Unified Software Development Process, Addison Wesley, 1999
12 Bergner, K., Rausch, A., Sihling, M., Vilbig, A., Broy, M., 'A Formal Model for Componentware,' Foundations of Component-based System, pp. 189-210, Cambridge, 2000
13 Spivey, J.M., The Z Notation A Reference Manual, URL : http://spivey.oriel.ox.ac.uk/~mike/zrm/, 1992
14 Garlan, G., Monroe, R. T, Wile, D., 'Acme: Architectural Description of Component-Based Systems,' Foundations of Component-based Systems, pp. 47-67, Cambridge, 2000
15 Finkbeiner, B., Kruger, I., 'Using Message Sequence Charts for Component-based Formal Verification,' OOPSLA, October 2001
16 Warmer, J. B., Kleppe, A. G., The Object Constraint Language:Precise Modeling with UML, Addison-Wesley, 1999
17 Smith, G., The Object-Z Specification Language, Kluwer Academic Publishers, 2000
18 Leavens, G. T., Sitraman, M., Foundation of Component-based Systems, Cambridge, 2000
19 Hopkins, J., 'Component Primer,' Communication of the ACM Vol. 43, No. 10, October 2000   DOI   ScienceOn
20 Heineman, G. T., Councill, W. T., Component-based Software Engineering, Addison Wesley, 2001
21 Mahony, B., Jin, S.D., 'Timed Communicating Object Z,' IEEE Transaction on Software Engineering, Vol.26, No.2, February 2000   DOI   ScienceOn
22 Achermann, F., Lumpe, M., Schneider, J., Nierstrasz, O., 'Piccola - a Small Composition Language,' Formal Methods for Distributed Processing - A Survey of Object-Oriented Approaches, Howard Bowman and John Derrick (Eds.), pp. 403-426, Cambridge University Press, 2001
23 UML Specification v1.4, OMG,Inc., September, 2001