Transforming BPEL to petri nets (English)
- New search for: Hinz, Sebastian
- New search for: Schmidt, Karsten
- New search for: Stahl, Christian
- New search for: Hinz, Sebastian
- New search for: Schmidt, Karsten
- New search for: Stahl, Christian
In:
BPM, International Conference on Business Process Management, 3
;
220-235
;
2005
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Transforming BPEL to petri nets
-
Contributors:
-
Published in:Lecture Notes in Computer Science ; 3649 ; 220-235
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin, Heidelberg
-
Publication date:2005
-
Size:16 Seiten, 6 Bilder, 26 Quellen
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Modeling and Analysis of Mobile Service Processes by Example of the Housing IndustryGruhn, V. / Kohler, A. / Klawes, R. et al. | 2005
- 17
-
An Organisational Perspective on Collaborative Business ProcessesZhao, X. / Liu, C. / Yang, Y. et al. | 2005
- 32
-
Mining Hierarchies of Models: From Abstract Views to Concrete SpecificationsGreco, G. / Guzzo, A. / Pontieri, L. et al. | 2005
- 48
-
Flexible Business Process Management Using Forward Stepping and Alternative PathsGolani, M. / Gal, A. et al. | 2005
- 64
-
Semi-automatic Generation of Web Services and BPEL Processes - A Model-Driven ApproachAnzbock, R. / Dustdar, S. et al. | 2005
- 80
-
A Human-Oriented Tuning of Workflow Management SystemsVanderfeesten, I. / Reijers, H. A. et al. | 2005
- 96
-
The Price of Coordination in Resource Managementvan Hee, K. / Serebrenik, A. / Sidorova, N. / Voorhoeve, M. / van der Wal, J. et al. | 2005
- 109
-
sPAC (Web Services Performance Analysis Center): Performance Analysis and Estimation Tool of Web ServicesSong, H. G. / Lee, K. et al. | 2005
- 120
-
Specifying Web Workflow Services for Finding Partners in the Context of Loose Inter-organizational WorkflowAndonoff, E. / Bouzguenda, L. / Hanachi, C. et al. | 2005
- 137
-
An Intuitive Formal Approach to Dynamic Workflow Modeling and AnalysisWang, J. / Rosca, D. / Tepfenhart, W. / Milewski, A. / Stoute, M. et al. | 2005
- 153
-
Using the pi-Calculus for Formalizing Workflow PatternsPuhlmann, F. / Weske, M. et al. | 2005
- 169
-
Mining Workflow Recovery from Event Based LogsGaaloul, W. / Godart, C. et al. | 2005
- 186
-
Behavior Based Integration of Composite Business ProcessesGrossmann, G. / Ren, Y. / Schrefl, M. / Stumptner, M. et al. | 2005
- 205
-
Visualization Support for Managing Large Business Process SpecificationsStreit, A. / Pham, B. / Brown, R. et al. | 2005
- 220
-
Transforming BPEL to Petri NetsHinz, S. / Schmidt, K. / Stahl, C. et al. | 2005
- 236
-
Event-Based Coordination of Process-Oriented Composite ApplicationsDumas, M. / Fjellheim, T. / Milliner, S. / Vayssiere, J. et al. | 2005
- 252
-
Integrating Process Learning and Process Evolution - A Semantics Based ApproachRinderle, S. / Weber, B. / Reichert, M. / Wild, W. et al. | 2005
- 268
-
An Analysis and Taxonomy of Unstructured WorkflowsLiu, R. / Kumar, A. et al. | 2005
- 285
-
A Framework for Document-Driven Workflow SystemsWang, J. / Kumar, A. et al. | 2005
- 302
-
Service Interaction PatternsBarros, A. / Dumas, M. / Hofstede, A. H. M. t. et al. | 2005
- 319
-
Modeling and Assessment of Production Printing Workflows Using Petri NetsGottumukkala, R. N. / Sun, T. et al. | 2005
- 334
-
Process Management in Health Care: A System for Preventing Risks and Medical ErrorsRuffolo, M. / Curia, R. / Gallucci, L. et al. | 2005
- 344
-
A Pathway for Process Improvement Activities in a Production Environment: A Case Study in a Rework DepartmentOzkok, O. / Pakdil, F. / Camlica, F. B. / Bektas, T. / Kara, I. et al. | 2005
- 354
-
IT Support for Healthcare ProcessesLenz, R. / Reichert, M. et al. | 2005
- 364
-
From RosettaNet PIPs to BPEL Processes: A Three Level Approach for Business ProtocolsKhalaf, R. et al. | 2005
- 374
-
Using Software Quality Characteristics to Measure Business Process QualityGuceglioglu, A. S. / Demirors, O. et al. | 2005
- 380
-
Business Process Modelling and Improvement Using TAD MethodologyDamij, N. / Damij, T. et al. | 2005
- 386
-
On the Suitability of Correctness Criteria for Business Process ModelsDehnert, J. / Zimmermann, A. et al. | 2005
- 392
-
Service Retrieval Based on Behavioral Specifications and Quality RequirementsGrigori, D. / Peralta, V. / Bouzeghoub, M. et al. | 2005
- 398
-
On the Semantics of EPCs: Efficient Calculation and SimulationCuntz, N. / Kindler, E. et al. | 2005
- 404
-
Towards Integrating Business Policies with Business ProcessesMilosevic, Z. et al. | 2005
- 410
-
A Contract Layered Architecture for Regulating Cross-Organisational Business ProcessesRouached, M. / Perrin, O. / Godart, C. et al. | 2005
- 416
-
An Effective Content Management Methodology for Business Process ManagementKim, Y. G. / Park, S. C. / Kim, C. Y. / Kim, J. H. et al. | 2005
- 422
-
Specification and Management of Policies in Service Oriented Business CollaborationOrriens, B. / Yang, J. et al. | 2005
- 428
-
Yet Another Event-Driven Process ChainMendling, J. / Neumann, G. / Nuttgens, M. et al. | 2005
- 434
-
Comparing the Control-Flow of EPC and Petri Net from the End-User PerspectiveSarshar, K. / Loos, P. et al. | 2005
- 440
-
Overview of Transactional Patterns: Combining Workflow Flexibility and Transactional Reliability for Composite Web ServicesBhiri, S. / Gaaloul, K. / Perrin, O. / Godart, C. et al. | 2005
- 446
-
Accelerated Enterprise Process Modeling Through a Formalized Functional TypologyWasser, A. / Lincoln, M. / Karni, R. et al. | 2005
- 452
-
Introducing Business Process into Legacy Information SystemsBorges, M. R. S. / Vincent, A. F. / Penades, M. C. / Araujo, R. M. et al. | 2005
- 458
-
Spheres of Isolation: Adaptation of Isolation Levels to Transactional WorkflowGuabtni, A. / Charoy, F. / Godart, C. et al. | 2005
- 464
-
Verification of SAP Reference Modelsvan Dongen, B. F. / Jansen-Vullers, M. H. et al. | 2005