Results 1 - 10
of
18
Correctness-Preserving Configuration of Business Process Models
"... Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the requirements of specific organizations or projects, leading to individualized process models that are subsequently used for domain ..."
Abstract
-
Cited by 7 (1 self)
- Add to MetaCart
Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the requirements of specific organizations or projects, leading to individualized process models that are subsequently used for domain analysis or solution design. Although the advantages of reusing reference process models compared to designing process models from scratch are widely accepted, the methods employed to configure reference process models are manual and error-prone. In particular, analysts are left with the burden of ensuring the correctness of the individualized process models and to manually fix errors. This paper proposes a foundation for configuring reference process models incrementally and in a way that ensures the correctness of the individualized process models, both with respect to syntax and behavioral semantics. Specifically, assuming the reference process model is behaviorally sound, the individualized process models are guaranteed to be sound.
On Maintaining Consistency of Process Model Variants
- In BPM Workshops
, 2010
"... Summary. Today’s enterprises are dynamic where many variances of business process models can exist due to several reasons such as: the need to target differ-ent customer types, rely on particular IT systems or comply with specific country regulations. Automated maintenance of the consistency between ..."
Abstract
-
Cited by 6 (3 self)
- Add to MetaCart
(Show Context)
Summary. Today’s enterprises are dynamic where many variances of business process models can exist due to several reasons such as: the need to target differ-ent customer types, rely on particular IT systems or comply with specific country regulations. Automated maintenance of the consistency between process variants is an important goal that saves the time and efforts of process modelers. In this paper, we present a query-based approach to maintain consistency among process variants. We maintain the link between the variant process models by means of defining process model views. These views are defined using, BPMN-Q, a visual query language for business process models. Therefore, dynamic evaluation for the defined queries of the process views guarantee that the process modeler is able to get up-to-date and consistent status of the process model. In addition, our view-based approach allows the building of a holistic view of related variants of the same process model.
Reliable effects screening: A distributed continuous quality assurance process for monitoring performance degradation in evolving software systems
- IEEE Transactions on Software Engineering
"... Abstract—Developers of highly configurable performance-intensive software systems often use in-house performance-oriented “regression testing ” to ensure that their modifications do not adversely affect their software’s performance across its large configuration space. Unfortunately, time and resour ..."
Abstract
-
Cited by 6 (4 self)
- Add to MetaCart
(Show Context)
Abstract—Developers of highly configurable performance-intensive software systems often use in-house performance-oriented “regression testing ” to ensure that their modifications do not adversely affect their software’s performance across its large configuration space. Unfortunately, time and resource constraints can limit in-house testing to a relatively small number of possible configurations, followed by unreliable extrapolation from these results to the entire configuration space. As a result, many performance bottlenecks escape detection until systems are fielded. In our earlier work, we improved the situation outlined above by developing an initial quality assurance process called “main effects screening. ” This process 1) executes formally designed experiments to identify an appropriate subset of configurations on which to base the performance-oriented regression testing, 2) executes benchmarks on this subset whenever the software changes, and 3) provides tool support for executing these actions on in-the-field and in-house computing resources. Our initial process had several limitations, however, since it was manually configured (which was tedious and error-prone) and relied on strong and untested assumptions for its accuracy (which made its use unacceptably risky in practice). This paper presents a new quality assurance process called “reliable effects screening ” that provides three significant improvements to our earlier work. First, it allows developers to economically verify key assumptions during process execution. Second, it integrates several model-driven engineering tools to make process configuration and execution much easier and less error prone. Third, we evaluate this process via several feasibility studies of three large, widely used performance-intensive software frameworks. Our results indicate that reliable effects screening can detect performance degradation in large-scale systems more reliably and with significantly less
Correctness-preserving configuration of business process models
- in: Proc. FASE
, 2008
"... Abstract. Reference process models capture recurrent business opera-tions in a given domain such as procurement or logistics. These models are intended to be configured to fit the requirements of specific orga-nizations or projects, leading to individualized process models that are subsequently used ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
(Show Context)
Abstract. Reference process models capture recurrent business opera-tions in a given domain such as procurement or logistics. These models are intended to be configured to fit the requirements of specific orga-nizations or projects, leading to individualized process models that are subsequently used for domain analysis or solution design. Although the advantages of reusing reference process models compared to designing process models from scratch are widely accepted, the methods employed to configure reference process models are manual and error-prone. In par-ticular, analysts are left with the burden of ensuring the correctness of the individualized process models and to manually fix errors. This paper proposes a foundation for configuring reference process models incre-mentally and in a way that ensures the correctness of the individualized process models, both with respect to syntax and behavioral semantics. Specifically, assuming the reference process model is behaviorally sound, the individualized process models are guaranteed to be sound. Key words: Reference process model, model configuration, Petri net. 1
Questionnaire-based Variability Modeling for System Configuration
"... Variability management is a recurrent issue in systems engineering. It arises for example in enterprise systems, where modules are configured and composed to meet the requirements of individual customers based on modifications to a reference model. It also manifests itself in the context of software ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
(Show Context)
Variability management is a recurrent issue in systems engineering. It arises for example in enterprise systems, where modules are configured and composed to meet the requirements of individual customers based on modifications to a reference model. It also manifests itself in the context of software product families, where variants of a system are built from a common code base. This paper proposes an approach to capture system variability based on questionnaire models that include order dependencies and domain constraints. The paper presents analysis techniques to detect circular dependencies and contradictory constraints in questionnaire models, as well as techniques to incrementally prevent invalid configurations by restricting the space of allowed answers to a question based on previous answers. The approach has been implemented as a toolset and has been used in practice to capture configurable process models for film post-production.
Partial Process Models to Manage Business Process Variants
"... Today’s process aware information systems deal often with the problem of variants. Variants of process models have to be defined frequently due to several reasons such as: the need to target different customer types, rely on particular IT systems or comply with specific country regulations. Manageme ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
(Show Context)
Today’s process aware information systems deal often with the problem of variants. Variants of process models have to be defined frequently due to several reasons such as: the need to target different customer types, rely on particular IT systems or comply with specific country regulations. Management of process models variants that addresses issues such as consistency between process variants, uncontrolled redundancy, huge modeling efforts, etc is not adequately supported by current Business Process Management (BPM) tool. Thus an automated maintenance of process variants able to tackle the mentioned issues is a well coveted goal. This paper presents an approach to address the issues of providing consistent mechanisms for managing processes variants consistency and reducing the redundancy between process variants in order to achieve a more efficient and effective business process modeling Task. Our approach, Partial Process Models (PPM), is a query-based approach which maintains the link between the variant process models by means of defining process model views. These views are defined using, BPMN-Q, a visual query language for business process models and employ a software engineering like inheritance methodology. Thus, dynamic evaluation for the defined queries of the process views guarantee that the process modeler is able to get up-to-
Questionnaire-based Variability Modeling for
- System Configuration. International Journal on Software and Systems Modeling
, 2008
"... Abstract. Variability management is a recurrent issue in systems engineering. It arises for example in enterprise systems, where modules are configured and com-posed to meet the requirements of individual customers based on modifications to a reference model. It also manifests itself in the context ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
(Show Context)
Abstract. Variability management is a recurrent issue in systems engineering. It arises for example in enterprise systems, where modules are configured and com-posed to meet the requirements of individual customers based on modifications to a reference model. It also manifests itself in the context of software product fam-ilies, where variants of a system are built from a common code base. This paper proposes an approach to capture system variability based on questionnaire mod-els that include order dependencies and domain constraints. The paper presents analysis techniques to detect circular dependencies and contradictory constraints in questionnaire models, as well as techniques to incrementally prevent invalid configurations by restricting the space of allowed answers to a question based on previous answers. The approach has been implemented as a toolset and has been used in practice to capture configurable process models for film post-production.
Variability Modeling for Questionnaire-based System Configuration
"... Abstract. Variability management, be it at the level of models or at the level of code, is a recurrent issue in systems engineering. It arises for ex-ample in enterprise systems, where modules are configured and composed to meet the requirements of individual customers based on modifications to a re ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
(Show Context)
Abstract. Variability management, be it at the level of models or at the level of code, is a recurrent issue in systems engineering. It arises for ex-ample in enterprise systems, where modules are configured and composed to meet the requirements of individual customers based on modifications to a reference model. It also manifests itself in the context of software product families, where variants of a system are built from a common code base. This paper presents a formal foundation for representing sys-tem variability for the purpose of generating questionnaires that guide users during system configuration. The generated questionnaires are in-teractive, in the sense that questions are only posed if and when they can be answered, and the space of allowed answers to a question is de-termined by previous answers. The approach has been implemented and tested against a reference model from the logistics domain. Key words: variability modeling, system configuration, questionnaire, software product family, reference model
CITATIONS SEE PROFILE
, 2016
"... Abstract. Today’s enterprises are dynamic where many variances of business process models can exist due to several reasons such as: the need to target differ-ent customer types, rely on particular IT systems or comply with specific country regulations. Automated maintenance of the consistency betwee ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. Today’s enterprises are dynamic where many variances of business process models can exist due to several reasons such as: the need to target differ-ent customer types, rely on particular IT systems or comply with specific country regulations. Automated maintenance of the consistency between process variants is an important goal that saves the time and efforts of process modelers. In this paper, we present a query-based approach to maintain consistency among process variants. We maintain the link between the variant process models by means of defining process model views. These views are defined using, BPMN-Q, a visual query language for business process models. Therefore, dynamic evaluation for the defined queries of the process views guarantee that the process modeler is able to get up-to-date and consistent status of the process model. In addition, our view-based approach allows the building of a holistic view of related variants of the same process model.
Applying Model-Driven Distributed Continuous Quality Assurance Processes to Enhance Persistent Software Attributes
"... Time and resource constraints often force developers of highly configurable quality of service (QoS)-intensive software systems to guarantee their system’s persistent software attributes (PSAs) (e.g., functional correctness, portability, efficiency, and QoS) on a few platform configurations and to e ..."
Abstract
- Add to MetaCart
(Show Context)
Time and resource constraints often force developers of highly configurable quality of service (QoS)-intensive software systems to guarantee their system’s persistent software attributes (PSAs) (e.g., functional correctness, portability, efficiency, and QoS) on a few platform configurations and to extrapolate from these configurations to the entire configuration space, which allows many sources of degradation to escape detection until systems are fielded. This article illustrates how model-driven distributed continuous quality assurance (DCQA) processes can help improve the assessment and assurance of these PSAs across the large configuration spaces of QoS-intensive software systems.
