Generation of Business Process Models for Object Life Cycle Compliance

Küster, Jochen M.; Ryndina, Ksenia; Gall, Harald

doi:10.1007/978-3-540-75183-0_13

Cited by 131 publications

(86 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The notion of weak conformance has been initially proposed in [18] as extension to the notion of object life cycle conformance [13,26] to allow the support of underspecified process models. A fully specified process model contains all reads and writes of data nodes by all activities.…”

Section: Weak Conformancementioning

confidence: 99%

“…First, we compare different approaches to check for conformance between a process model and object life cycles. Table 4.1 lists the applicability and specifies the time complexity of the computation algorithms for approaches described in [13,26], [31], [18], and this paper. The notion from [13,26] requires fully specified process models and abstracts from inter-dependencies between object life cycles by not considering them for conformance checking in case they are modeled.…”

Section: Weak Conformancementioning

confidence: 99%

“…Otherwise, the execution of a process model may deadlock. To check for deadlock-free execution in terms of data constraints, the notion of object life cycle conformance [13,26] is used. This approach has some restrictions with respect to data constraint specification, because each single change of a data object as specified in the object life cycle, we refer to as data state transition, must be performed by some activity.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Weak Conformance between Process Models and Synchronized Object Life Cycles

Meyer

Weske

2014

Service-Oriented Computing

View full text Add to dashboard Cite

Bibliografische Information der Deutschen NationalbibliothekDie Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie; detaillierte bibliografische Daten sind im Internet über http://dnb.dnb.de/ abrufbar. Process models specify behavioral execution constraints between activities as well as between activities and data objects. A data object is characterized by its states and state transitions represented as object life cycle. For process execution, all behavioral execution constraints must be correct. Correctness can be verified via soundness checking which currently only considers control flow information. For data correctness, conformance between a process model and its object life cycles is checked. Current approaches abstract from dependencies between multiple data objects and require fully specified process models although, in real-world process repositories, often underspecified models are found. Coping with these issues, we introduce the concept of synchronized object life cycles and we define a mapping of data constraints of a process model to Petri nets extending an existing mapping. Further, we apply the notion of weak conformance to process models to tell whether each time an activity needs to access a data object in a particular state, it is guaranteed that the data object is in or can reach the expected state. Then, we introduce an algorithm for an integrated verification of control flow correctness and weak data conformance using soundness checking. Universitätsverlag 5

show abstract

Section: Weak Conformancementioning

confidence: 99%

Section: Weak Conformancementioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Weak Conformance between Process Models and Synchronized Object Life Cycles

Meyer

Weske

2014

Service-Oriented Computing

View full text Add to dashboard Cite

show abstract

“…[15] presents the logical language PENELOPE, that provides the ability to verify temporal constraints arising from compliance requirements on effected business processes. [16] develops a method to check compliance between object lifecycles that provide reference models for data artifacts e.g. insurance claims and business process models.…”

Section: Summary and Related Workmentioning

confidence: 99%

Norm Compliance in Business Process Modeling

Governatori

Rotolo

2010

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic and a logic of violation, with a richer deontic language capable of capture many different facets of normative requirements. The resulting logic, called Process Compliance Logic (PCL), is able to capture both semantic compliance and structural compliance. This paper focuses on structural compliance, that is we show how PCL can capture obligations concerning the structure of a business process.

show abstract

“…Each element in the (product) data structure has a subprocess that describes the life cycle of this element. Also, Küster et al [9] present a technique to automatically derive compliant process models from given life cycles of the objects in the process.…”

Section: Related Workmentioning

confidence: 99%

Automatic Support for Product Based Workflow Design: Generation of Process Models from a Product Data Model

Vanderfeesten

Reijers

Aalst

et al. 2010

On the Move to Meaningful Internet Systems: OTM 2010 Workshops

View full text Add to dashboard Cite

Abstract. Product Based Workflow Design (PBWD) is one of the few scientific methodologies for the (re)design of workflow processes. It is based on an analysis of the product that is produced in the workflow process and derives a process model from the product structure. Until now this derivation has been a manual task and is therefore a time-consuming and error-prone exercise. Automatic support would enhance the use of the PBWD methodology. In this paper we propose several algorithms to automatically generate process models from a product structure and we present a software tool (implemented in ProM) to support this. Finally, the properties of the resulting process models are analysed and discussed.

show abstract

Generation of Business Process Models for Object Life Cycle Compliance

Cited by 131 publications

References 12 publications

Weak Conformance between Process Models and Synchronized Object Life Cycles

Weak Conformance between Process Models and Synchronized Object Life Cycles

Norm Compliance in Business Process Modeling

Automatic Support for Product Based Workflow Design: Generation of Process Models from a Product Data Model

Contact Info

Product

Resources

About