Component-based construction of concurrent systems with active components

Conference Proceedings of the EUROMICRO

Volumn , Issue , 2009, Pages 497-501

  Lau, Kung Kiu ^a   Ntalamagkas, Ioannis ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Active components; Compositionality; Concurrent systems; Hierarchical composition

Indexed keywords

ACTIVE COMPONENTS; COMPONENT-BASED CONSTRUCTION; COMPOSITION OPERATORS; COMPOSITIONAL REASONING; COMPOSITIONALITY; CONCURRENT SYSTEMS; HIERARCHICAL COMPOSITION; SOFTWARE COMPONENT;

COMPUTER SOFTWARE; MODEL CHECKING;

HIERARCHICAL SYSTEMS;

EID: 74549134002     PISSN: 10896503     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEAA.2009.45     Document Type: Conference Paper

References (23)

1. R. J. Allen. A Formal Approach to Software Architecture. PhD thesis, Sch. of Comp. Sc., Carnegie Mellon, 1997.
2. F. Arbab. Abstract Behavior Types: A Foundation Model for Components and Their Composition. Science of Computer Programming, 55:3-52, 2005.
3. L. Bass, P. Clements, and R. Kazman. Software Architecture in Practice. Addison-Wesley, second edition, 2003.
4. M. Butler and M. Leuschel. Combining CSP and B for specification and property verification. In FM, LNCS 3582, pages 221-236. Springer, 2005.
5. W.-P. de Roever, F. de Boer, U. Hannemann, J. Hooman, Y. Lakhnech, M. Poel, and J. Zwiers, editors. Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2001.
6. S. Ericsson-Zenith. Occam 2 Reference Manual. Prentice-Hall Intern. Series in Comp. Sc.. Prentice Hall, 1987.
7. D. Gelernter and N. Carriero. Coordination languages and their significance. Commun. ACM, 35(2):97-107, 1992.
8. G. Heineman and W. Councill, editors. Component-Based Software Engineering: Putting the Pieces Together. Addison-Wesley, 2001.
9. C. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice Hall, 1985.
10. K.-K. Lau and I. Ntalamagkas. A compositional approach to active and passive components. In Proc. EUROMICRO-SEAA 2008, pages 76-83. IEEE, 2008.
11. K.-K. Lau, M. Ornaghi, and Z. Wang. A Software Component Model and its Preliminary Formalisation. In Proc. FMCO, LNCS 4111, pages 1-21. Springer-Verlag, 2005.
12. K.-K. Lau and F. Taweel. Data encapsulation in software components. In H. Schmidt et al., editor, Proc. CBSE 2007, LNCS 4608, pages 1-16. Springer-Verlag, 2007.
13. K.-K. Lau, P. Velasco Elizondo, and Z. Wang. Exogenous connectors for software components. In Proc. CBSE 2005, LNCS 3489, pages 90-106, 2005.
14. K.-K. Lau and Z. Wang. Software component models. IEEE Trans. on Software Engineering, 33(10):709-724, 2007.
15. J. Magee and J. Kramer. Concurrency: State Models & Java Programs. John Wiley & Sons, 1999.
16. J. Magee, J. Kramer, and D. Giannakopoulou. Behaviour analysis of software architectures. In WICSA, IFIP 140, pages 35-50. Kluwer, 1999.
17. C. McHale. Synchronisation in concurrent, object-oriented languages: expressive power, genericity and inheritance. PhD thesis, University of Dublin, Trinity College, 1994.
18. N. Medvidovic and R. Taylor. A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Trans. Software Eng., 26(1):70-93, 2000.
19. G. A. Papadopoulos and F. Arbab. Coordination Models and Languages, vol. 46: The Eng. of Large Systems of Adv. in Computers, pages 329-400. Academic Press, 1998.
20. S. Schneider and H. Treharne. Communicating B Machines. In ZB, LNCS 2272, pages 416-435. Springer, 2002.
21. C. Szyperski, D. Gruntz, and S. Murer. Component Software: Beyond Object-Oriented Programming. Component Software Series. Addison-Wesley, second edition, 2002.
22. T.S. Taft and R.A. Duff, editors. Ada 95 Reference Manual: Language and Standard Libraries, International Standard ISO/IEC 8652:1995(E), LNCS1246. Springer Verlag, 1997.
23. S. Wang, G. Avrunin, and L. Clarke. Architectural Building Blocks for Plug-and-Play System Design. In CBSE, LNCS 4063, pages 98-113. Springer, 2006.