A Multi-Dimensional Compositional Approach for Business Process Semantic Engineering

A Multi-Dimensional Compositional Approach for Business Process Semantic Engineering

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
UNIVERSIT ´ E DE GEN ` EVE FACULT ´ E DES SCIENCES epartement d’Informatique Professeur D. Buchs A Multi-Dimensional Compositional Approach for Business Process Semantic Engineering TH ` ESE pr´ esent´ ee ` a la Facult´ e des sciences de l’Universit´ e de Gen` eve pour obtenir le grade de Docteur ` es sciences, mention informatique par Ang Chen de Henan (Chine) Th` ese No 4192 Gen` eve Atelier d’impression ReproMail 2009
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 2
Table of Contents Table of Contents i Remerciements v Abstract vii Resum´ e ix 1 Introduction 1 1.1 Business Process Reengineering . . . . . . . . . . . . . . . . . . . . . 1 1.2 Business Process Modeling and Development . . . . . . . . . . . . . . 5 1.2.1 Model-Driven Engineering . . . . . . . . . . . . . . . . . . . . 5 1.2.2 Business Process and Service-Oriented Architecture (SOA) . . 7 1.3 Semantics of Business Process . . . . . . . . . . . . . . . . . . . . . . 9 1.3.1 Dimension of Business Process Models . . . . . . . . . . . . . 9 1.3.2 Semantic Engineering of Domain-Specific Models . . . . . . . 11 1.4 Motivation and Proposition . . . . . . . . . . . . . . . . . . . . . . . 12 2 State of the Art 17 2.1 Modeling Languages and Notations . . . . . . . . . . . . . . . . . . . 17 2.1.1 Workflow Patterns . . . . . . . . . . . . . . . . . . . . . . . . 19 2.1.2 Semantics of Business Process Modeling Languages . . . . . . 19 2.2 Related Work for the Semantics of Business Process . . . . . . . . . . 20 2.2.1 Formal Notations . . . . . . . . . . . . . . . . . . . . . . . . . 20 2.2.2 Researches in Petri nets Community . . . . . . . . . . . . . . 23 2.3 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 3 Service-Oriented Business Process Modeling and Prototyping with CO-OPN 31 3.1 Concurrent Object-Oriented Petri Net . . . . . . . . . . . . . . . . . 31 3.1.1 ADT, Class and Context . . . . . . . . . . . . . . . . . . . . . 32 3.1.2 Service Components . . . . . . . . . . . . . . . . . . . . . . . 33 3.2 Modeling Business Process . . . . . . . . . . . . . . . . . . . . . . . . 34 i
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
ii TABLE OF CONTENTS 3.2.1 CO-OPN Building Blocks and Patterns for Business Process . 34 3.2.2 Workflow Patterns . . . . . . . . . . . . . . . . . . . . . . . . 38 3.2.3 Transactional Workflow Patterns . . . . . . . . . . . . . . . . 39 3.3 Modeling Long-Lasting Transactional Business Process with CO-OPN 42 3.3.1 Properties of CO-OPN Transactions . . . . . . . . . . . . . . 43 3.3.2 Modeling LRT Business Processes . . . . . . . . . . . . . . . . 45 3.4 Prototype Generation & Integration . . . . . . . . . . . . . . . . . . . 51 3.5 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 4 Semantical Model Composition 55 4.1 Model Composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 4.1.1 Composition Language . . . . . . . . . . . . . . . . . . . . . . 57 4.2 Synchronized Composition of Labeled Transition Systems . . . . . . 57 4.3 Example of Synchronized Composition of LTS . . . . . . . . . . . . . 63 4.3.1 Mutual Exclusion . . . . . . . . . . . . . . . . . . . . . . . . . 63 4.3.2 Synchronized Composition of Counters . . . . . . . . . . . . . 66 4.4 Petri Nets and LTS . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 4.5 Timing Semantics of the Synchronizations and the Sequence (. .) Op- erator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76 4.6 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77 5 ID-Net 79 5.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79 5.1.1 Principle of Petri Nets Modeling . . . . . . . . . . . . . . . . . 80 5.2 Objectives of ID-Net . . . . . . . . . . . . . . . . . . . . . . . . . . . 84 5.3 ID-Net: Syntax and Semantics . . . . . . . . . . . . . . . . . . . . . . 85 5.3.1 Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 5.3.2 Operational Semantics of ID-net . . . . . . . . . . . . . . . . . 91 5.4 Basic ID-net Modeling Patterns . . . . . . . . . . . . . . . . . . . . . 96 5.4.1 Data Flow Modeling with Arc Inscriptions . . . . . . . . . . . 97 5.5 ID-net Controlled System . . . . . . . . . . . . . . . . . . . . . . . . 100 5.6 Extension of ID-net . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 5.6.1 Fresh Token . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 5.6.2 ID-net with Encapsulation . . . . . . . . . . . . . . . . . . . . 106 5.6.3 Encapsulation of ID-net Controlled System . . . . . . . . . . . 107 5.7 Summary & Discussions . . . . . . . . . . . . . . . . . . . . . . . . . 108 6 Modular Verification of ID-net Controlled System 111 6.1 Properties of Petri net . . . . . . . . . . . . . . . . . . . . . . . . . . 112 6.1.1 Definitions (Recall) . . . . . . . . . . . . . . . . . . . . . . . . 112 6.2 ID-net Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
Background image of page 4
TABLE OF CONTENTS TABLE OF CONTENTS 6.2.1 Mapping From ID-net to Petri net . . . . . . . . . . . . . . . 115 6.2.2 Properties Related to P/T net Projection . . . . . . . . . . . . 115 6.2.3 ID-net Specific Properties . . . . . . . . . . . . . . . . . . . . 117 6.2.4 Race Condition and Properties Related to Co-Model . . . . . 120 6.2.5 Example: Verification of Multi Exclusion Algorithm . . . . . . 121 6.3 Verification Framework . . . . . . . . . . . . . . . . . . . . . . . . . . 128 7 Model Composition with ID-Net: Examples 131 7.1 Tokens in ID-net . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131 7.1.1 Control Token . . . . . . . . . . . . . . . . . . . . . . . . . . . 134 7.1.2
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 03/23/2011 for the course COMPUTER S DIT09M1-10 taught by Professor Saman during the Spring '10 term at Sheffield Hallam.

Page1 / 217

A Multi-Dimensional Compositional Approach for Business Process Semantic Engineering

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online