Architecture description Language XADL and architectural mismatch checking

Ruan Jian Xue Bao/Journal of Software

Volumn 13, Issue 12, 2002, Pages 2238-2243

  Zhang, Bo ^a   Feng, Yu Lin ^a   Huang, Tao ^a  

^a INSTITUTE OF SOFTWARE   (China)

Author keywords

Architectural mismatch; Component; Finite state automata; Interface; Software architecture

Indexed keywords

COMPONENTS; COMPUTER ARCHITECTURE; FINITE AUTOMATA; INTERFACES (COMPUTER); MATHEMATICAL MODELS; NETWORK PROTOCOLS;

ARCHITECTURAL MISMATCH; ARCHITECTURE DESCRIPTION LANGUAGES; SOFTWARE ARCHITECTURE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0036973874     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (9)

1. Beugnara, A., Jezequel, J., Plouzeau, N., et at. Making components contract aware. IEEE Computer, 1999, 32(7): 38-45.
2. Orfali, R., Harkey, D., Edwards, J. The Essential Distributed Objects Survival Guide. John Wiley and Sons, Inc., 1996.
3. Yellin, D.M., Strom, R.E. Protocol specification and component adaptors. ACM Transactions on Programming Languages and Systems, 1997,19(2): 292-333.
4. Mehta, N.R., Medvidovic, N., Phadke, S. Towards a taxonomy of software connector. In: Ghezzi, C., Jazayeri, M., Wolf, A., eds. Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000). New York, NY: ACM Press, 2000. 179-185.
5. Garlan, D., Alien, R., Ockerbloom, J. Architectural mismatch: why reuse is so hard. IEEE Software, 1995,12(6): 17-26.
6. Gacek, C., Boehm, B.W. Composing components: how does one detect potential architectural mismatches? In: Workshop on Compositional Software Architectures. 1998. http://www.objs.com/workshops/ws9801/papers/paper050.html.
7. Brand, D., Zafiropulo, P. On communicating finite-state machines. Journal of the ACM, 1983, 30(2): 323-342.
8. Luckham, D.C., Kenney, J.J., Augustin, L.M., et al. Specification and analysis of system architecture using rapide. IEEE Transactions on Software Engineering, 1995, 21(4): 336-355.
9. Zhang, Bo, Ding, Ke, Li, Jing. An XML-message based architecture description language and architectural mismatch checking. In: Proceedings of the 25th Annual International Computer Software and Applications Conference (COMPSAC 2001). 2001. http://dlib. computer.org/conferen/compsac/1372/pdf/l3720561.pdf.