Software components composition compatibility checking based on behavior description

2009 IEEE International Conference on Granular Computing, GRC 2009

Volumn , Issue , 2009, Pages 757-760

  Chi, Zhang ^a  

^a JIANGXI UNIVERSITY OF FINANCE AND ECONOMICS   (China)

Author keywords

Calculus; Behavioral view; Compatibility; Interface; Software component

Indexed keywords

CALCULUS PROCESS; CLIENT/SERVER APPLICATION; COMPONENT BEHAVIOR; COMPONENT INTERFACES; COMPONENT-BASED SOFTWARE DEVELOPMENT; COMPONENTS INTERACTION; ELECTRONIC COMMERCE APPLICATIONS; FORMAL DESCRIPTION METHODS; INTERFACE DESCRIPTION LANGUAGES; INTERFACE SOFTWARE; MODELING METHOD; OPEN ENVIRONMENT; PROTOCOL INFORMATION; SOFTWARE COMPONENT; TWO-COMPONENT;

CALCULATIONS; COMPUTER SCIENCE; COMPUTER SOFTWARE; ELECTRONIC COMMERCE; GRANULAR COMPUTING;

FORMAL METHODS;

EID: 70449931446     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/GRC.2009.5255001     Document Type: Conference Paper

References (6)

1. Mili H, Mili A, Yacoub S, Addy E. Reuse-Based software Engineering: Techniques, Organization, and Controls. New York: John Wiley and Sons, Inc., 2002.
2. Li CY, Li GS, He PJ. A formal dynamic architecture description language. Chinese Journal of Software, 2006, 17(6):1349-1359.
3. Milner R, Milner-Gulland R. Communicating and Mobile Systems: The π-calculus. Cambridge University Press, 1999.
4. Hu HY, Lv J. Study on behavioral compatibility of components in software architecture using object-oriented paradigm. Journal of software, 2006, 17(6):1276-1286.
5. Frantisek P., Stanislav V. Behavior Protocol for Software Components. In Transactions on Software Engineering. IEEE, January 2002.
6. Cancal C, Fuentes L, Troya JM, Vallecillo A. Extending CORBA interfaces with π-calculus for protocol compatibility. In: Mitchell R, ed. Proc. of the Technology of Object-Oriented Languages and Systems. Washington: IEEE Computer Society. 2000.208-225.