Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts
| Autor: | Michael Lienhardt, Lorenzo Testa, Gianluca Turin, Ferruccio Damiani |
|---|---|
| Přispěvatelé: | DTIS, ONERA, Université Paris Saclay [Palaiseau], ONERA-Université Paris-Saclay, University of Turin, University of Oslo (UiO) |
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: |
050101 languages & linguistics
Computer science Short paper ComputerApplications_COMPUTERSINOTHERSYSTEMS DELTA-ORIENTED PROGRAMMING 02 engineering and technology Artifact (software development) computer.software_genre Set (abstract data type) [SPI]Engineering Sciences [physics] Software Software_SOFTWAREENGINEERING 0202 electrical engineering electronic engineering information engineering 0501 psychology and cognitive sciences [INFO]Computer Science [cs] [MATH]Mathematics [math] Software product line Core calculus Delta-Oriented Programming Software product line analysis Statechart [PHYS]Physics [physics] CORE CALCULUS business.industry Programming language 05 social sciences Base (topology) SOFTWARE PRODUCT LINE ANALYSIS STATECHART Product (mathematics) Product line 020201 artificial intelligence & image processing business computer |
| Zdroj: | 15th International Conference on Integrated Formal Methods, IFM 2019 15th International Conference on Integrated Formal Methods, IFM 2019, Dec 2019, BERGEN, Norway. ⟨10.1007/978-3-030-34968-4_32⟩ Lecture Notes in Computer Science ISBN: 9783030349677 IFM |
| DOI: | 10.1007/978-3-030-34968-4_32⟩ |
| Popis: | International audience; A Software Product Line (SPL) is a set of programs, called variants, which are generated from a common artifact base. Delta-Oriented Programming (DOP) is a flexible approach to implement SPLs. This short paper summarises the contributions published in [10]. A foundation for rigorous development of delta-oriented product lines of statecharts is provided by defining: a core language for statecharts, DOP on top of it, an analysis ensuring that a product line is well-formed (i.e., all variants can be generated and are well-formed statecharts). An implementation of the analysis has been applied to an industrial case study. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|