Abstract
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. In this article, we provide a foundation for rigorous development of delta-oriented product lines of statecharts. We introduce a core language for statecharts, we define DOP on top of it, we present an analysis ensuring that a product line is well-formed (i.e., all variants can be generated and are well-formed statecharts), and we illustrate how an implementation of the analysis has been applied to an industrial case study. • An approach for checking delta-oriented product lines of stratecharts is proposed. • Delta oriented programming is defined on top of a core language for statecharts. • A notion of well-formed statechart is provided. • The proposed approach ensures that all product variants are well-formed statecharts. • An implementation of the approach has been applied to an industrial case study.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
