Feature-Oriented Project Line Engineering
IEEE Software
Distributed and Parallel Databases
Adaptive Process Management with ADEPT2
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
FeaturePlugin: feature modeling plug-in for Eclipse
eclipse '04 Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange
Specification and validation of process constraints for flexible workflows
Information Systems
Software engineering research versus software development
ACM SIGSOFT Software Engineering Notes
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Modelling Requirements Variability across Product Lines
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Process-aware information systems: bridging people and software through process technology
Process-aware information systems: bridging people and software through process technology
Verifying feature-based model templates against well-formedness OCL constraints
Proceedings of the 5th international conference on Generative programming and component engineering
The Description Logic Handbook
The Description Logic Handbook
Generic semantics of feature diagrams
Computer Networks: The International Journal of Computer and Telecommunications Networking
A configurable reference modelling language
Information Systems
Verifying feature models using OWL
Web Semantics: Science, Services and Agents on the World Wide Web
Safe composition of product lines
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Business Process Management: Concepts, Languages, Architectures
Business Process Management: Concepts, Languages, Architectures
FeatureMapper: mapping features to models
Companion of the 30th international conference on Software engineering
Data & Knowledge Engineering
Automated Diagnosis of Product-Line Configuration Errors in Feature Models
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
Questionnaire-driven configuration of reference process models
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Change patterns and change support features in process-aware information systems
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Generic feature-based software composition
SC'07 Proceedings of the 6th international conference on Software composition
Formal approach to integrating feature and architecture models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Linking domain models and process models for reference model configuration
BPM'07 Proceedings of the 2007 international conference on Business process management
Preserving correctness during business process model configuration
Formal Aspects of Computing
Extending the adaptability of reference models
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Correctness ensuring process configuration: an approach based on partner synthesis
BPM'10 Proceedings of the 8th international conference on Business process management
Structuring acyclic process models
BPM'10 Proceedings of the 8th international conference on Business process management
Configurable multi-perspective business process models
Information Systems
Development and configuration of service-oriented systems families
Proceedings of the 2011 ACM Symposium on Applied Computing
Efficient Consistency Measurement Based on Behavioral Profiles of Process Models
IEEE Transactions on Software Engineering
A foundational approach for managing process variability
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Validation of families of business processes
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
On the suitability of BPMN for business process modelling
BPM'06 Proceedings of the 4th international conference on Business Process Management
Mapping features to models: a template approach based on superimposed variants
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Variability management in an unaware software product line company: an experience report
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Hi-index | 0.00 |
Process modeling is an expensive task that needs to encompass requirements of different stakeholders, assure compliance with different standards, and enable the flexible adaptivity to newly emerging requirements in today's dynamic global market. Identifying reusability of process models is a promising direction towards reducing the costs of process modeling. Recent research has offered several solutions. Such solutions promote effective and formally sound methods for variability modeling and configuration management. However, ensuring behavioral validity of reused process models with respect to the original process models (often referred to as reference process models) is still an open research challenge. To address this challenge, in this paper, we propose the notion of business process families by building upon the well-known software engineering discipline-software product line engineering. Business process families comprise (i) a variability modeling perspective, (ii) a process model template (or reference model), and (iii) mappings between (i) and (ii). For business process families, we propose a correct validation algorithm ensuring that each member of a business process family adheres to the core intended behavior that is specified in the process model template. The proposed validation approach is based on the use of Description Logics, variability is represented by using the well-known Feature Models and behavior of process models is considered in terms of control flow patterns. The paper also reports on the experience gained in two external trial cases and results obtained by measuring the tractability of the implementation of the proposed validation approach.