carret Home

carret News

carret Call for papers conference

carret Call for papers workshops

carret Topics

carret Organization

carret Program Committee

carret Proceedings

carret Important dates

carret Submissions

carret Program

carret Registration

carret Accepted papers

carret Venue

Long papers

Below is the list of accepted long papers. The list of industrial papers is available here, and the list of the accepted short papers is available here.

Title/Authors Paper ID
Integrating Process Learning and Process Evolution - A Semantics Based Approach
Stefanie Rinderle, Barbara Weber, Manfred Reichert and Werner Wild
18
Using the Pi-Calculus for Formalizing Workflow Patterns
Frank Puhlmann and Mathias Weske
26
Specifying Web Workflow Services for finding partners in the context of Loose
Inter-Organizational Workflow

Andonoff Eric, Bouzguenda Lotfi and Hanchi Chihab
28
An intuitive formal approach to dynamic workflow modeling and analysis
Jiacun Wang, Daniela Rosca, William Tepfenhart, Allen Milewski and Michael Stoute
30
An Organisational Perspective on Collaborative Business Processes
Xiaohui ZHAO, Chengfei LIU and Yun Yang
44
Event-based Coordination of Process-oriented Composite Applications
Marlon Dumas, Tore Fjellheim, Stephen Milliner and Julien Vayssiere
45
A human-oriented tuning of workflow management systems
Irene Vanderfeesten and Hajo Reijers
46
Transforming BPEL to Petri Nets
Sebastian Hinz, Karsten Schmidt and Christian Stahl
47
Service Interaction Patterns
Alistair Barros, Marlon Dumas and Arthur ter Hofstede
61
Modeling and Analysis of Mobile Service Processes by Example of the Housing Industry
Volker Gruhn, André Köhler and Robert Klawes
75
sPAC(Web SErvices Performance Analysis Center): Performance analysis and estimation
tool of web services

Hunggi Song and Kangsun Lee
80
The price of coordination in resource management
Marc Voorhoeve, Kees van Hee, Natalia Sidorova, Jan van de Wal and Alexander Serebrenik
100
Mining Hierarchies of Models: From Abstract Views to Concrete Specifications
Gianluigi Greco, Antonella Guzzo and Luigi Pontieri
102
Flexible Business Process Management using Forward Stepping and Alternative Paths
Mati Golani and Avigdor Gal
111
Visualisation Support for Managing Large Business Process Specifications
Alexander Streit, Binh Pham and Ross Brown
121
Semi-automatic generation of Web services and BPEL processes - A Model-Driven approach
Rainer Anzboeck and Schahram Dustdar
128
An Analysis and Taxonomy of Unstructured Workflows
Emily (Rong) Liu, Akhil Kumar and Henry H. Bi
144
Behavior based integration of composite business processes
Georg Grossmann, Yikai Ren, Michael Schrefl and Markus Stumptner
157
Mining Workflow Recovery From Event Based Logs
Walid Gaaloul, Sami Bhiri and Claude Godart
162
A Framework for Document-Driven Workflow Systems
Jianrui Wang and Akhil Kumar
169

Industrial papers

Below is the list of papers accepted in the industrial track.

Title/Authors Paper ID
A Pathway for Process Improvement Activities in a Production Environment: A Case
Study in a Rework Department

Onur Ozkok, Fahri Bugra Camlica, Fatma Pakdil, Tolga Bektas and Imdat Kara
82
Modeling and Assessment of Production Printing Workflows Using Petri Nets
Tong Sun and Raju Gottumukkala
108
Process Management in Health Care: A System for Preventing Risks and Medical Errors
Ruffolo Massimo, Rosario Curia and Gallucci Lorenzo
130
IT Support for Healthcare Processes
Richard Lenz and Manfred Reichert
133
From RosettaNet PIPs To BPEL Processes: A Three Level Approach for Business Protocols
Rania Khalaf
174

Short papers

Below is the list of accepted short papers.

Title/Authors Paper ID
Business Process Modelling and Improvement using TAD Methodology
Nadja Damij and Talib Damij
1
On the semantics of EPCs: Efficient calculation and simulation
Nicolas Cuntz and Ekkart Kindler
29
Introducing Business Process into Legacy Information Systems
Marcos Borges, Andre Vincent, Mari Carmen Penades and Renata Araujo
57
On Workflow Models with Structured Concurrency
Rik Eshuis
73
Using Software Quality Characteristics to Measure Business Process Quality
Onur Demirors and A.Selcuk Guceglioglu
85
A Contract Layered Architecture for regulating cross-organisational Business Processes
Moshen Rouached, Olivier Perrin and Claude Godart
94
An Effective Content Management Methodology for Business Process Management
Young Gil Kim, Chul Young Kim and Sang Chan Park
99
Verification of SAP reference models
Boudewijn Frans van Dongen and Monique Vullers - Jansen
122
Yet Another Event-Driven Process Chain
Jan Mendling, Gustaf Neumann and Markus Nüttgens
138
On the suitability of correctness criteria for business process models
Juliane Dehnert and Armin Zimmermann
143
Empirical Evaluation of EPC and Petri Nets from the End-User Perspective
Kamyar Sarshar, Philipp Dominitzki and Peter Loos
149
Accelerated Enterprise Process Modeling through a Formalized Functional Typology
Avi Wasser, Maya Lincoln and Reuven Karni
150
Spheres of isolation: adaptation of isolation levels to transactional workflow
Adnene Guabtni, François Charoy and Claude Godart
159
Transactional Patterns: Combining Workflow Flexibility and Transactional Reliability
Sami Bhiri, Walid Gaaloul, Claude Godart, Olivier Perrin, and Khaled Gaaloul
164
Service Retrieval Based on Behavioral Specifications and Quality Requirements
Daniela Grigori, Verónika Peralta and Mokrane Bouzeghoub
168
Specification and Management of Policies in Service Oriented Business Collaboration
Bart Orriens and Jian Yang
176
Towards integrating business policies with business processes
Zoran Milosevic
178

Home » Accepted papers
Last modified: May 17th, 2005