Methodology for the derivation of product behaviour in a Software Product Line

Paul Istoan 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : The major problem addressed in this thesis is the definition of a new SPLE methodology that covers both phases of the SPLE process and focuses on the derivation of behavioral models of SPL products. In Chapter 2 three research areas scope context of this thesis: Software Product Lines, Business Processes, and Model-Driven Engineering. Throughout Chapter 3, we propose a new SPLE methodology that focuses on the derivation of product behavior. We first describe the main flow of the methodology, and then detail the individual steps. In chapter 4 we propose a new domain specific language called CBPF created for modeling composable business process fragments. A model driven approach is followed for creating CBPF: definition of the abstract syntax, graphical concrete syntax and translational semantics. In Chapter 5 we propose several types of verifications that can be applied to business processfragments to determine their "correctness". For structural verification we definine a set of fragment consistency rules that should be valid for every business process fragment created with CBPF. To check behavioral correctness we first transform the business process fragment into an equivalent HCPN. We can then check generic properties but also define aset of fragment specific properties. In chapter 6 we exemplify the proposed SPL methodology by applying it to a case study from the crisis management system domain. We also propose a tool suite that supports our methodology. Chapter 7 describes possible improvements and extensions to the contributions of this thesis. We conclude the thesis in Chapter 8 and draw some conclusions.
Document type :
Theses
Complete list of metadatas

Cited literature [40 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00925479
Contributor : Abes Star <>
Submitted on : Wednesday, January 8, 2014 - 10:33:09 AM
Last modification on : Friday, November 16, 2018 - 1:25:11 AM
Long-term archiving on : Tuesday, April 8, 2014 - 10:30:46 PM

File

ISTOAN_Paul.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00925479, version 1

Citation

Paul Istoan. Methodology for the derivation of product behaviour in a Software Product Line. Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S013⟩. ⟨tel-00925479⟩

Share

Metrics

Record views

506

Files downloads

460