On refinement of software architectures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3722 LNCS, Issue , 2005, Pages 469-484

  Meng, Sun ^a,c   Barbosa, Luis S ^b   Naixiao, Zhang ^c  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b UNIVERSITY OF MINHO   (Portugal)

^c PEKING UNIVERSITY   (China)

Author keywords

Coalgebra; Refinement; Software architecture; Software component

Indexed keywords

COMPUTER ARCHITECTURE; HIERARCHICAL SYSTEMS; LOGIC DESIGN; PRODUCT DESIGN; SEMANTICS; SYNTACTICS;

COALGEBRA; COALGEBRAIC SEMANTICS; REFINEMENT; SOFTWARE ARCHITECTURES; SOFTWARE COMPONENTS;

COMPUTER SOFTWARE;

EID: 33646391494     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11560647_31     Document Type: Conference Paper

References (28)

1. Aynur Abdurazik. Suitability of the UML as an Architecture Description Language with Applications to Testing. Technical Report ISE-TR-00-01, Information and software engineering, George Mason University, 2000.
2. Farhad Arbab. Abstract Behavior Types: A Foundation Model for Components and Their Composition. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem-Paul de Roever, editors, Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 2002, Revised Lectures, volume 2852 of LNCS, pages 33-70. Springer, 2003.
3. Farhad Arbab and Jan Rutten. A coinductive calculus of component connectors. In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, volume 2755 of LNCS, pages 34-55. Springer-Verlag, 2003.
4. Luis Soares Barbosa. Towards a Calculus of State-based Software Components. Journal of Universal Computer Science, 9(8):891-909, August 2003.
5. Luís Soares Barbosa and José Nuno Fonseca de Oliveira. State-based components made generic. In H. Peter Gumm, editor, Elect. Notes in Theor. Comp. Sci. (CMCS'03 - Workshop on Coalgebraic Methods in Computer Science), volume 82.1, Warsaw, April 2003.
6. Luís Soares Barbosa, Sun Meng, Bernhard K. Aichernig, and Nuno Rodrigues. On the semantics of componentware: a coalgebraic perspective. In Jifeng He and Zhiming Liu, editors, Mathematical Frameworks for Component Software.- Models for Analysis and Synthesis, chapter 2. World Scientific, 2004. To be published.
7. Alex Berson. Client/Server Architecture. McGraw-Hill, 1992.
8. Grady Booch, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison Wesley, 1999.
9. Willem-Paul de Roever and Kai Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison. Cambridge University Press, 1998.
10. David Garlan. Higher-order connectors. Proceedings of Workshop on Compositional Software Architectures, January 1998.
11. C. A. R. Hoare, He Jifeng, and Jeff W. Sanders. Prespecification in data refinement. Information Processing Letters, 25:71-76, 1987.
12. Charles Antony Richard Hoare. Proof of correctness of data representations. Acta Information, 1:271-281, 1972.
13. John Hunt. The Unified Process for Practitioners: Object Oriented Design, UML and Java. Practitioner. Springer, 2001.
14. Paola Inverardi and Alexander L. Wolf. Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Transactions on Software Engineering, 21(4), 1995.
15. Bart Jacobs and Jesse Hughes. Simulations in coalgebra. In H. Peter Gumm, editor, Elect. Notes in Theor. Comp. Sci. (CMCS'OS - Workshop on Coalgebraic Methods in Computer Science), volume 82, pages 245-263, Warsaw, April 2003.
16. M. A. Marco A. Barbosa and Luís Soares Barbosa. A Relational Model for Component Interconnection. Journal of Universal Computer Science, 10(7):808-823, July 2004.
17. M. A. Marco A. Barbosa and Luís Soares Barbosa. Specifying software connectors. In K. Araki and Z. Liu, editors, 1st International Colloquium on Theorectical Aspects of Computing (ICTAC'04), pages 53-68, Guiyang, China, September 2004. Springer Lect. Notes Comp. Sci. (3407).
18. Sun Meng and Lufs Soares Barbosa. On Refinement of Generic Components. Technical Report 281, UNU/IIST, May 2003.
19. Sun Meng and Luís Soares Barbosa. On Refinement of Generic State-based Software Components. In C. Rattray, S. Maharaj, and C. Shankland, editors, Algebraic Methodology And Software Technology, 10th International Conference, AMAST'04, Proceedings, volume 3116 of LNCS, pages 506-520. Springer, 2004.
20. Robin Milner. Communication and Concurrency. Prentice Hall, 1989.
21. Carroll Morgan. Programming from Specifications, Second Edition. Prentice Hall, 1994.
22. Mark Moriconi, Xiaolei Qian, and R. A. Riemenschneider. Correct architecture refinement. IEEE Transactions on Software Engineering, 21(4):356-372, 1995.
23. OMG. OMG Unified Modeling Language Specification, Version 1.3 , 2000.
24. Jan Philipps and Bernhard Rumpe. Refinement of information flow architectures. In M. Hinchey, editor, Proceedings of ICFEM'97. IEEE CS Press, 1997.
25. James Rumbaugh, Ivar Jacobson, and Grady Booch. The Unified Modeling Language Reference Manual. Addison Wesley Longman, 1999.
26. Jan Rutten. Universal coalgebra: a theory of systems. Theoretical Computer Science, 249:3-80, 2000.
27. J.-G. Schneider and O. Nierstrasz. Components, scripts, glue. In L. Barroca, J. Hall, and P. Hall, editors, Software Architectures - Advances and Applications, pages 13-25. Springer-Verlag, 1999.
28. Mary Shaw and David Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.