Consistency assurance in flattening hierarchical architectural models

Ruan Jian Xue Bao/Journal of Software

Volumn 17, Issue 6, 2006, Pages 1391-1400

  Yang, Jie ^a   Huang, Gang ^a   Chen, Xiang Ping ^a   Mei, Hong ^a   Cheung, Shing Chi ^b  

^a PEKING UNIVERSITY   (China)

^b HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

Author keywords

Composite component; Consistency; Model transformation; Software architecture

Indexed keywords

ARCHITECTURE; COMPONENTS; ELECTRONIC MAIL;

ARCHITECTURE DESCRIPTION LANGUAGES; COMPOSITE COMPONENT; CONSISTENCY; EMAIL CLIENT; FORMAL DEFINITION; HIERARCHICAL STRUCTURE; MODEL TRANSFORMATION; SOFTWARE ARCHITECTURE; VERIFICATION TOOLS;

SOFTWARE ENGINEERING;

EID: 33746791971     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.1360/jos171391     Document Type: Article

References (23)

1. Huang G, Wang QX, Mei H, Yang FQ. Research on architecture-based reflective middleware. Journal of Software, 2003,14(11): 1819-1826 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/14/1819.htm
2. Medvidovic N, Taylor RN. A classification and comparison framework for software architecture description languages. IEEE Trans. on Software Engineering, 2000,26(1):70-93.
3. Allen J, Garlan D. A formal basis for architectural connection. ACM Trans. on Software Engineering and Methodology, 1997,6(3): 213-249.
4. Garlan D, Monroe R, Wile D. ACME: An architecture description language. In: Johnson JH, ed. Proc. of the Conf. of the Centre for Advanced Studies on Collaborative Research. Toronto: IBM Press, 1997. 7-21.
5. Dashofy EM, Hoek AD, 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.
6. Wang XG, Feng YD, Mei H. ABC/ADL: An XML-based software architecture description language. Journal of Computer Research and Development, 2004,41(9):1521-1531 (in Chinese with English abstract).
7. Magee J, Krammer J. Dynamic structure in software architectures. ACM SIGSOFT Software Engineering Notes, 1996,21(6):3-14.
8. Shaw M, Deline R, Zelesnik G. Abstractions and implementations for architectural connections. In: Press ICS, ed. Proc. of the 3rd Int'l Conf. on Configurable Distributed Systems. Annapolis: IEEE Computer Society Press, 1996. 2-10.
9. Miller G. The magic number seven, plus or minus two: Some limits on our capacity for processing information. The Psychological Review, 1956,63(2):81-97.
10. Bozga M, Daws C, Maler O, Olivero A, Tripakis S, Yovine S. KRONOS: A model-checking tool for real-time systems. In: Hu AJ,. Vardi MY, eds. Proc. of the 10th Int'l Conf. on Computer Aided Verification. LNCS 1427, Vancouver: Springer-Verlag, 1998. 546-550.
11. Paula VCC, Ribeiro-Justo GR, Cunha PRF. Specifying and verifying reconfigurable software architectures. In: Nixon P, Ritchie I, eds. Proc. of the 5th Int'l Symp. on Software Engineering for Parallel and Distributed Systems (PDSE-2000). Limerick: IEEE Computer Society, 2000. 21-31.
12. Rodrigues MJN, Lucena L, Batista T. From acme to CORBA: Bridging the gap. In: Oquendo F, Warboys B, Morrison R, eds. Proc. of the 1st European Workshop of Software Architecture (EWSA'04). LNCS 3047, Berlin, Heidelberg: Springer-Verlag, 2004. 103-114.
13. Magee J, Tseng A, Kramer J. Composing distributed objects in CORBA. In: Proc. of the 3rd Int'l Symp. on Autonomous Decentralized Systems (ISADS'97). Berlin: IEEE, 1997. 257-263.
14. Paula VCC, Bastista T. Mapping an ADL to a component-based application development environment. In: Kutsche RD, Weber H, eds. Proc. of the 5th Int'l Conf. on Fundamental Approaches to Software Engineering (FASE 2002). Berlin, Heidelberg: Springer-Verlag, 2002. 128-142.
15. Mei H, Chen F, Wang QX, Feng YD. ABC/ADL: An ADL supporting component composition. In: George C, Miao H, eds. Proc. of the 4th Int'l Conf. on Formal Engineering Methods. Berlin, Heidelberg: Springer-Verlag, 2002. 38-47.
16. Bass L, Clements P, Kazman R. Software Architecture in Practice. 2nd ed., Boston: Addison Wesley, 2003.
17. Lang F. Compositional verification using SVL scripts. In: Katoen JP, Stevens P, eds. Proc. of the 8th Int'l Conf. on Tools and Algorithms for the Construction and Analysis of Systems. Berlin, Heidelberg: Springer-Verlag, 2002. 465-469.
18. Holzmann GJ. The model checker SPIN. IEEE Trans. on Software Engineering, 1997,23(5):279-295.
19. Victor B, Moller F. The mobility workbench: A tool for the π-calculus. LNCS 818, 1994. 428-440.
20. 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
21. Magee J, Kramer J, Giannakopoulou D. Software architecture directed behaviour analysis. In: Press ICS, ed. Proc. of the 9th Int'l Workshop on Software Specification and Design (IWSSD-9). Ise-shima: IEEE, 1998. 144-146.
22. Mei H, Huang G. PKUAS: An architecture-based reflective component operating platform. In: Kawada S, ed. Proc. of the 10th IEEE Int'l Workshop on Future Trends of Distributed Computing Systems. Suzhou: IEEE Computer Society, 2004. 163-169.
23. Xiang JL, Yang J, Mei H. ABC-Tool: An architecture-based component composition tool. Journal of Computer Research and Development, 2004,41(6):956-964 (in Chinese with English abstract).