A Conceptual Modelling Approach to Software Variability

 |  Login

Show simple item record

dc.contributor Aalto-yliopisto fi
dc.contributor Aalto University en
dc.contributor.author Asikainen, Timo
dc.date.accessioned 2012-08-20T10:07:27Z
dc.date.available 2012-08-20T10:07:27Z
dc.date.issued 2008
dc.identifier.isbn 978-951-22-9485-5
dc.identifier.isbn 978-951-22-9484-8 (printed) #8195;
dc.identifier.issn 1795-4584
dc.identifier.uri https://aaltodoc.aalto.fi/handle/123456789/4505
dc.description.abstract Variability is the ability of a system to be efficiently extended, changed, customised or configured for use in a particular context. Increasing amounts of variability are required of software systems. The number of possible variants of a software system may become very large, essentially infinite. Efficient methods for modelling and reasoning about software variability are needed and numerous such languages have been developed. Most of these languages either lack a solid conceptual foundation or a rigorous formal semantics, or both. In this dissertation, three novel software variability modelling languages, KOALISH, FORFAMEL and KUMBANG, which synthesises KOALISH and FORFAMEL, are developed. The languages are based on concepts found relevant to modelling software variability in scientific literature and practice, namely features and software architecture. They synthesise and clarify the concepts defined in a number of previous languages. Ideas first developed in product configuration research for modelling variability in non-software products are elaborated and integrated into the languages. A formal semantics is given for the languages by translation to weight constraint rule language (WCRL). One of the goals of this dissertation is to enable the representation of software variability knowledge at different levels of abstraction in a uniform manner, preferably using an existing conceptual modelling language with a formal semantics. Unfortunately, it turns out that no existing language meets these requirements. Consequently, a novel conceptual modelling language, NIVEL, with the necessary capabilities is developed in this dissertation. The modelling concepts of NIVEL are not based on software variability. Consequently, NIVEL can be applied in domains other than software variability and is hence generic and contributes to the theory of conceptual modelling. A formal semantics enabling automated, decidable reasoning is given for NIVEL by translation to WCRL. NIVEL is used to give an alternative definition of KUMBANG. The alternative definition is more compact and easily understandable than the original one. Major parts of the semantics of KUMBANG are captured by the semantics of NIVEL. The definition of KUMBANG in terms of a generic modelling language also brings software variability modelling closer to other forms of modelling, thus making software variability modelling less of an isolated discipline. en
dc.format.extent Verkkokirja (737 KB, 84 s.)
dc.format.mimetype application/pdf
dc.language.iso en en
dc.publisher Teknillinen korkeakoulu en
dc.relation.ispartofseries TKK dissertations, 132 en
dc.relation.haspart [Publication 1]: Timo Asikainen, Timo Soininen, and Tomi Männistö. 2003. A Koala-based approach for modelling and deploying configurable software product families. In: Frank van der Linden (editor). Proceedings of the 5th International Workshop on Software Product-Family Engineering (PFE 2003). Siena, Italy. 4-6 November 2003. Springer. Lecture Notes in Computer Science, volume 3014, pages 225-249. en
dc.relation.haspart [Publication 2]: Timo Asikainen, Tomi Männistö, and Timo Soininen. 2006. A unified conceptual foundation for feature modelling. In: Liam O'Brien (editor). Proceedings of the 10th International Software Product Line Conference (SPLC 2006). Baltimore, Maryland, USA. 21-24 August 2006. IEEE Computer Society, pages 31-40. © 2006 IEEE. By permission. en
dc.relation.haspart [Publication 3]: Timo Asikainen, Tomi Männistö, and Timo Soininen. 2007. Kumbang: A domain ontology for modelling variability in software product families. Advanced Engineering Informatics, volume 21, number 1, pages 23-40. © 2007 Elsevier Science. By permission. en
dc.relation.haspart [Publication 4]: Timo Asikainen and Tomi Männistö. 2009. Nivel: a metamodelling language with a formal semantics. Software and Systems Modeling, volume 8, number 4, pages 521-549. © 2008 by authors and © 2008 Springer Science+Business Media. By permission. en
dc.subject.other Computer science en
dc.title A Conceptual Modelling Approach to Software Variability en
dc.type G5 Artikkeliväitöskirja fi
dc.contributor.department Tietotekniikan laitos fi
dc.subject.keyword conceptual modelling en
dc.subject.keyword variability en
dc.subject.keyword feature modelling en
dc.subject.keyword software architecture en
dc.subject.keyword metamodelling en
dc.identifier.urn URN:ISBN:978-951-22-9485-5
dc.type.dcmitype text en
dc.type.ontasot Väitöskirja (artikkeli) fi
dc.type.ontasot Doctoral dissertation (article-based) en


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search archive


Advanced Search

article-iconSubmit a publication

Browse

My Account