Academic
Publications
Correctness-Preserving Configuration of Business Process Models

Correctness-Preserving Configuration of Business Process Models,10.1007/978-3-540-78743-3_4,Wil M. P. Van Der Aalst,Marlon Dumas,Florian Gottschalk,Ar

Correctness-Preserving Configuration of Business Process Models   (Citations: 13)
BibTex | RIS | RefWorks Download
Published in 2008.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...Such mechanisms that extend process modeling languages with configuration capabilities have been presented for EPCs [73], [74], YAWL [18], BPEL [18], UML activity diagrams [75], [76], BPMN [76], and WF-systems [77]...
    • ...For instance, a configuration of a sound WF-system will be a sound WF-system as well, using the approach specified in [77]...

    Matthias Weidlichet al. Efficient Consistency Measurement Based on Behavioral Profiles of Proc...

    • ...The work presented in [40] shows how reference process models can be configured incrementally and in a way that ensures correctness of the configured process variants, both with respect to syntax and behavioral semantics...

    Alena Hallerbachet al. Capturing Variability in Business Process Models: The Provop Approach

    • ...Among the latter, there are a number of formal approaches that do not provide mechanisms for the verication of temporal properties [23, 17, 16, 2, 32] as well as UML-based approaches [34, 12, 13, 26] where family models can be used to syntactically derive the model of a specic product, but not be veried against temporal properties...
    • ...One the other hand, one can distinguish between approaches that consider variability as a rst-class citizen [12, 13, 24, 26] and those that express variability as part of the behavioural model [34, 18, 23, 17, 20, 16, 32, 2]. In [3], Bachmann et al. propose orthogonal variability modelling (OVM), a modelling paradigm that consists in documenting variability as rst-class citizen in a separate model, which is related to the other (e.g., data ...
    • ...In the context of workow modelling, van der Aalst propose workow templates that contain variation points [32]...

    Andreas Classenet al. Model checking lots of systems: efficient verification of temporal pro...

    • ...Some process adaptation operations are proposed in [9] [12] which can help users to incrementally derive a new process model from the old one...
    • ...For preserving control flow correctness, readers can refer to [9] [10] [12]...

    Wei Songet al. Preserving Data Flow Correctness in Process Adaptation

    • ...The process model depicts the four extensions that C-EPCs introduce for standard EPCs: configurable connectors, configurable functions, requirements and guidelines [8]...
    • ...A nice feature of this approach is that for free-choice Petri nets, the soundness correctness criterion is preserved no matter which configuration is chosen [30,31]...

    Thomas Baieret al. On the Suitability of Aggregated and Configurable Business Process Mod...

Sort by: