Formal verification issues for component-based development

被引：0
作者：
Hariati M. [1 ]
机构：
[1] Computer Science Department, LISCO Laboratory Badji Mokhtar-Annaba University, Annaba
来源：
Informatica (Slovenia) | 2020年 / 44卷 / 04期
关键词：
Classification; Component-based development; Formal verification;
D O I：
10.31449/INF.V44I4.3152
中图分类号：
学科分类号：
摘要：
Component-based development has made a breakthrough in software industry, it offers safer systems and easier to maintain, furthermore, costs and time to market are reduced. However, several issues, such as the correctness of component-based systems, their adaptation or the interactions between their components, require rigorous verification through the use of formal methods and tools. In this paper, we first present an introduction to component-based development; afterward we propose a classification of formal verification issues for component-based systems. © 2020 Slovene Society Informatika. All rights reserved.
引用
收藏
页码：469 / 475
页数：6
相关论文
共 35 条
  • [21] Desnos N., Vauttier S., Urtado C., Huchard M., Software Architecture, volume 4344 of LNCS, chapter Automating the Building of Software Component Architectures, pp. 228-235, (2006)
  • [22] Zimmerova B., Component Placement in Distributed Environment w.r.t. Component Interaction, Proceedings of the Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'06), pp. 260-267, (2006)
  • [23] Waewsawangwong P., A Constraint Architectural Description Approach to Self-Organising Component-Based Software Systems, Proceedings of the International Conference on Software Engineering (ICSE'04), pp. 81-83, (2004)
  • [24] Zimmerova B., Varekova P., Reecting Creation and Destruction of Instances in CBSs Modelling and Verification, Proceedings of the Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'07), pp. 257-264, (2007)
  • [25] Parzek P., Plasil F., Kofro J., Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker, Proceedings of the Software Engineering Workshop (SEW'06), pp. 133-141, (2006)
  • [26] Mariani L., Pezzue M., A Technique for Verifying Component-Based Software, Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS'04), 116, pp. 17-30, (2005)
  • [27] Parzek P., Plasil F., Kofron J., Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker, Proceedings of the Software Engineering Workshop (SEW'06), pp. 133-141, (2006)
  • [28] LARSEN Kim G., PETTERSSON Paul, YI Wang, UPPAAL in a nutshell, International journal on software tools for technology transfer, 1, 1-2, pp. 134-152, (1997)
  • [29] CRNKOVIC Ivica, CHAUDRON Michel, SENTILLES Severine, Et al., A classification framework for component models, Software Engineering Research and Practice in Sweden, (2007)
  • [30] POIZAT Pascal, ROYER Jean-Claude, SALAUN Gwen, Formal methods for component description, coordination and adaptation, 4, pp. 89-100, (2004)
1234