Context: Variability (ie, the ability of software systems or artifacts to be adjusted for different
contexts) became a key property of many systems. Objective: We analyze existing research …

CONTEXT: Business Process Management (BPM) is a potential domain in which Software
Product Line (PL) can be successfully applied. Including the support of Service-oriented …

Web services run in complex contexts where arising events may compromise the quality of
the whole system. Thus, it is desirable to count on autonomic mechanisms to guide the self …

Parametric model checking (PMC) computes algebraic formulae that express key non-
functional properties of a system (reliability, performance, etc.) as rational functions of the …

Application systems often need to be deployed in different variants if requirements that
influence their implementation, hosting, and configuration differ between customers …

Variability in process-based service compositions needs to be explicitly modeled and
managed in order to facilitate service/process customization and increase reuse in …

Abstract Context Service-Orientation (SO) is a rapidly emerging paradigm for the design and
development of adaptive and dynamic software systems. Software Product Line Engineering …

Explicit and software-supported Business Process Management has become the core
infrastructure of any medium and large organization that has a need to be efficient and …

XML is de-facto a standard language for data exchange. Structure of XML documents
exchanged among different components of a system (eg services in a Service-Oriented …

Since applications often need to be deployed in different variants, deployment technologies,
such as Ansible and Terraform, support modeling variability. Unfortunately, applications …