By Jan Mendling
Business strategy modeling performs an incredible function within the administration of commercial procedures. As invaluable layout artifacts, enterprise method versions are topic to caliber issues. The absence of formal mistakes akin to deadlocks is of paramount value for the next implementation of the process.
In his booklet Jan Mendling develops a framework for the detection of formal error in company strategy types and the prediction of mistakes likelihood according to caliber attributes of those types (metrics). He provides an actual description of Event-driven technique Chains (EPCs), their control-flow semantics and an appropriate correctness criterion known as EPC soundness.
Read Online or Download Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness PDF
Best management information systems books
Outsourcing Management Information Systems
This publication balances the confident results of outsourcing, that have made it a favored administration approach with the unfavorable to supply a extra inclusive choice; it explores danger elements that experience now not but been greatly linked to this method. It makes a speciality of the conceptual "what", "why", and "where" facets of outsourcing in addition to the methodological "how" features"
Design of Sustainable Product Life Cycles
Product lifestyles cycle layout – producing sustainable product existence cycles explains the significance of a holistic long term making plans and administration method of attaining a greatest product profit over the full existence cycle. The paradigm of considering in product existence cycles helps brands in shaping winning items.
- Transformation von Banken: Praxis des In- und Outsourcings auf dem Weg zur Bank 2015
- Corporate Performance Management: ARIS in der Praxis
- SONET and SDH
- Managing Projects in Telecommunication Services
Extra resources for Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
Sample text
EPC for a loan request process [325] offer further products 19 20 2 Event-Driven Process Chains (EPC) risk assessment after the XOR-join connector. The subsequent XOR-split connector indicates a decision. In case of a negative risk assessment, the function check client assessment is performed. The following second XOR-split marks another decision: in case of a negative client assessment the process ends with a rejection of the loan request; in case of a positive client assessment the conduct risk assessment function is executed a second time under consideration of the positive client assessment.
Mendling and Van der Aalst introduce a semantics definition based on state and context [266, 268]. Both are assignments on the arcs. While the state uses similar concepts as Langner, Schneider, and Wehler (positive and negative tokens), the context captures whether a positive token can be expected in the future or not. Context is considered for the firing of the OR-join. 6(a): The single OR-join on the loop produces a wait context at a9. Therefore, it is blocked. 6(b): The two OR-joins produce a wait context at a23 and a24.
The state-context semantics partially resolve these problems because OR-joins cannot be used anymore as single loop entries [266]. In the following subsection, we provide further details on the state-context semantics. Since OR-join decisions can be taken with local knowledge, we will consider these semantics later for verification purposes. 4 The formalization of this concept follows in the subsequent section. The principal idea of these semantics borrows some concepts from Langner, Schneider, and Wehler [238] and adapts the idea of Boolean nets with true and false tokens in an appropriate manner.