Study on behavioral compatibility of components in software architecture using object-oriented paradigm

Ruan Jian Xue Bao/Journal of Software

Volumn 17, Issue 6, 2006, Pages 1276-1286

  Hu, Hai Yang ^a   Lu, Jian ^a   Ma, Xiao Xing ^a   Tao, Xian Ping ^a  

^a NANJING UNIVERSITY   (China)

Author keywords

Behavioral compatibility; Component; Component composition; Deadlock free; Software architecture

Indexed keywords

ARCHITECTURE; COMPONENTS; COMPOSITION; ELECTRONIC COMMERCE;

BEHAVIORAL COMPATIBILITY; COMPONENT COMPOSITION; DEADLOCK FREE; INTERACTION BEHAVIOR; OBJECT ORIENTED PARADIGM; SOFTWARE ARCHITECTURE (SA); SOFTWARE DEVELOPMENT;

SOFTWARE ENGINEERING;

EID: 33746846584     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.1360/jos171276     Document Type: Article

References (22)

1. Heineman GT, Councill WT. Component-Based Software Engineering. Boston: Addison-Wesley, 2001.
2. Shaw M, Garlan D. Software Architecture: Perspectives on an Emerging Discipline. New Jersey: Prentice Hall, 1996.
3. Inverardi P, Wolf AL. Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Trans. on Software Engineering, 1995,21(4):373-386.
4. Bernardo M, Ciancarini P, Donatiello L. Architecting families of software systems with process algebras. ACM Trans. on Software Engineering and Methodology, 2002,11(4):386-426.
5. Aalst WMP, Hee KM, Toorn RA. Component-Based software architectures: A framework based on inheritance of behavior. Science of Computer Programming, 2002,42:129-171.
6. Mei H, Chen F, Feng YD, Yang J. ABC: An architecture based, component oriented approach to software development. Journal of Software, 2003,14(4):721-732 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/14/721.htm
7. Canal C, Pimentel E, Troya JM. Compatibility and inheritance in software architectures. Science of Computer Programming, 2001,41:105-138.
8. Mei H, Chang JC, Yang FQ. Software component composition based on ADL and middleware. Science in China (Series F), 2001,44(2):136-151.
9. Szyperski C, Gruntz D, Murer S. Component Software: Beyond Object-Oriented Programming. 2nd. Massachusetts: Addison-Wesley Professional, 2002.
10. Vallecillo A, Hernandez J, Troya JM. New issues in object interoperability. In: Proc. of the ECOOP 2000 Workshop on Object Interoperability. LNCS 1964, France, 2000. 256-269.
11. Allen R, Garlan D. A formal basis for architectural connection. ACM Trans. on Software Engineering and Methodology, 1997,6(3):213-249.
12. Aldini A, Bernardo M. On the usability of process algebra: An architectural view. Theoretical Computer Science, 2005, 335:281-329.
13. Magee J, Kramer J. Dynamic structure in software architectures. ACM SIGSOFT Software Engineering Notes, 1996,21(6):3-14.
14. Lu J, Tao XP, Ma XY, Hu H, Xu F, Cao C. On agent-based software model for internetware. Science in China (Series E), 2005, 35(12):1233-1253 (in Chinese with English abstract).
15. Hu HY, Yang M, Tao XP, Lu J. Research and implementation of late assembly technology in cogent. Acta Electronica Sinca, 2002,30(12):1823-1827 (in Chinese with English abstract).
16. Canal 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.
17. Brookes SD, Hoare CAR, Roscoe AW. A theory of communicating sequential processes. Journal of the ACM, 1984,31(3):560-599.
18. Plasil F, Visnovsky S. Behavior protocols for software components. IEEE Trans. on Software Engineering, 2002,28(11):1056-1076.
19. Milner R. Communicating and Mobile Systems: The π-Calculus. Cambridge: Cambridge University Press, 1999.
20. Dashofy EM, Hoek AVD, Taylor RN. A comprehensive approach for the development of modular software architecture description languages. ACM Trans. on Software Engineering and Methodology, 2005,14(2):199-245.
21. Mei H, Cao DG. ABC-S2C: Enabling separation of crosscutting concerns in component-based software development. Chinese Journal of Computers, 2005,28(12):2036-2044 (in Chinese with English abstract).
22. Aldini A, Bernardo M. TwoTowers 4.0: Towards the integration of security analysis and performance evaluation. In: Haverkort B, ed. Proc. of the 1st Int'l Conf. on the Quantitative Evaluation of Systems. Washington: IEEE Computer Society, 2004. 336-337.