A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool

Autor: Hendriks, Dennis, Aslam, Kousar, Margaria, Tiziana, Steffen, Bernhard
Přispěvatelé: Margaria, Tiziana, Steffen, Bernhard, Software and Sustainability (S2), Network Institute, Software & Services
Jazyk: angličtina
Rok vydání: 2022
Předmět:
Zdroj: Hendriks, D & Aslam, K 2022, A Systematic Approach for Interfacing Component-Based Software with an Active Automata Learning Tool . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II . vol. 2, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13702 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 216-236, 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, Rhodes, Greece, 22/10/22 . https://doi.org/10.1007/978-3-031-19756-7_13
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II, 2, 216-236
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering ISBN: 9783031197550
DOI: 10.1007/978-3-031-19756-7_13
Popis: Applying Model-Driven Engineering can improve development efficiency. But gaining such benefits for legacy software requires models, and creating them manually is both laborious and error prone. Active automata learning has the potential to make it cost-effective, but practitioners face practical challenges applying it to software components of industrial cyber-physical systems. To overcome these challenges, we present a framework to learn the behavior of component-based software with a client/server architecture, focusing on interfacing isolated component code with an active learning tool. An essential part of the framework is an interfacing protocol that provides a structured way of handling the (a)synchronous communications between the component and learning tool. Our main contribution is the systematic derivation of such interfacing protocols for component-based software, which we demonstrate on the software architecture of ASML, a leading company in developing lithography machines. Through several practical case studies we show that our semi-automatic approach enables setting up a learning environment to learn component behaviors within hours. The protocol’s responsibilities and the way it handles different communication types apply to component-based software in general. Our framework could thus be adapted for companies with similar software architectures.
Databáze: OpenAIRE
Externí odkaz: