SlideShare a Scribd company logo
1 of 10
Common Variability Language
CVL
By: Sari Meriem
1
UNIVERSITY of MOHAMED CHERIF MESAADIA
SOUK-AHRAS
Departement of Math & Computer Science
Presentation About:
Intoduction
2Meriem Sari GL à Objet 2 2eme AM GL
What is Variability Modeling?!
Is describing more than one variant of a system.
Is often closely associated with product lines.
Variations in the resulting system are described explicitly.
Variability can be expressed in stand-alone models, such as feature
diagrams.
Creating and managing many variants of a product.
Helps for delivering software systems of high quality in a fast,
consistent and comprehensive way.
CVL
3
Stands for: Common Variability Language.
 CVL is a generic and separate language for modeling variability in
models in any Domain Specific Language (DSL) that is defined based
on Meta Object Facility (MOF).
 CVL is a domain-independent language for specifying and
resolving variability.
Meriem Sari GL à Objet 2 2eme AM GL
CVL
4Meriem Sari GL à Objet 2 2eme AM GL
CVL
5Meriem Sari GL à Objet 2 2eme AM GL
CVL Architecture
6
 In CVL approach we have three models:
 The base model: described in a DSL
 The variability model: defines variability on the base model.
 The resolution model: defines how to resolve the variability
model to create a new model in the base DSL.
Meriem Sari GL à Objet 2 2eme AM GL
CVL Architecture
7Meriem Sari GL à Objet 2 2eme AM GL
Variability abstraction
8
 Provides constructs for specifying variability without defining the
concrete consequences on the base model.
 Isolates the logical component of CVL from the parts that
manipulate the base model.
 The main variability abstraction construct is a variability
specification (VSpec) which may represent a binary choice, a value
parameter, or a specification element that can be instantiated several
times.
 Constraints define restrictions on valid variability resolutions and
they are expressed in OCL.
Meriem Sari GL à Objet 2 2eme AM GL
Variability realization
9
 Provides constructs for specifying variation points on the base
model.
 A variation point is a modification applied to the base model during
the process of transforming the base model into a product model
(materialization).
 The variation points refer to base model elements via base model
handles.
 The variation points also refer to the VSpecs to define what
abstract notion of variability the variation point actually realizes.
 These references form the binding between the Variability
Abstraction and the Variability Realization.
Meriem Sari GL à Objet 2 2eme AM GL
Configurable Units
10
 Exists on top of the previous constructs.
 Provide constructs facilitating the specification of configurable,
reusable components.
 Facilitate modularity by supporting compositional hierarchies.
 Configurable units expose variability interface, made of VSpecs,
through which they can be configured.
Meriem Sari GL à Objet 2 2eme AM GL

More Related Content

Viewers also liked

La & edm in practice
La & edm in practiceLa & edm in practice
La & edm in practice
bharati k
 
Vbisigk
VbisigkVbisigk
Vbisigk
ISIG
 
Developpement mobile vs open source
Developpement mobile vs open sourceDeveloppement mobile vs open source
Developpement mobile vs open source
Korteby Farouk
 
mis
mismis
mis
ISIG
 
SysML adoption in France
SysML adoption in FranceSysML adoption in France
SysML adoption in France
Pascal Roques
 
Environnement de développement de bases de données
Environnement de développement de bases de donnéesEnvironnement de développement de bases de données
Environnement de développement de bases de données
ISIG
 
01072013 e governance
01072013 e governance01072013 e governance
01072013 e governance
bharati k
 

Viewers also liked (20)

La & edm in practice
La & edm in practiceLa & edm in practice
La & edm in practice
 
Vbisigk
VbisigkVbisigk
Vbisigk
 
The OCLforUML Profile
The OCLforUML ProfileThe OCLforUML Profile
The OCLforUML Profile
 
Optimized declarative transformation First Eclipse QVTc results
Optimized declarative transformation First Eclipse QVTc resultsOptimized declarative transformation First Eclipse QVTc results
Optimized declarative transformation First Eclipse QVTc results
 
Developpement mobile vs open source
Developpement mobile vs open sourceDeveloppement mobile vs open source
Developpement mobile vs open source
 
mis
mismis
mis
 
Ressource numérique Circuit électrique au primaire
Ressource numérique Circuit électrique au primaire Ressource numérique Circuit électrique au primaire
Ressource numérique Circuit électrique au primaire
 
Model Transformation: A survey of the state of the art
Model Transformation: A survey of the state of the artModel Transformation: A survey of the state of the art
Model Transformation: A survey of the state of the art
 
OCCIware, an extensible, standard-based XaaS consumer platform to manage ever...
OCCIware, an extensible, standard-based XaaS consumer platform to manage ever...OCCIware, an extensible, standard-based XaaS consumer platform to manage ever...
OCCIware, an extensible, standard-based XaaS consumer platform to manage ever...
 
Aligning OCL and UML
Aligning OCL and UMLAligning OCL and UML
Aligning OCL and UML
 
Be serious with sirius your journey from first experimentation to large deplo...
Be serious with sirius your journey from first experimentation to large deplo...Be serious with sirius your journey from first experimentation to large deplo...
Be serious with sirius your journey from first experimentation to large deplo...
 
Frame latency evaluation: when simulation and analysis alone are not enough
Frame latency evaluation: when simulation and analysis alone are not enoughFrame latency evaluation: when simulation and analysis alone are not enough
Frame latency evaluation: when simulation and analysis alone are not enough
 
SysML adoption in France
SysML adoption in FranceSysML adoption in France
SysML adoption in France
 
OCL Integration and Code Generation
OCL Integration and Code GenerationOCL Integration and Code Generation
OCL Integration and Code Generation
 
Modeling the OCL Standard Library
Modeling the OCL Standard LibraryModeling the OCL Standard Library
Modeling the OCL Standard Library
 
Environnement de développement de bases de données
Environnement de développement de bases de donnéesEnvironnement de développement de bases de données
Environnement de développement de bases de données
 
01072013 e governance
01072013 e governance01072013 e governance
01072013 e governance
 
Design Thinking Assignment
Design Thinking AssignmentDesign Thinking Assignment
Design Thinking Assignment
 
What fUML can bring to MBSE?
What fUML can bring to MBSE?What fUML can bring to MBSE?
What fUML can bring to MBSE?
 
Collaboration and Governance of Open Source Projects
Collaboration and Governance of Open Source ProjectsCollaboration and Governance of Open Source Projects
Collaboration and Governance of Open Source Projects
 

Similar to Cvl

Design Patterns
Design PatternsDesign Patterns
Design Patterns
soms_1
 
Executable UML – UML2
Executable UML – UML2Executable UML – UML2
Executable UML – UML2
elliando dias
 

Similar to Cvl (20)

A Formal Executable Semantics Of Verilog
A Formal Executable Semantics Of VerilogA Formal Executable Semantics Of Verilog
A Formal Executable Semantics Of Verilog
 
MANAGING AND ANALYSING SOFTWARE PRODUCT LINE REQUIREMENTS
MANAGING AND ANALYSING SOFTWARE PRODUCT LINE REQUIREMENTSMANAGING AND ANALYSING SOFTWARE PRODUCT LINE REQUIREMENTS
MANAGING AND ANALYSING SOFTWARE PRODUCT LINE REQUIREMENTS
 
Model transformation
Model transformationModel transformation
Model transformation
 
Model transformation
Model transformationModel transformation
Model transformation
 
The road ahead for architectural languages [ACVI 2016]
The road ahead for architectural languages [ACVI 2016]The road ahead for architectural languages [ACVI 2016]
The road ahead for architectural languages [ACVI 2016]
 
ModelTalk - When Everything is a Domain Specific Language
ModelTalk - When Everything is a Domain Specific LanguageModelTalk - When Everything is a Domain Specific Language
ModelTalk - When Everything is a Domain Specific Language
 
Epsilon
EpsilonEpsilon
Epsilon
 
UML2SAN: Toward A New Software Performance Engineering Approach
UML2SAN: Toward A New Software Performance Engineering ApproachUML2SAN: Toward A New Software Performance Engineering Approach
UML2SAN: Toward A New Software Performance Engineering Approach
 
xUMLFinalPresentation.ppt
xUMLFinalPresentation.pptxUMLFinalPresentation.ppt
xUMLFinalPresentation.ppt
 
Top five reasons why every DV engineer will love the latest systemverilog 201...
Top five reasons why every DV engineer will love the latest systemverilog 201...Top five reasons why every DV engineer will love the latest systemverilog 201...
Top five reasons why every DV engineer will love the latest systemverilog 201...
 
NL to OCL Transformation (EDOC 2010)
NL to OCL Transformation (EDOC 2010)NL to OCL Transformation (EDOC 2010)
NL to OCL Transformation (EDOC 2010)
 
Variability modeling for customizable saas applications
Variability modeling for customizable saas applicationsVariability modeling for customizable saas applications
Variability modeling for customizable saas applications
 
Design Patterns
Design PatternsDesign Patterns
Design Patterns
 
Kroening et al, v2c a verilog to c translator
Kroening et al, v2c   a verilog to c translatorKroening et al, v2c   a verilog to c translator
Kroening et al, v2c a verilog to c translator
 
An Approach to Recover Feature Models From Object-Oriented Source Code
An Approach to Recover Feature Models From Object-Oriented Source CodeAn Approach to Recover Feature Models From Object-Oriented Source Code
An Approach to Recover Feature Models From Object-Oriented Source Code
 
Executable UML – UML2
Executable UML – UML2Executable UML – UML2
Executable UML – UML2
 
Design principles to modularise a monolith codebase.pptx
Design principles to modularise a monolith codebase.pptxDesign principles to modularise a monolith codebase.pptx
Design principles to modularise a monolith codebase.pptx
 
ABC Architecture A New Approach To Build Reusable And Adaptable Business Tie...
ABC Architecture  A New Approach To Build Reusable And Adaptable Business Tie...ABC Architecture  A New Approach To Build Reusable And Adaptable Business Tie...
ABC Architecture A New Approach To Build Reusable And Adaptable Business Tie...
 
SystemVerilog-20041201165354.ppt
SystemVerilog-20041201165354.pptSystemVerilog-20041201165354.ppt
SystemVerilog-20041201165354.ppt
 
Comparison of the Formal Specification Languages Based Upon Various Parameters
Comparison of the Formal Specification Languages Based Upon Various ParametersComparison of the Formal Specification Languages Based Upon Various Parameters
Comparison of the Formal Specification Languages Based Upon Various Parameters
 

More from meriem sari (13)

Contraintes uml
Contraintes umlContraintes uml
Contraintes uml
 
Cvs
CvsCvs
Cvs
 
Ws asp.net
Ws asp.netWs asp.net
Ws asp.net
 
What is an aspect in aspect oriented requirements engineering
What is an aspect in aspect oriented requirements engineeringWhat is an aspect in aspect oriented requirements engineering
What is an aspect in aspect oriented requirements engineering
 
Structural features for face recognition
Structural features for face recognitionStructural features for face recognition
Structural features for face recognition
 
Rest ws
Rest wsRest ws
Rest ws
 
Qt user interface
Qt user interfaceQt user interface
Qt user interface
 
Programmation orienté aspect
Programmation orienté aspectProgrammation orienté aspect
Programmation orienté aspect
 
Meta-modelisation avec eclipse
Meta-modelisation avec eclipseMeta-modelisation avec eclipse
Meta-modelisation avec eclipse
 
Diagrammes de classes uml
Diagrammes de classes umlDiagrammes de classes uml
Diagrammes de classes uml
 
Design patterns french
Design patterns frenchDesign patterns french
Design patterns french
 
Design patterns english
Design patterns englishDesign patterns english
Design patterns english
 
A star
A starA star
A star
 

Recently uploaded

NO1 Best Kala Jadu Expert Specialist In Germany Kala Jadu Expert Specialist I...
NO1 Best Kala Jadu Expert Specialist In Germany Kala Jadu Expert Specialist I...NO1 Best Kala Jadu Expert Specialist In Germany Kala Jadu Expert Specialist I...
NO1 Best Kala Jadu Expert Specialist In Germany Kala Jadu Expert Specialist I...
Amil baba
 
一比一原版加利福尼亚大学尔湾分校毕业证成绩单如何办理
一比一原版加利福尼亚大学尔湾分校毕业证成绩单如何办理一比一原版加利福尼亚大学尔湾分校毕业证成绩单如何办理
一比一原版加利福尼亚大学尔湾分校毕业证成绩单如何办理
pyhepag
 
Data Analytics for Digital Marketing Lecture for Advanced Digital & Social Me...
Data Analytics for Digital Marketing Lecture for Advanced Digital & Social Me...Data Analytics for Digital Marketing Lecture for Advanced Digital & Social Me...
Data Analytics for Digital Marketing Lecture for Advanced Digital & Social Me...
Valters Lauzums
 
一比一原版西悉尼大学毕业证成绩单如何办理
一比一原版西悉尼大学毕业证成绩单如何办理一比一原版西悉尼大学毕业证成绩单如何办理
一比一原版西悉尼大学毕业证成绩单如何办理
pyhepag
 
1:1原版定制利物浦大学毕业证(Liverpool毕业证)成绩单学位证书留信学历认证
1:1原版定制利物浦大学毕业证(Liverpool毕业证)成绩单学位证书留信学历认证1:1原版定制利物浦大学毕业证(Liverpool毕业证)成绩单学位证书留信学历认证
1:1原版定制利物浦大学毕业证(Liverpool毕业证)成绩单学位证书留信学历认证
ppy8zfkfm
 
如何办理英国卡迪夫大学毕业证(Cardiff毕业证书)成绩单留信学历认证
如何办理英国卡迪夫大学毕业证(Cardiff毕业证书)成绩单留信学历认证如何办理英国卡迪夫大学毕业证(Cardiff毕业证书)成绩单留信学历认证
如何办理英国卡迪夫大学毕业证(Cardiff毕业证书)成绩单留信学历认证
ju0dztxtn
 
一比一原版纽卡斯尔大学毕业证成绩单如何办理
一比一原版纽卡斯尔大学毕业证成绩单如何办理一比一原版纽卡斯尔大学毕业证成绩单如何办理
一比一原版纽卡斯尔大学毕业证成绩单如何办理
cyebo
 
一比一原版阿德莱德大学毕业证成绩单如何办理
一比一原版阿德莱德大学毕业证成绩单如何办理一比一原版阿德莱德大学毕业证成绩单如何办理
一比一原版阿德莱德大学毕业证成绩单如何办理
pyhepag
 
Abortion pills in Dammam Saudi Arabia// +966572737505 // buy cytotec
Abortion pills in Dammam Saudi Arabia// +966572737505 // buy cytotecAbortion pills in Dammam Saudi Arabia// +966572737505 // buy cytotec
Abortion pills in Dammam Saudi Arabia// +966572737505 // buy cytotec
Abortion pills in Riyadh +966572737505 get cytotec
 

Recently uploaded (20)

AI Imagen for data-storytelling Infographics.pdf
AI Imagen for data-storytelling Infographics.pdfAI Imagen for data-storytelling Infographics.pdf
AI Imagen for data-storytelling Infographics.pdf
 
社内勉強会資料  Mamba - A new era or ephemeral
社内勉強会資料   Mamba - A new era or ephemeral社内勉強会資料   Mamba - A new era or ephemeral
社内勉強会資料  Mamba - A new era or ephemeral
 
NOAM AAUG Adobe Summit 2024: Summit Slam Dunks
NOAM AAUG Adobe Summit 2024: Summit Slam DunksNOAM AAUG Adobe Summit 2024: Summit Slam Dunks
NOAM AAUG Adobe Summit 2024: Summit Slam Dunks
 
NO1 Best Kala Jadu Expert Specialist In Germany Kala Jadu Expert Specialist I...
NO1 Best Kala Jadu Expert Specialist In Germany Kala Jadu Expert Specialist I...NO1 Best Kala Jadu Expert Specialist In Germany Kala Jadu Expert Specialist I...
NO1 Best Kala Jadu Expert Specialist In Germany Kala Jadu Expert Specialist I...
 
Statistics Informed Decisions Using Data 5th edition by Michael Sullivan solu...
Statistics Informed Decisions Using Data 5th edition by Michael Sullivan solu...Statistics Informed Decisions Using Data 5th edition by Michael Sullivan solu...
Statistics Informed Decisions Using Data 5th edition by Michael Sullivan solu...
 
What is Insertion Sort. Its basic information
What is Insertion Sort. Its basic informationWhat is Insertion Sort. Its basic information
What is Insertion Sort. Its basic information
 
Seven tools of quality control.slideshare
Seven tools of quality control.slideshareSeven tools of quality control.slideshare
Seven tools of quality control.slideshare
 
一比一原版加利福尼亚大学尔湾分校毕业证成绩单如何办理
一比一原版加利福尼亚大学尔湾分校毕业证成绩单如何办理一比一原版加利福尼亚大学尔湾分校毕业证成绩单如何办理
一比一原版加利福尼亚大学尔湾分校毕业证成绩单如何办理
 
Data Analytics for Digital Marketing Lecture for Advanced Digital & Social Me...
Data Analytics for Digital Marketing Lecture for Advanced Digital & Social Me...Data Analytics for Digital Marketing Lecture for Advanced Digital & Social Me...
Data Analytics for Digital Marketing Lecture for Advanced Digital & Social Me...
 
Heaps & its operation -Max Heap, Min Heap
Heaps & its operation -Max Heap, Min  HeapHeaps & its operation -Max Heap, Min  Heap
Heaps & its operation -Max Heap, Min Heap
 
How I opened a fake bank account and didn't go to prison
How I opened a fake bank account and didn't go to prisonHow I opened a fake bank account and didn't go to prison
How I opened a fake bank account and didn't go to prison
 
一比一原版西悉尼大学毕业证成绩单如何办理
一比一原版西悉尼大学毕业证成绩单如何办理一比一原版西悉尼大学毕业证成绩单如何办理
一比一原版西悉尼大学毕业证成绩单如何办理
 
1:1原版定制利物浦大学毕业证(Liverpool毕业证)成绩单学位证书留信学历认证
1:1原版定制利物浦大学毕业证(Liverpool毕业证)成绩单学位证书留信学历认证1:1原版定制利物浦大学毕业证(Liverpool毕业证)成绩单学位证书留信学历认证
1:1原版定制利物浦大学毕业证(Liverpool毕业证)成绩单学位证书留信学历认证
 
如何办理英国卡迪夫大学毕业证(Cardiff毕业证书)成绩单留信学历认证
如何办理英国卡迪夫大学毕业证(Cardiff毕业证书)成绩单留信学历认证如何办理英国卡迪夫大学毕业证(Cardiff毕业证书)成绩单留信学历认证
如何办理英国卡迪夫大学毕业证(Cardiff毕业证书)成绩单留信学历认证
 
Data Visualization Exploring and Explaining with Data 1st Edition by Camm sol...
Data Visualization Exploring and Explaining with Data 1st Edition by Camm sol...Data Visualization Exploring and Explaining with Data 1st Edition by Camm sol...
Data Visualization Exploring and Explaining with Data 1st Edition by Camm sol...
 
一比一原版纽卡斯尔大学毕业证成绩单如何办理
一比一原版纽卡斯尔大学毕业证成绩单如何办理一比一原版纽卡斯尔大学毕业证成绩单如何办理
一比一原版纽卡斯尔大学毕业证成绩单如何办理
 
一比一原版阿德莱德大学毕业证成绩单如何办理
一比一原版阿德莱德大学毕业证成绩单如何办理一比一原版阿德莱德大学毕业证成绩单如何办理
一比一原版阿德莱德大学毕业证成绩单如何办理
 
How to Transform Clinical Trial Management with Advanced Data Analytics
How to Transform Clinical Trial Management with Advanced Data AnalyticsHow to Transform Clinical Trial Management with Advanced Data Analytics
How to Transform Clinical Trial Management with Advanced Data Analytics
 
Abortion pills in Dammam Saudi Arabia// +966572737505 // buy cytotec
Abortion pills in Dammam Saudi Arabia// +966572737505 // buy cytotecAbortion pills in Dammam Saudi Arabia// +966572737505 // buy cytotec
Abortion pills in Dammam Saudi Arabia// +966572737505 // buy cytotec
 
ℂall Girls Balbir Nagar ℂall Now Chhaya ☎ 9899900591 WhatsApp Number 24/7
ℂall Girls Balbir Nagar ℂall Now Chhaya ☎ 9899900591 WhatsApp  Number 24/7ℂall Girls Balbir Nagar ℂall Now Chhaya ☎ 9899900591 WhatsApp  Number 24/7
ℂall Girls Balbir Nagar ℂall Now Chhaya ☎ 9899900591 WhatsApp Number 24/7
 

Cvl

  • 1. Common Variability Language CVL By: Sari Meriem 1 UNIVERSITY of MOHAMED CHERIF MESAADIA SOUK-AHRAS Departement of Math & Computer Science Presentation About:
  • 2. Intoduction 2Meriem Sari GL à Objet 2 2eme AM GL What is Variability Modeling?! Is describing more than one variant of a system. Is often closely associated with product lines. Variations in the resulting system are described explicitly. Variability can be expressed in stand-alone models, such as feature diagrams. Creating and managing many variants of a product. Helps for delivering software systems of high quality in a fast, consistent and comprehensive way.
  • 3. CVL 3 Stands for: Common Variability Language.  CVL is a generic and separate language for modeling variability in models in any Domain Specific Language (DSL) that is defined based on Meta Object Facility (MOF).  CVL is a domain-independent language for specifying and resolving variability. Meriem Sari GL à Objet 2 2eme AM GL
  • 4. CVL 4Meriem Sari GL à Objet 2 2eme AM GL
  • 5. CVL 5Meriem Sari GL à Objet 2 2eme AM GL
  • 6. CVL Architecture 6  In CVL approach we have three models:  The base model: described in a DSL  The variability model: defines variability on the base model.  The resolution model: defines how to resolve the variability model to create a new model in the base DSL. Meriem Sari GL à Objet 2 2eme AM GL
  • 7. CVL Architecture 7Meriem Sari GL à Objet 2 2eme AM GL
  • 8. Variability abstraction 8  Provides constructs for specifying variability without defining the concrete consequences on the base model.  Isolates the logical component of CVL from the parts that manipulate the base model.  The main variability abstraction construct is a variability specification (VSpec) which may represent a binary choice, a value parameter, or a specification element that can be instantiated several times.  Constraints define restrictions on valid variability resolutions and they are expressed in OCL. Meriem Sari GL à Objet 2 2eme AM GL
  • 9. Variability realization 9  Provides constructs for specifying variation points on the base model.  A variation point is a modification applied to the base model during the process of transforming the base model into a product model (materialization).  The variation points refer to base model elements via base model handles.  The variation points also refer to the VSpecs to define what abstract notion of variability the variation point actually realizes.  These references form the binding between the Variability Abstraction and the Variability Realization. Meriem Sari GL à Objet 2 2eme AM GL
  • 10. Configurable Units 10  Exists on top of the previous constructs.  Provide constructs facilitating the specification of configurable, reusable components.  Facilitate modularity by supporting compositional hierarchies.  Configurable units expose variability interface, made of VSpecs, through which they can be configured. Meriem Sari GL à Objet 2 2eme AM GL