A software component model and its preliminary formalisation

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

Volumn 4111 LNCS, Issue , 2006, Pages 1-21

  Lau, Kung Kiu ^a   Ornaghi, Mario ^b   Wang, Zheng ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA REDUCTION; DATA STRUCTURES; SOFTWARE ENGINEERING;

COMPOSITION THEORY; DATA ENCAPSULATION; SOFTWARE COMPONENT MODELS;

COMPUTER SOFTWARE;

EID: 33749616384     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11804192_1     Document Type: Conference Paper

References (30)

1. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services(BPEL4S) - Version 1.1. IBM, http://www-106.ibm.com/developerworks/library/ws-bpel/, 2004.
2. F. Arbab. The IWIM model for coordination of concurrent activities. In P. Ciancarini and C. Hankin, editors, LNCS 1061, pages 34-56. Springer-Verlag, 1996.
3. C. Atkinson, J. Bayer, C. Bunse, E. Kamsties, O. Laitenberger, R. Laqua, D. Muthig, B. Paech, J. Wüst, and J. Zettel. Component-based Product Line Engineering with UML. Addison-Wesley, 2001.
4. J. Barnes. High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley, 2003.
5. D. Box. Essential COM. Addison-Wesley, 1998.
6. M. Broy, A. Deimel, J. Henn, K. Koskimies, F. Plasil, G. Pomberger, W. Pree, M. Stal, and C. Szyperski. What characterizes a software component? Software - Concepts and Tools, 19(1):49-56, 1998.
7. M. Broy and K. Stølen. Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, 2001.
8. E. Bruneton, T. Coupaye, and M. Leclercq. An open component model and its support in Java. In Proc. 7th Int. Symp. on Component-based Software Engineering, pages 7-22. Springer -Verlag, 2004.
9. J.L. Fiadeiro, A.Lopes, and M.Wermelinger. A mathematical semantics for architectural connectors. LNCS 2793, pages 178-221, 2003.
10. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. The Courier pattern. Dr. Dobb's Journal, Feburary 1996.
11. 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.
12. G.T. Heineman and W.T. Councill, editors. Component-Based Software Engineering: Putting the Pieces Together. Addison-Wesley, 2001.
13. IFIP TC2 working conference on Verified Software: Theories, Tools, Experiments, 10-13 October 2005, ETH Zürich, Switzerland, http ://vstte.ethz.ch/.
14. J. Ivers, N. Sinha, and K.C Wallnau. A Basis for Composition Language CL. Technical Report CMU/SEI-2002-TN-026, CMU SEI, 2002.
15. K.-K. Lau and M. Ornaghi. Specifying compositional units for correct program development in computational logic. In M. Bruynooghe and K.-K. Lau, editor, Program Development in Computational Logic, Lecture Notes in Computer Science 3049, pages 1-29. Springer-Verlag, 2004.
16. K.-K. Lau, P. Velasco Elizondo, and Z. Wang. Exogenous connectors for software components. In Proc. 8th Int. SIGSOFT Symp. on Component-based Software Engineering, LNCS 3489, pages 90-106, 2005.
17. K.-K. Lau and Z. Wang. A survey of software component models. Pre-print CSPP-30, School of Computer Science, The University of Manchester, April 2005. http://www.cs.man.ac.uk/cspreprints/PrePrints/cspp30.pdf.
18. K.-K. Lau and Z. Wang. A taxonomy of software component models. In Proc. 31st Euromicro Conference, pages 88-95. IEEE Computer Society Press, 2005.
19. N.R. Mehta, N. Medvidovic, and S. Phadke. Towards a taxonomy of software connectors. In Proc. 22nd Int. Conf. on Software Engineering, pages 178-187. ACM Press, 2000.
20. B. Meyer. The grand challenge of trusted components. In Proc. ICSE 2003, pages 660-667. IEEE, 2003.
21. Sun Microsystems. Enterprise Java Beans Specification, Version 3.0, 2005.
22. O. Nierstrasz, G. Arévalo, S. Ducasse, R. Wuyts, A. Black, P. Müller, C. Zeidler, T. Genssler, and R. van den Born. A component model for field devices. In Proc. 1st Int. IFIP/ACM Working Conference on Component Deployment, pages 200-209. ACM Press, 2002.
23. OMG. UML 2.0 Superstructure Specification, http://www.omg.org/cgi-bin/ doc?ptc/2003-08-02.
24. OMG. CORBA Component Model, V3.0, 2002. http://www.omg.org/technology/ documents/formal/components.htm.
25. F. Plasil, D. Balek, and R. Janecek. SOFA/DCUP: Architecture for component trading and dynamic updating. In Proc. ICCDS98, pages 43-52. IEEE Press, 1998.
26. M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.
27. Sun Microsystems. JavaBeans Specification, 1997. http://java.sun.com/ products/javabeans/docs/spec.html.
28. C. Szyperski, D. Gruntz, and S. Murer. Component Software: Beyond Object-Oriented Programming. Addison-Wesley, second edition, 2002.
29. E. Thomas. Service-Oriented Architecture: Concepts, Technology, and Design. Prentice Hall, 2005.
30. R. van Ommering, F. van der Linden, J. Kramer, and J. Magee. The Koala component model for consumer electronics software. IEEE Computer, pages 78-85, March 2000.