Component-based software engineering* the need to linie methods and their theories

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

Volumn 3722 LNCS, Issue , 2005, Pages 70-95

  He, Jifeng ^a,c   Li, Xiaoshan ^b   Liu, Zhiming ^a  

^a UNITED NATIONS UNIVERSITY   (Macao)

^b UNIVERSITY OF MACAU   (Macao)

^c EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

Components; Composition; Consistency; Contracts; Functionality; Interfaces; Protocols; Refinement; Simulation

Indexed keywords

COMPONENTS; COMPUTER SIMULATION; CONTRACTS; FORMAL LOGIC; INTERFACES (COMPUTER); LOGIC DESIGN; NETWORK PROTOCOLS;

CONSISTENCY; FUNCTIONALITY; REFINEMENT;

SOFTWARE ENGINEERING;

EID: 33646430566     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (41)

1. R. Allen. A Formal Approach to Software Architecture. PhD thesis, Carnegie Mellon, School of Computer Science, 1997.
2. R. Allen and D Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, 6(3):213 - 249, 1997.
3. F. Arbab. Reo: A channeled based coordination model for components composition. Mathematical Structures in Computer Science, 14(3):329-366, 2004.
4. L. Bass, P. Clements, and R. Kazman. Software Architecture in Practice. Addison-Wesley, 1999.
5. G. Beneken and U. Hammerschall et al. Componentware - sate of the art 2003. Background Paper for Understanding Components Workshop of the CUE Initiative, 2003.
6. M. Broy. Multi-view modeling of software systems. In Z.Liu and J. He, editors, Mathematical Frameworks for Component Software: Models for Analysis and Synthesis. World Scientific, to appear.
7. M. Broy and K. Stølen. Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement. Springer, 2001.
8. M.R.V. Chaudron and E. de Jong. Components are from Mars. In Proc. 15 IPDPS 2000 Workshops on Parallel and Distributed Processing, Lecture Notes In Computer Science; Vol. 1800, pages 727 - 733, 2000.
9. E.W. Dijkstra. A Discipline of Programming. Prentece-Hall, INC, 1976.
10. D. D'Souza and A.C. Wills. Objects, Components and Framework with UML: The Catalysis Approach. Addison-Wesley, 1998.
11. Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westkämper, editors. Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, volume 3147 of Lecture Notes in Computer Science. Springer, 2004.
12. D. Garlan, R.T. Monroe, and D. Wile. Acme: Architectural description of component-based systems. In G.T. Leavens and M. Sitaraman, editors, Foundations of Component-Based Systems, pages 47-68. Cambridge University Press, 2000.
13. G. Gössler and J. Sifakis. Composition for component-based modeling. Science of Computer Programming, 55(1-3), 2005.
14. J. He, Z. Liu, and X. Li. rCOS: A refinement calculus for object systems. Technical Report UNU-IIST Report No 322, UNU-IIST, P.O. Box 3058, Macau, March 2005.
15. J. He, Z. Liu, and X. Li. A theory of contracts. Technical Report UNU-IIST Report No 327, UNU-IIST, P.O. Box 3058, Macau, July 2005.
16. J. He, Z. Liu, X. Li, and S. Qin. A relational model of object oriented programs. In Proceedings of the Second ASIAN Symposium on Programming Languages and Systems (APLAS04), Lecture Notes in Computer Science 3302, pages 415-436, Taiwan, March 2004. Springer.
17. T. Henzinger, Z. Manna, and A. Pnueli. Temporal proof methodologies for real-time systems. In Proceedings of the 8th ACM Annual Symposium on Principles of Programming Languages, pages 269-276, U.S.A, 1991. ACM Press.
18. C.A.R. Hoare and J. He. Unifying theories of programming. Prentice-Hall International, 1998.
19. Tony Hoare. The verifying compiler: A grand challenge for computer research. Journal of the ACM, 50(1):63-69, 2003.
20. J.P. Holmegaard, J. Knudsen, P. Makowski, and A.P. Ravn. Formalization in component based development. In Z.Liu and J. He, editors, Mathematical Frameworks for Component Software: Models for Analysis and Synthesis. World Scientific, to appear.
21. D. Hybertson. A uniform component modeling space. Informatica, 25:475-482, 2001.
22. L. Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Pearson Education, Inc., 2002.
23. Z. Liu, J. He, and X. Li. Contract-oriented development of component software. In Proc. 3rd IFIP International Conference on Theoretical Computer Science.
24. Z. Liu, J. He, and X. Li. rCOS: Refinement of component and object systems. Invited Talk at 3rd International Symposium on Formal Methods for Component and Object Systems. To Appear in Lecture Notes of Computer Science, 2005.
25. Z. Liu and M. Joseph. Specification and verification of fault-tolerance, timing and scheduling. ACM Transactions on Languages and Systems, 21(1):46-89, 1999.
26. D.C. Luckham and J. Vera. An event-based architecture definition language. IEEE Transactions on Software Engineering, 21(9):717-734, 1995.
27. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In Proc. of 5th European Software Engineering Conference (ESEC95), pages 137-153. Springer-Verlag, 1995.
28. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991.
29. N. Medvidovic and R.N. Taylor. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26(1):70-93, 2000.
30. A. Pnueli. Looking ahead. Workshop on The Verification Grand Challenge February 21-23, 2005 SRI International, Menlo Park, CA.
31. R. Pooley and P. Steven. Using UML: Software Engineering with Objects and Component. Addison-Wesley, 1999.
32. T. Rentsch. Object-oriented programming. SIGPLAN Notices, 17(2):51, 1982.
33. R. Roshandel, B. Schmerl, N. Medvidovic, D. Garlan, and D. Zhang. Understanding tradeoffs among different architectural modeling approaches. In Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA04).
34. J.-G. Schneider and O. Nierstrasz. Components, scripts and glue. In L. Barroca, J. Hall, and P. Hall, editors, Software Architectures Advances and Applications, pages 13 - 25. Springer, 1999.
35. B. Selic, G. Gullekson, and P.T. Ward. Real-Time object-oriented modeling. Wiley, 1994.
36. M. Shaw and D. Garlan. Software Architectures: Perspectives on an Emerging Discipline. Prentice Hall, 1996.
37. I. Sommerville. Software Engineering (6th Edition). Addison-Wesley, 2001.
38. C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley, 1997.
39. R.N. Taylor, N. Medvidovic, K.M. Anderson, E. J. Whitehead Jr., I.E. Robbins, K.A. Nies, P. Oreizy, and D.L. Dubrow. A component- and message-based architectural style for gui software. IEEE Transactions on Software Engineering, 22(6):390 - 406, 1996.
40. A. van de Hoek, M. Rakic, R. Roshandel, and N, Medvidovic. Taming architecture evolution. In Proceedings of the 6th European Software Engineering Conference (ESEC) and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), 2001.
41. M. Wirsing and M. Broy. Algebraic state machines. In T. Rus, editor, Proc. 8th Internat. Conf. Algebraic Methodology and Software Technology, AMAST 2000. LNCS 1816, pages 89-118. Springer, 2000.