A Multi-Dimensional
Compositional Approach for
Business Process

         Ang Chen



             1
Business Process Transaction &
Preliminary
              Engineering       ID-net




Questions      Conclusion    Applica...
Business Process Transaction &
Preliminary Engineering       ID-net




  Questions     Conclusion   Applications
        ...
4
4
4
4
4
4
Separation of Dimensions
         Multi-Dimensional analysis is
            natural in science e.g.
          mathematics,...
Separation of Dimensions
                Multi-Dimensional analysis is
                   natural in science e.g.
        ...
6
6
7
Business Process Transaction &
Preliminary
              Engineering       ID-net




Questions      Conclusion    Applica...
Business Process
Preliminary            Transaction &
            Engineering ID-net




Questions    Conclusion   Applica...
Business Process
  (Workflow)




       9
Business Process




       10
Business Process: E-
      Commerce
Process                                      production
                              ...
Process: Pass the Thesis
         Exam




           12
Process: Pass the Thesis
                Exam
                                             Inscription of
                ...
Traceability

 For an objective




        13
Traceability

 For an objective

When         Who

What         How



        13
Process Oriented
          Systems
•   Healthcare systems
•   Scientific workflows: following experiments
•   E-Government: ...
Software Development
        Cycle




         15
Software Development
        Cycle




         15
Software Development
        Cycle




         15
Software Development
        Cycle

     Requireme




                 15
Software Development
        Cycle
                      Analysis
                      & Design


     Requireme




    ...
Software Development
        Cycle
                      Analysis
                      & Design


     Requireme

       ...
Software Development
        Cycle
                      Analysis
                      & Design


     Requireme

       ...
Software Development
        Cycle
                      Analysis
                      & Design


     Requireme

       ...
Challenges in Software
    Development




          16
Challenges in Software
      Development
Execution


Test &


Implement

  Analysis
  & Design

Requireme



             ...
Challenges in Software
      Development
Execution


Test &


Implement

  Analysis
  & Design

Requireme



             ...
Challenges in Software
      Development
Execution


Test &
             dependency




Implement

  Analysis
  & Design

...
Challenges in Software
      Development
Execution
                          Complexity of
Test &                      mod...
Challenges in Software
      Development
Execution
                           Complexity of
Test &                       m...
Challenges in Software
       Development
Exe
      cut
         ion
                                Complexity of
Tes
   ...
Challenges




    17
Challenges
Business processes are complex entities which
      need to change frequently to adopt
     requirements from b...
Challenges
Business processes are complex entities which
      need to change frequently to adopt
     requirements from b...
Requirements of BP
Modeling: Workflow Patterns

                      Inscription of
                      exam (faculty)

...
Requirements of BP
Modeling: Workflow Patterns

                      Inscription of
                      exam (faculty)

...
Requirements of BP
Modeling: Workflow Patterns

                      Inscription of
                      exam (faculty)

...
Requirements of BP
Modeling: Workflow Patterns

                      Inscription of
                      exam (faculty)

...
Requirements of BP
Modeling: Workflow Patterns

                      Inscription of
                      exam (faculty)

...
Requirements of BP
Modeling: Workflow Patterns
                                                            B               ...
Requirements of BP
    Modeling




        20
Requirements of BP
        Modeling
•   Workflow patterns: increasing references for
    the requirements of expressiveness...
Requirements of BP
        Modeling
•   Workflow patterns: increasing references for
    the requirements of expressiveness...
Requirements of BP
        Modeling
•   Workflow patterns: increasing references for
    the requirements of expressiveness...
What are the primitives for BP modeling?




                   21
Proposition: Dimensions
  of Business Process




           22
Proposition: Dimensions
  of Business Process
•   Control flow: for the execution (scheduling) of
    processes (parallel)
...
Proposition: Dimensions
  of Business Process
•   Control flow: for the execution (scheduling) of
    processes (parallel)
...
Proposition: Dimensions
  of Business Process
•   Control flow: for the execution (scheduling) of
    processes (parallel)
...
Proposition: Dimensions
  of Business Process
•   Control flow: for the execution (scheduling) of
    processes (parallel)
...
Dimensions of Business
      Process




          23
Dimensions of Business
      Process




   Control


             23
Dimensions of Business
      Process


                         0..*   1              1   0..1
                  Item     ...
Dimensions of Business
      Process
             Transaction
                      //, +, ..



                         ...
Dimensions of Business
      Process
             Transaction
                      //, +, ..



                         ...
Business Process Transaction &
Preliminary
              Engineering       ID-net




Questions      Conclusion    Applica...
Preliminary              Transaction
            Business Process
              Engineering
                           ID-...
Main Contributions
Main Contributions
•   Synchronization mechanism (Transaction) for the
    composition of dimensions.
Main Contributions
•   Synchronization mechanism (Transaction) for the
    composition of dimensions.

•   Formal notation...
Main Contributions
•   Synchronization mechanism (Transaction) for the
    composition of dimensions.

•   Formal notation...
Transaction
(Simultaneous)




      26
Transaction
(Simultaneous)
     Reserve a
    flight ticket




         26
Transaction
 (Simultaneous)
                      Reserve a
                     flight ticket

                           ...
Transaction
(Exclusive Choice)
             Payment



               +


 By Paypal             By Credit Card




      ...
ID-net: Separation of Control
    Flow and Data Model




              28
ID-net: Separation of Control
    Flow and Data Model


                         Typed places
                        Arc ...
ID-net: Separation of Control
    Flow and Data Model
     Data model (e.g. global variables)
                  a        3...
ID-net: Separation of Control
    Flow and Data Model
     Data model (e.g. global variables)
                  a        3...
ID-net: Separation of Control
    Flow and Data Model
     Data model (e.g. global variables)
                  a        3...
ID-net: Separation of Control
    Flow and Data Model
     Data model (e.g. global variables)
                  a        3...
ID-net: Separation of Control
    Flow and Data Model
     Data model (e.g. global variables)
                  a        3...
ID-net: Separation of Control
    Flow and Data Model
     Data model (e.g. global variables)
                  a        3...
ID-net: Separation of Control
    Flow and Data Model
     Data model (e.g. global variables)
                  a        3...
ID-net: Separation of Control
    Flow and Data Model
     Data model (e.g. global variables)
                  a        3...
ID-net Transitions: Pipes

                                  v1
                v1     v1                 v1
             ...
ID-net Transitions:
           Generators
                   v1               v2
            v1               v1
         ...
Token Flow in ID-net
                          p3

 p1        t1                        t2
      v1         v1            ...
ID-net: Principles




        32
ID-net: Principles
                                  Transaction

 Separation of
Control and Data
   dimension
           ...
ID-net: Principles
                                  Transaction

 Separation of
Control and Data
   dimension
           ...
Business Process Transaction &
Preliminary
              Engineering       ID-net




Questions      Conclusion    Applica...
Business Process Transaction &
Preliminary
              Engineering       ID-net




Questions      Conclusion Applicatio...
BP Modeling: Example




         34
BP Modeling: Example
                                    shipping
                                    schedule
 Informal  ...
BP Modeling: Example
                                                              shipping
                              ...
BP Modeling: Data
            Model
                                                     shipping
                        ...
BP Modeling:
Synchronization of ID-net and Data
              Models




                36
BP Modeling:
Synchronization of ID-net and Data
              Models
                            schedule   shipping
     ...
BP Modeling:
     Synchronization of ID-net and Data
                   Models
                                           ...
Business Process
Modeling Framework




        37
Business Process
            Modeling Framework
 Control-Flow Model
                                       shipping
      ...
Business Process
            Modeling Framework
 Control-Flow Model
                                       shipping
      ...
Business Process
            Modeling Framework
 Control-Flow Model
                                       shipping
      ...
Business Process
            Modeling Framework
 Control-Flow Model
                                       shipping
      ...
Concurrent Program: Peterson’s
Algorithms for Mutual Exclusion




               38
Concurrent Program: Peterson’s
 Algorithms for Mutual Exclusion
   Global variables    a = false;
                       b...
Concurrent Program: Peterson’s
Algorithms for Mutual Exclusion
 Global variables       Relation between the variables
    ...
Concurrent Program: Peterson’s
Algorithms for Mutual Exclusion
 Global variables       Relation between the variables
    ...
Concurrent Program: Peterson’s
Algorithms for Mutual Exclusion
 Global variables       Relation between the variables
    ...
Model Verification

Properties of control            Properties of each
    flow model                       data model




...
Business Process Transaction &
Preliminary
              Engineering       ID-net




Questions      Conclusion    Applica...
Business Process Transaction &
Preliminary
              Engineering       ID-net




Questions   Conclusion Applications
...
Conclusion

•   ID-net: Separation of Control and Data during the
    modeling phase

•   Transaction for the synchronizat...
Future Perspectives
•   Based on the dimensions, propose heuristics for
    the model checking of complex systems

•   A u...
Business Process Transaction &
Preliminary
              Engineering       ID-net




Questions      Conclusion    Applica...
Business Process Transaction &
 Preliminary
               Engineering       ID-net




Questions       Conclusion    Appl...
Defence: A multi-dimensional compositional approach for business process (semantics) engineering
Upcoming SlideShare
Loading in...5
×

Defence: A multi-dimensional compositional approach for business process (semantics) engineering

744

Published on

A multi-dimensional compositional approach for business process (semantics) engineering

Published in: Education, Business, Technology
0 Comments
1 Like
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
744
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
0
Comments
0
Likes
1
Embeds 0
No embeds

No notes for slide
  • automation of the procedure
  • 15 minutes
  • 15 minutes
  • 15 minutes
  • 15 minutes
  • it is easy to make a projection to obtain a dimension and make model-checking
  • 43 mins
  • Defence: A multi-dimensional compositional approach for business process (semantics) engineering

    1. 1. A Multi-Dimensional Compositional Approach for Business Process Ang Chen 1
    2. 2. Business Process Transaction & Preliminary Engineering ID-net Questions Conclusion Applications 2
    3. 3. Business Process Transaction & Preliminary Engineering ID-net Questions Conclusion Applications 2
    4. 4. 4
    5. 5. 4
    6. 6. 4
    7. 7. 4
    8. 8. 4
    9. 9. 4
    10. 10. Separation of Dimensions Multi-Dimensional analysis is natural in science e.g. mathematics, physics, and engineering 5
    11. 11. Separation of Dimensions Multi-Dimensional analysis is natural in science e.g. mathematics, physics, and engineering In software development, it is about the Separation of Concerns and Reusability, but their applications are more abstract and conceptual 5
    12. 12. 6
    13. 13. 6
    14. 14. 7
    15. 15. Business Process Transaction & Preliminary Engineering ID-net Questions Conclusion Applications 8
    16. 16. Business Process Preliminary Transaction & Engineering ID-net Questions Conclusion Applications 8
    17. 17. Business Process (Workflow) 9
    18. 18. Business Process 10
    19. 19. Business Process: E- Commerce Process production schedule receive collect send order payment invoice shipping schedule Each color represents an organization Activity Flow Participant 11
    20. 20. Process: Pass the Thesis Exam 12
    21. 21. Process: Pass the Thesis Exam Inscription of exam (faculty) Send thesis to Approvals of Authorization AND AND the juries juries of faculty 30+ days before Hard copy for department 20 days before Thesis Defence 12
    22. 22. Traceability For an objective 13
    23. 23. Traceability For an objective When Who What How 13
    24. 24. Process Oriented Systems • Healthcare systems • Scientific workflows: following experiments • E-Government: administration procedures • E-Commerce, trading platforms • Any Case Handling Systems: Logistics, Insurance
    25. 25. Software Development Cycle 15
    26. 26. Software Development Cycle 15
    27. 27. Software Development Cycle 15
    28. 28. Software Development Cycle Requireme 15
    29. 29. Software Development Cycle Analysis & Design Requireme 15
    30. 30. Software Development Cycle Analysis & Design Requireme Implement 15
    31. 31. Software Development Cycle Analysis & Design Requireme Implement Test & 15
    32. 32. Software Development Cycle Analysis & Design Requireme Implement Execution Test & 15
    33. 33. Challenges in Software Development 16
    34. 34. Challenges in Software Development Execution Test & Implement Analysis & Design Requireme 16
    35. 35. Challenges in Software Development Execution Test & Implement Analysis & Design Requireme 16
    36. 36. Challenges in Software Development Execution Test & dependency Implement Analysis & Design Requireme 16
    37. 37. Challenges in Software Development Execution Complexity of Test & models dependency Implement Analysis & Design Requireme 16
    38. 38. Challenges in Software Development Execution Complexity of Test & models dependency Implement Analysis Frequent changes & Design of requirements Requireme 16
    39. 39. Challenges in Software Development Exe cut ion Complexity of Tes t& models dependency Imp lem ent Ana & D lysis esi Frequent changes gn Req of requirements uire me 16
    40. 40. Challenges 17
    41. 41. Challenges Business processes are complex entities which need to change frequently to adopt requirements from business domains 17
    42. 42. Challenges Business processes are complex entities which need to change frequently to adopt requirements from business domains The development of business processes is about developing concurrent and distributed programs across different platforms 17
    43. 43. Requirements of BP Modeling: Workflow Patterns Inscription of exam (faculty) Approvals of Authorization AND AND juries of faculty AND-SPLIT Hard copy for department AND-JOIN 18
    44. 44. Requirements of BP Modeling: Workflow Patterns Inscription of exam (faculty) Approvals of Authorization AND AND juries of faculty AND-SPLIT Hard copy for department AND-JOIN 18
    45. 45. Requirements of BP Modeling: Workflow Patterns Inscription of exam (faculty) Approvals of Authorization AND AND juries of faculty AND-SPLIT Hard copy for department AND-JOIN 18
    46. 46. Requirements of BP Modeling: Workflow Patterns Inscription of exam (faculty) Approvals of Authorization AND AND juries of faculty AND-SPLIT Hard copy for department AND-JOIN 18
    47. 47. Requirements of BP Modeling: Workflow Patterns Inscription of exam (faculty) Approvals of Authorization AND AND juries of faculty AND-SPLIT Hard copy for department AND-JOIN 18
    48. 48. Requirements of BP Modeling: Workflow Patterns B B A B A AND A XOR sequence C C AND split XOR Split A A B AND C A MUL XOR C B C B AND join XOR join Multi-Choice B B A start C A XOR AND D end E C D XOR Split AND join Interleaved parallel routing a not well-formed process 19
    49. 49. Requirements of BP Modeling 20
    50. 50. Requirements of BP Modeling • Workflow patterns: increasing references for the requirements of expressiveness in BP modeling 20
    51. 51. Requirements of BP Modeling • Workflow patterns: increasing references for the requirements of expressiveness in BP modeling • Informal description 20
    52. 52. Requirements of BP Modeling • Workflow patterns: increasing references for the requirements of expressiveness in BP modeling • Informal description • No single language can satisfy all the requirements 20
    53. 53. What are the primitives for BP modeling? 21
    54. 54. Proposition: Dimensions of Business Process 22
    55. 55. Proposition: Dimensions of Business Process • Control flow: for the execution (scheduling) of processes (parallel) 22
    56. 56. Proposition: Dimensions of Business Process • Control flow: for the execution (scheduling) of processes (parallel) • Data model: information which are not part of the control flow 22
    57. 57. Proposition: Dimensions of Business Process • Control flow: for the execution (scheduling) of processes (parallel) • Data model: information which are not part of the control flow • Transaction (synchronization): short-running (ACID), long-running (relaxed ACID) 22
    58. 58. Proposition: Dimensions of Business Process • Control flow: for the execution (scheduling) of processes (parallel) • Data model: information which are not part of the control flow • Transaction (synchronization): short-running (ACID), long-running (relaxed ACID) By combining the dimensions we obtain new aspects, e.g. : control + data model => data flow, concurrency 22
    59. 59. Dimensions of Business Process 23
    60. 60. Dimensions of Business Process Control 23
    61. 61. Dimensions of Business Process 0..* 1 1 0..1 Item Order Shipping 1 1 0..1 0..* Production Control Data Payment 23
    62. 62. Dimensions of Business Process Transaction //, +, .. 0..* 1 1 0..1 Item Order Shipping 1 1 0..1 0..* Production Control Data Payment 23
    63. 63. Dimensions of Business Process Transaction //, +, .. 0..* 1 1 0..1 Item Order Shipping 1 1 0..1 0..* Production Control Data Payment 23
    64. 64. Business Process Transaction & Preliminary Engineering ID-net Questions Conclusion Applications 24
    65. 65. Preliminary Transaction Business Process Engineering ID-net Questions Conclusion Applications 24
    66. 66. Main Contributions
    67. 67. Main Contributions • Synchronization mechanism (Transaction) for the composition of dimensions.
    68. 68. Main Contributions • Synchronization mechanism (Transaction) for the composition of dimensions. • Formal notation: ID-net • Semantics of the control dimension, true concurrency • Tokens are identifications of resources, monitor the resources invovled in business proceses
    69. 69. Main Contributions • Synchronization mechanism (Transaction) for the composition of dimensions. • Formal notation: ID-net • Semantics of the control dimension, true concurrency • Tokens are identifications of resources, monitor the resources invovled in business proceses • Model process oriented system as ID-net Controlled System (IDCS): multi-dimensional model
    70. 70. Transaction (Simultaneous) 26
    71. 71. Transaction (Simultaneous) Reserve a flight ticket 26
    72. 72. Transaction (Simultaneous) Reserve a flight ticket // validate client’s payment reserve a place Bank service Airline ticket service 26
    73. 73. Transaction (Exclusive Choice) Payment + By Paypal By Credit Card 27
    74. 74. ID-net: Separation of Control Flow and Data Model 28
    75. 75. ID-net: Separation of Control Flow and Data Model Typed places Arc inscriptions x y P1 P2 28
    76. 76. ID-net: Separation of Control Flow and Data Model Data model (e.g. global variables) a 3 b 4 c 0 Typed places Arc inscriptions x y P1 P2 28
    77. 77. ID-net: Separation of Control Flow and Data Model Data model (e.g. global variables) a 3 b 4 c 0 y:=[x]+2 Typed places Arc inscriptions x y P1 P2 28
    78. 78. ID-net: Separation of Control Flow and Data Model Data model (e.g. global variables) a 3 b 4 c 0 y:=[x]+2 Typed places Arc inscriptions x y P1 a,b,c P2 28
    79. 79. ID-net: Separation of Control Flow and Data Model Data model (e.g. global variables) a 3 b 4 c 0 y:=[x]+2 Typed places Arc inscriptions x y P1 a,b, c P2 28
    80. 80. ID-net: Separation of Control Flow and Data Model Data model (e.g. global variables) a 3 b 4 c 0 Typed places Arc inscriptions x y P1 a,b, c P2 y:=[c]+2=2 28
    81. 81. ID-net: Separation of Control Flow and Data Model Data model (e.g. global variables) a 3 b 4 c 0 Typed places Arc inscriptions x y P1 a,b, 2 P2 y:=[c]+2=2 28
    82. 82. ID-net: Separation of Control Flow and Data Model Data model (e.g. global variables) a 3 b 4 c 0 Typed places Arc inscriptions x y P1 a,b, 2 P2 y:=[c]+2=2 28
    83. 83. ID-net: Separation of Control Flow and Data Model Data model (e.g. global variables) a 3 b 4 c 0 Typed places Arc inscriptions x y P1 a,b, 2 P2 y:=[c]+2=2 Dynamic synchronization between control flow and data model 28
    84. 84. ID-net Transitions: Pipes v1 v1 v1 v1 v1 v1 v2 v1 v1 v2 v1 v1 Pipe transitions must preserve all input tokens for output
    85. 85. ID-net Transitions: Generators v1 v2 v1 v1 v2 v3 v1 v1 v2 v2 Generator transitions may generate new (fresh) tokens, e.g. dynamic allocation of resources
    86. 86. Token Flow in ID-net p3 p1 t1 t2 v1 v1 v1 v1 v2 p2 v2 v2 p6 p4 v3 v3 p5
    87. 87. ID-net: Principles 32
    88. 88. ID-net: Principles Transaction Separation of Control and Data dimension Control Data 32
    89. 89. ID-net: Principles Transaction Separation of Control and Data dimension Control Data Synchronization of dimensions 32
    90. 90. Business Process Transaction & Preliminary Engineering ID-net Questions Conclusion Applications 33
    91. 91. Business Process Transaction & Preliminary Engineering ID-net Questions Conclusion Applications 33
    92. 92. BP Modeling: Example 34
    93. 93. BP Modeling: Example shipping schedule Informal receive collect send description oder payment invoice production schedule 34
    94. 94. BP Modeling: Example shipping schedule Informal receive collect send description oder payment invoice production schedule shipping order schedule create Formalized receive o schedule invoice invoice Control-Flow order o ps ss i i send invoice collect p payment p ss ps payment production schedule Receive order and collect payment can be parallel or sequential, depending on the interpretation of the informal model. parallel might be more flexible in this case 34
    95. 95. BP Modeling: Data Model shipping order schedule create receive o schedule invoice invoice order o ss ss i i send invoice collect p payment p ps ps payment production schedule 1..* 1 1 0..1 Item Order Shipping 1 1 0..1 0..* Production Payment 35
    96. 96. BP Modeling: Synchronization of ID-net and Data Models 36
    97. 97. BP Modeling: Synchronization of ID-net and Data Models schedule shipping order a,b o ss schedule p production payment c ps schedule 36
    98. 98. BP Modeling: Synchronization of ID-net and Data Models schedule shipping order a,b o ss schedule p production payment c ps schedule inscription based on the data model 1 1 0..1 // evaluate and use input variables Order Shipping if ([o].clientID != [p].clientID) notFirable; 1 1 0..1 0..* Production // fill output variables, create shipping and production from order Payment ss := Shipping.Create([o], ... ); ps := Production.Create([o], ...); 36
    99. 99. Business Process Modeling Framework 37
    100. 100. Business Process Modeling Framework Control-Flow Model shipping schedule order create receive schedule invoice invoice order send invoice collect payment payment production schedule Data Model 1..* 1 1 0..1 Item Order Shipping 1 1 0..1 0..* Production Payment 37
    101. 101. Business Process Modeling Framework Control-Flow Model shipping schedule order create receive schedule invoice invoice order send invoice collect payment payment production schedule synchronizations Data Model 1..* 1 1 0..1 Item Order Shipping 1 1 0..1 0..* Production Payment 37
    102. 102. Business Process Modeling Framework Control-Flow Model shipping schedule order create receive schedule invoice invoice order send invoice collect payment payment production schedule Model synchronizations Composition Data Model 1..* 1 1 0..1 Item Order Shipping 1 1 0..1 0..* Production Payment 37
    103. 103. Business Process Modeling Framework Control-Flow Model shipping schedule order create receive schedule invoice invoice order send invoice collect payment payment production schedule Model Executable synchronizations Composition BP Data Model 1..* 1 1 0..1 Item Order Shipping 1 1 0..1 0..* Production Payment 37
    104. 104. Concurrent Program: Peterson’s Algorithms for Mutual Exclusion 38
    105. 105. Concurrent Program: Peterson’s Algorithms for Mutual Exclusion Global variables a = false; b = false; victim = a; Process a: Process b: a = true; b = true; victim = b; victim = a; while( b && victim == b ); while( a && victim == a ); // blocked, do nothing // blocked, do nothing // critical section // critical section ... ... // end of critical section // end of critical section a = false; b = false; 38
    106. 106. Concurrent Program: Peterson’s Algorithms for Mutual Exclusion Global variables Relation between the variables a = false; N(a)=b; b = false; N(b)=a; victim = a; x:=false x x ab x x x x x x victim!=[x] || Critical x:=true victim:=N([x]) Section N(x)!=true 39
    107. 107. Concurrent Program: Peterson’s Algorithms for Mutual Exclusion Global variables Relation between the variables a = false; N(a)=b; b = false; N(b)=a; victim = a; x:=false x x ab x x x x x x victim!=[x] || Critical x:=true victim:=N([x]) Section N(x)!=true Property: maximum one token in the critical section 39
    108. 108. Concurrent Program: Peterson’s Algorithms for Mutual Exclusion Global variables Relation between the variables a = false; N(a)=b; With 2 processes, this system b = false; N(b)=a; is deadlock-free and victim = a; starvation-free x:=false x x ab x x x x x x victim!=[x] || Critical x:=true victim:=N([x]) Section N(x)!=true Property: maximum one token in the critical section 39
    109. 109. Model Verification Properties of control Properties of each flow model data model Reasoning the properties of the synchronized system 40
    110. 110. Business Process Transaction & Preliminary Engineering ID-net Questions Conclusion Applications 41
    111. 111. Business Process Transaction & Preliminary Engineering ID-net Questions Conclusion Applications 41
    112. 112. Conclusion • ID-net: Separation of Control and Data during the modeling phase • Transaction for the synchronization of dimensions • Facilitate the verification and complexity management of process-oriented models • Model-Driven Development. Help to improve the cycle of business process engineering, from modeling to execution 42
    113. 113. Future Perspectives • Based on the dimensions, propose heuristics for the model checking of complex systems • A user-friendly language based on ID-net for the syntax integration of DSLs (e.g. a concurrent parallel programming language) • Tools support, e.g. Push-Button compilation and model verification, compilers tool-chains for high- level languages 43
    114. 114. Business Process Transaction & Preliminary Engineering ID-net Questions Conclusion Applications 44
    115. 115. Business Process Transaction & Preliminary Engineering ID-net Questions Conclusion Applications 44

    ×