Thesis (7.1 MB) - 
Free access
Highlights
More informations
Doctoral Thesis
unige:12252 
 |
A multi-dimensional compositional approach for business process semantic engineering |
|
| Author | ||
| Director | ||
| Defense | Thèse de doctorat : Univ. Genève, 2009 - Sc. 4192 - 2009/09/08 | |
| Abstract | In this work, we propose a methodological framework to improve the cycle of business process engineering. The core element in this approach is an extensible intermediate language called ID-net. Designed by the principe of Multi-Dimensional Separation of Concerns, ID-net captures the control flow of business process and monitors the resources involved during the execution of processes. ID-nets have true concurrency semantics and they can be executed in parallel distributed environment. Our approach is able to handle the control flow, transactions (short-lasting and long-lasting), concurrency of business processes, and incorporate different data models during the development of executable business process via the composition of dimensions. We give the formal semantics of ID-net and the composition mechanism. | |
| Keywords | Business process modeling — Petri nets — ID-net — Workflow — Control flow — Model composition — Domain Specific Language | |
| Stable URL | https://archive-ouverte.unige.ch/unige:12252 | |
| Full text | ||
| Identifiers |
URN: urn:nbn:ch:unige-122522 |
|
| Structures | ||
| Research group | Software Modeling and Verification |
342 hits 
597 downloads 
Contact an author
Update