A Look Around the Corner: The Pi-Calculus

Authors:
Frank Puhlmann;Mathias Weske
Affiliations:
Business Process Technology Group, Hasso Plattner Institute at the University of Potsdam, Potsdam, Germany 14482;Business Process Technology Group, Hasso Plattner Institute at the University of Potsdam, Potsdam, Germany 14482
Venue:
Transactions on Petri Nets and Other Models of Concurrency II
Year:
2009

Citing 12
Cited 1

Process algebra

Process algebra
Process modeling

Communications of the ACM - Special issue on analysis and modeling in software development
A calculus of mobile processes, II

Information and Computation
Communicating sequential processes

Communications of the ACM
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Workflow Patterns

Distributed and Parallel Databases
Business process management: a survey

BPM'03 Proceedings of the 2003 international conference on Business process management
Soundness verification of business processes specified in the Pi-calculus

OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Extending BPMN for modeling complex choreographies

OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Investigations on soundness regarding lazy activities

BPM'06 Proceedings of the 4th international conference on Business Process Management
Service interaction patterns

BPM'05 Proceedings of the 3rd international conference on Business Process Management
Welcome to the jungle: a subjective guide to mobile process calculi

CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory

Workflow patterns put into context

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

While Petri nets play a leading role as a formal foundation for business process management (BPM), other formalizations have been explored as well. This chapter introduces the *** -calculus as a formal foundation for BPM. The approach presented is pattern-centric, thus allowing for direct comparisons between the *** -calculus and different formalizations. In particular, selected basic and advanced control flow patterns as well as service interaction patterns are discussed. The chapter furthermore introduces the application of bisimulation techniques for proving soundness properties of business processes.