A component model with support of mobile architectures and formal description

• Autorzy: Rychly M.
• Języki publikacji: EN

Abstrakty

EN

Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specification of behaviour and interfaces of the systems' parts are necessary, as well as specification of their interaction. Moreover, the systems have to deal with many problems including the ability to clone components and to move the copies across a network (component mobility), creation, destruction and updating of components and connections during the systems' run-time (dynamic reconfiguration), maintaining components' compatibility, etc. In this paper, we present the component model that addresses component mobility including dynamic reconfiguration, allows to combine control and functional interfaces, and separates a component's specification from its implementation.We focus on the formal basis of the component model in detail. We also review the related research on the current theory and practice of formal component-based development of software systems.

Słowa kluczowe

EN

SOFA; model Fractal; meta-model; component mobility

• Wydawca: Oficyna Wydawnicza Politechniki Wrocławskiej
• Czasopismo: e-Informatica Software Engineering Journal
• Rocznik: 2009
• Tom: Vol. 3, nr 1
• Strony: 9--25
• Opis fizyczny: Bibliogr. 21 poz.

Twórcy

autor

Rychly M.

• Department of Information Systems, Faculty of Information Technology, Brno University of Technology, Bozetechova 2, 612 66 Brno, Czech Republic

Bibliografia

• [1] ArchWare project. http://www.arch-ware.org/, Nov. 2006.
• [2] T. Barros. Formal specification and verification of distributed component systems. PhD thesis, Universit´e de Nice – INRIA Sophia Antipolis, Nov. 2005.
• [3] E. Bruneton, T. Coupaye, and J.-B. Stefani. The Fractal component model. Draft of specification, version 2.0-3, The ObjectWeb Consortium, Feb. 2004.
• [4] F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T. J. Grose. Eclipse Modeling Framework. The Eclipse Series. Addison Wesley Professional, Aug. 2003.
• [5] T. Bures, P. Hnetynka, and F. Plasil. SOFA 2.0: Balancing advanced features in a hierarchical component model. In Proceedings of SERA 2006, Seattle, USA, 2006. IEEE Computer Society.
• [6] J. Kr´al and M. ˇZemliˇcka. Autonomous components. In SOFSEM 2000: Theory and Practice of Informatics, volume 1963 of Lecture Notes in Computer Science. Springer, 2000.
• [7] J. Kral and M. Zemlicka. Software confederations and alliances. In CAiSE Short Paper Proceedings, volume 74 of CEUR Workshop Proceedings, pages 229–232. CEUR-WS.org, 2003.
• [8] K.-K. Lau and Z. Wang. A survey of software component models (second edition). Pre-print CSPP-38, School of Computer Science, University of Manchester, Manchester, UK, May 2006.
• [9] V. Mencl. Component definition language. Master’s thesis, Charles University, Prague, 1998.
• [10] R. Milner, J. Parrow, and D.Walker. A calculus of mobile processes, parts I and II. Journal of Information and Computation, 100:41–77, Sept. 1992.
• [11] D. E. Perry and A. L. Wolf. Foundations for the study of software architecture. SIGSOFT Software Engineering Notes, 17(4):40–52, Oct. 1992.
• [12] F. Plasil, 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.
• [13] M. Rychl´y. 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.
• [14] M. Rychl´y. Component model with support of mobile architectures. In Information Systems and Formal Models, pages 55–62. Faculty of Philosophy and Science in Opava, Silesian University in Opava, Apr. 2007.
• [15] M. Rychl´y 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. Faculty of Information Technology BUT, 2006. A Component Model with Support of Mobile Architectures and Formal Description 25
• [16] D. Sangiorgi and D. Walker. The π-Calculus: A Theory of Mobile Processes. Cambridge University Press, First paperback edition, Oct. 2003.
• [17] C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison Wesley Professional, second edition, Nov. 2002.
• [18] The Eclipse Foundation. Eclipse Graphical Modeling Framework (GMF). http://www. eclipse.org/gmf/, Sept. 2007.
• [19] The Eclipse Foundation. Eclipse Modeling Framework Project (EMF). http://www. eclipse.org/modeling/emf/, Sept. 2007.
• [20] Unified Modeling Language, version 1.5. Document formal/03-03-01, Object Management Group, 2003.
• [21] S. Visnovsk´y. Modeling software components using behavior protocols. PhD thesis, Dept. of Software Engineering, Faculty of Mathematics and Physics, Charles University, Prague, 2002.