Institute for Computer Research seminar
"Semantics, verification, and configuration of software product line: tales from Athabasca university"
PostDoc Fellow at Athabasca University and Simon Fraser University
Monday, November 1, 2010
University of Waterloo, Davis Centre, Room DC 1304
A Software Product Line (SPL) is the representation of the set of common and variable features of a target domain of interest. Product line's variability is typically specified using problem space models (i.e. feature models), solution space models that specify the realization of functionality, and mapping models that link problem and solution space artifacts. As the size of SPL increases, it becomes time consuming and error-prone to manually verify all possible configurations. To address this issue, we present a sound and complete approach for automatically validating and debugging the wellformedeness constraints of the solution space at modeling time. Our approach leverages Semantic Web technologies, particularly OWL as a language for specification and Description Logic (DL) reasoners as means for detection and debugging of wellformedeness constraints. Justification mechanism, a part of every DL reasoners, allows for the identification and explanation of the causes of inconsistencies. The approach is demonstrated on a use case in validation of Business Process Product Lines, using Business Process Modeling Notation as a solution space modeling language.
Marko Boskovic is a graduate from the Military Academy Belgrade and holds a PhD from the University of Oldenburg, Germany. Currently he is a PostDoc Fellow at the Athabasca University, and Simon Fraser University, Canada, researching in the area of integrating non-functional properties assessment techniques in the development of Service Oriented Software Product Lines. His research interests are integration of non-functional system requirements estimation and evaluation in Domain Specific Modeling Languages, and model-driven engineering in general. He served as reviewer for several journals and international conferences and workshops. He is an organizer and a member of the steering committee of the Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML). He served as a guest editor of the Software and System Modeling journal special issue on NFPinDSML. He is also a guest editor of the forthcoming Computer Science-Research and Development special issue on NFPinDSML. He is also on an editorial board of one electronic journal.
Sponsored by the Ontario Research Fund (ORF) Research Excellence Project: "Software Service Engineering"
200 University Avenue West
Waterloo, ON N2L 3G1