Component model with support of mobile architectures

CEUR Workshop Proceedings

Volumn 252, Issue , 2007, Pages 55-62

  Rychlý, Marek ^a  

^a BRNO UNIVERSITY OF TECHNOLOGY   (Czech Republic)

Author keywords

Component model; Component based development; Formal specification; Software architecture

Indexed keywords

COMMON FEATURES; COMPONENT MODEL; COMPONENT-BASED DEVELOPMENT; CURRENT THEORIES; DYNAMIC RE-CONFIGURATION; FORMAL SPECIFICATION; MOBILE ARCHITECTURE; SOFTWARE SYSTEMS;

DYNAMIC MODELS; INFORMATION SYSTEMS; SOFTWARE ARCHITECTURE;

SPECIFICATIONS;

EID: 55849089132     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. T. Barros. Formal specification and verification of distributed component systems. PhD thesis, Université de Nice - INRIA Sophia Antipolis, Nov. 2005.
2. E. Bruneton, T. Coupaye, and J.-B. Stefani. The Fractal component model. Draft of specification, version 2.0-3, The Object Web Consortium, Feb. 2004.
3. T. Bureš, P. Hnětynka, and F. Plášil. SOFA 2.0: Balancing advanced features in a hierarchical component model. In Proceedings of SERA 2006, pages 40-48, Seattle, USA, Aug. 2006. IEEE Computer Society.
4. J. Král and M. Žemlička. Autonomous components. In SOFSEM 2000: Theory and Practice of Informatics, Volume 1963 of Lecture Notes in Computer Science, pages 375-383. Springer, 2000.
5. K.-K. Lau and Z. Wang. A survey of software component models (second edition). Pre-print CSPP-38, School of Computer Science, The University of Manchester, Manchester M13 9PL, UK, May 2006.
6. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, part I/II. Journal of Information and Computation, 100:41-77, Sept. 1992.
7. F. Plášil, D. Bílek, and R. Janecek. SOFA/DCUP: Architecture for component trading and dynamic updating. In 4th International Conference on Configurable Distributed Systems, pages 43-51, Los Alamitos, CA, USA, May 1998. IEEE Computer Society.
8. M. Rychlý. Towards verification of systems of asynchronous concurrent processes. In Proceedings of 9th International Conference Information Systems Implementation and Modelling (ISIM'06), pages 123-130. MARQ, Apr. 2006.
9. M. Rychlý and J. Zendulka. Distributed information system as a system of asynchronous concurrent processes. In MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, pages 206-213. Faculty of Information Technology BUT, Oct. 2006.
10. C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison Wesley Professional, second edition, Nov. 2002.