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 条
  • [1] Szyperski C., Component Software Beyond Object-Oriented Programming, (2002)
  • [2] Heineman G. T., Councill W. T., Component Based Software Engineering - Putting the Pieces Together, (2001)
  • [3] Rausch A., Reussner R., The Common Component Modeling Example: Comparing Software Component Models, LNCS, (2008)
  • [4] Bruneton E., Coupaye T., Leclercq M., Quema V., Stefani J.-B., The Fractal Component Model and its Support in Java, Software: Practice and Experience, 36, 11- 12, pp. 1257-1284, (2006)
  • [5] Plasil F., Visnovsky S., Behavior Protocols for Software Components, IEEE Transactions on Software Engineering, 28, 11, pp. 1056-1076, (2002)
  • [6] Enterprise JavaBeans 3.0 Specification, (2006)
  • [7] CORBA Component Model 4.0 Specification, (2006)
  • [8] Allen R. J., A Formal Approach to Software Architecture, (1997)
  • [9] Magee J., Dulay N., Eisenbach S., Kramer J., Specifying Distributed Software Architectures, Proceedings of the 5th European Software Engineering Conference (ESEC'95), volume 989 of LNCS, pp. 137-153, (1995)
  • [10] Meyer B., The Grand Challenge of Trusted Components, Proceedings of the 25th International Conference on Software Engineering (ICSE'03), pp. 660-667, (2003)
1234